Simple program schemes and formal languages
From MaRDI portal
Publication:1846738
zbMath0288.68030MaRDI QIDQ1846738
Publication date: 1974
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
68Q45: Formal languages and automata
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N01: General topics in the theory of software
Related Items
Expressive power of typed and type-free programming languages, Probabilistic Ianov's schemes, DPDA's in 'Atomic normal form' and applications to equivalence problems, An execution mechanism for nondeterministic, state-oriented programs based on a chart parser, A direct algorithm for checking equivalence of LL(k) grammars, IO and OI. I, IO and OI. II, Extended linear macro grammars, iteration grammars, and register programs, On a class of recursive procedures and equivalent iterative ones, Context-free series on trees, Nondeterministic program schemata and their relation to dynamic logic