Analysis and synthesis of abstract automata
From MaRDI portal
Publication:548753
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
Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (1)
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