Analysis and synthesis of abstract automata

DOI10.1007/S10958-010-0058-ZMaRDI QIDQ548753zbMATH OpenOpenAlexFDO

Authors I. S. Grunskij, V. A. Kozlovskii, 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

abstract automataanalysissynthesis

Mathematics Subject Classification ID

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

Cites work

• Analysis and synthesis of abstract automata
• Description of a finite automaton by means of a finite set of input- output sequences. I,II
• Deterministic realizations of nondeterministic automata
• Distinguishing and control experiments with nondeterministic automata
• Experiments with automata when the upper bound of the number of their states is unknown
• Formal methods of analysis of system properties
• scientific article; zbMATH DE number 3860401 (Why is no real title available?)
• scientific article; zbMATH DE number 3976344 (Why is no real title available?)
• scientific article; zbMATH DE number 23016 (Why is no real title available?)
• scientific article; zbMATH DE number 42579 (Why is no real title available?)
• scientific article; zbMATH DE number 46139 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 3614184 (Why is no real title available?)
• scientific article; zbMATH DE number 1537560 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3254909 (Why is no real title available?)
• scientific article; zbMATH DE number 3328721 (Why is no real title available?)
• Monitoring of logic-dynamic systems based on sampled performance data
• Representations of group automata
• THE ABSTRACT THEORY OF AUTOMATA
• The behavior of automata in vicinities of states. II

Cited in

(3)

• scientific article; zbMATH DE number 4078822 (Why is no real title available?)
• scientific article; zbMATH DE number 3497800 (Why is no real title available?)
• Analysis and synthesis of abstract automata

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548753)