Publication:3863089
From MaRDI portal
zbMath0427.68059MaRDI QIDQ3863089
Publication date: 1979
reduction; finite automata; infinite directed graphs; decidability of regularity; contextfree and regular languages; solutions of language equations
68Q45: Formal languages and automata
68R10: Graph theory (including graph drawing) in computer science
03B25: Decidability of theories and sets of sentences
05C20: Directed graphs (digraphs), tournaments