Simple program schemes and formal languages

MaRDI QIDQ1846738zbMATH OpenFDO

Authors Joost Engelfriet

Publication date 1974

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited in

(14)

• 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
• Equational theories for automata
• XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
• Nondeterministic program schemata and their relation to dynamic logic
• Free iterative and iteration K-semialgebras
• Expressive power of typed and type-free programming languages

This page was built for publication: Simple program schemes and formal languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1846738)