scientific article
From MaRDI portal
Publication:3048282
zbMath0413.68072MaRDI QIDQ3048282
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semigroups in automata theory, linguistics, etc. (20M35) Algebraic structures (08A99)
Related Items
Jumping Finite Automata: Characterizations and Complexity, Unnamed Item, A normal form theorem for label grammars, Characterization and complexity results on jumping finite automata