Analysis of behaviour of automata

DOI10.1515/DMA.2009.001zbMath1234.68217MaRDI QIDQ3225855

I. S. Grunskii, V. A. Kozlovskii, Valerii B. Kudryavtsev

Publication date: 23 March 2012

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

zbMATH Keywords

finite automatafragmentcofragmentfragment-automaton relation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Synthesis problems (93B50) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Reconstruction of automata by fragments of behaviour

Cites Work

• Representations of group automata
• Deterministic realizations of nondeterministic automata
• Experiments with automata when the upper bound of the number of their states is unknown
• Distinguishing and control experiments with nondeterministic automata
• Formal methods of analysis of system properties
• THE ABSTRACT THEORY OF AUTOMATA