Analysis and synthesis of abstract automata

DOI10.1007/S10958-010-0058-ZzbMATH Open1257.68098OpenAlexW2145383986MaRDI QIDQ548753FDOQ548753

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

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

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

Cites Work

• Title not available (Why is that?)
• THE ABSTRACT THEORY OF AUTOMATA
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal methods of analysis of system properties
• 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
• Description of a finite automaton by means of a finite set of input- output sequences. I,II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analysis and synthesis of abstract automata

Cited In (3)

• Analysis and synthesis of abstract automata
• Title not available (Why is that?)
• Title not available (Why is that?)

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)