On an approach to functional specification of automata systems. II

DOI10.1007/BF01125538zbMath0823.68069MaRDI QIDQ1333690

Anatoli N. Chebotarev

Publication date: 5 October 1994

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

zbMATH Keywords

deterministic automatasuperlexicographic function

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Consistency test for simple specifications of automaton systems

Cites Work

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

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