A note on infinite trees

DOI10.1016/0020-0190(72)90017-8zbMath0251.68041OpenAlexW2124334721MaRDI QIDQ2557124

Joost Engelfriet

Publication date: 1972

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(72)90017-8

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Variétés d'automates descendants d'arbres infinis, IO and OI. I, IO and OI. II, Infinitary tree languages recognized by \(\omega\)-automata

Uses Software

• ALGOL 68

Cites Work

• Regular expressions and the equivalence of programs
• Tree generating regular systems
• On Ianov's Program Schemata
• Unnamed Item