Analysis and synthesis of abstract automata

DOI10.1007/S10958-010-0058-ZzbMath1257.68098OpenAlexW2145383986MaRDI QIDQ548753

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

Publication date: 30 June 2011

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-010-0058-z

zbMATH Keywords

synthesisanalysisabstract automata

Mathematics Subject Classification ID

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

Related Items (1)

Analysis and synthesis of abstract automata

Cites Work

• Analysis and synthesis of abstract automata
• The behavior of automata in vicinities of states. II
• Monitoring of logic-dynamic systems based on sampled performance data
• 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
• Description of a finite automaton by means of a finite set of input- output sequences. I,II
• THE ABSTRACT THEORY OF AUTOMATA
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Analysis and synthesis of abstract automata