Advertisement

Structures de controle et puissances d'expression

  • C. Henry
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 83)

Résumé

La structure de contrôle d'un langage peut-être définie comme l'ensemble des éléments qui permettent d'enchaîner les opérations élémentaires du langage (affectations, entrées-sorties ...). A cette structure de contrôle peut être associée la puissance du langage, c'est-à-dire la capacité du langage à décrire des suites d'opérations de telle ou telle complexité.

En utilisant le formalisme des arbres à feuilles indicées comme modèle des programmes, on établit les résultats suivants :
  • la classe des langages de branches des arbres solutions de programmes simples propres (i.e. avec des procédures à variables globales et sans itération) est exactement la classe des langages simples.

  • la classe des arbres solutions de programmes hybrides (i.e. écrits avec des procédures à variables globales et des itérations) est la classe des arbres algébriques.

  • la classe des arbres solutions des programmes hybrides propres (i.e. sans sortie multiple d'itérations) est égale à celle des arbres solutions des programmes simples propres.

Keywords

Alors Tree Nous Noterons Cette Structure Alors Effectuer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [AMP]
    E. ASCHCROFT — Z. MANNA et A. PNUELI — "Decidable properties of monadic functionnal schemes" in Theory of Machines and Computation (pp 3–17). ed. KOHAVI et PAZ Academic Press. Londres et New-York (1971)Google Scholar
  2. [AR]
    J. ARSAC — "La construction de programmes structurés" ed. DUNOD, Paris (1977)Google Scholar
  3. [BJ]
    C. BOHM — C. JACOPINI — "Flow diagrams, turing machines and languages with only two formation rules" Com. ACM 9 (1966) pp 366–371Google Scholar
  4. [CA]
    P. CASTERAN — "Structures de contrôle: Définitions opérationnelles et algébriques" Thèse 3ème cycle Paris 7 (1979)Google Scholar
  5. [CH]
    A. CHANDRA — "On the properties and applications of program schemes" Ph. D. Stanford (1977)Google Scholar
  6. [CR]
    B. COURCELLE — "Recursive schemes algebraic trees and deterministic languages" SWAT (1974)Google Scholar
  7. [CN]
    G. COUSINEAU — M. NIVAT — "On rational expressions representing infinite rational tree application to the structure of flow-charts" MFCS Olomouc (1979)Google Scholar
  8. [CS1]
    G. COUSINEAU — "An algebraic definition for control structures" à paraitre dans Theorical Computer ScienceGoogle Scholar
  9. [CS2]
    G. COUSINEAU — "Les arbres à feuilles indicées: un cadre algébrique pour l'étude des structures de contrôle." Thèse d'état Paris 7 (1977)Google Scholar
  10. [FK]
    R. FLOYD — D. KNUTH — "Notes on avoiding GOTO statements." Inf. Processing Letter 1 (1971)Google Scholar
  11. [GL]
    S. GARLAND — D. LUCKHAM — "Program schemes, recursions schemes and formal languages." JCSS 7, 2 pp 119–160 (1973)Google Scholar
  12. [CH]
    C. HENRY — "Résolution d'équations algébriques sur le magma libre. Application aux transformations de programmes." Thèse 3ème cycle Paris 7 (1978)Google Scholar
  13. [JW]
    K. JENSEN — N. WIRTH — "Pascal user's manual and report." Seconde édition SPRINGER-VERLAG (1975)Google Scholar
  14. [NR]
    L. NOLIN — G. RUGGIU — "A formalisation of EXEL." Sigact-Sigplan Symposium on the principles of programming languages Boston (1973)Google Scholar
  15. [*]
    "Preliminary ADA Reference manual". ACM — Sigplan Notices — Vol 14, nb 6, part A (June 1979)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • C. Henry
    • 1
  1. 1.LCR, THOMSON-CSF, Domaine de CorbevilleOrsay

Personalised recommendations