On an approach to functional specification of automata systems. III

DOI10.1007/BF01125538zbMath0823.68070MaRDI QIDQ1842385

Anatoli N. Chebotarev

Publication date: 17 May 1995

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

deterministic automatasuperlexicographic functions

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

Consistency test for simple specifications of automaton systems ⋮ Extension of the automaton specification logical language and the synthesis problem ⋮ On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines ⋮ Compositional approach to the development of reactive algorithms

Cites Work

• Unnamed Item
• Weak Second‐Order Arithmetic and Finite Automata

This page was built for publication: On an approach to functional specification of automata systems. III