Publication:5186756
From MaRDI portal
zbMath0561.68056MaRDI QIDQ5186756
Publication date: 1984
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
20M35: Semigroups in automata theory, linguistics, etc.
Related Items
Deterministic acceptors for indexed languages, Equivalence problem of mappings relative to languages, Problems of inclusion and equivalence for program schemata and formal languages, Decidability problems for meta-\(R\)-functions, Solvable problems for transformers with reversal-bounded counters