zbMath0411.68071MaRDI QIDQ4198085
Ivan M. Havel
Publication date: 1979
zbMATH Keywords
formal languages; finite branching automaton; acceptation; looping processes
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q99: Theory of computing
Related Items