Publication:5541343
From MaRDI portal
zbMath0158.25802MaRDI QIDQ5541343
Publication date: 1966
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Decision capabilities of diagnostic experiments with linear automata, On preset homing and synchronizing sequences for observable input/output automata, Finite-state automata in information technologies, Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \(L^*\) to the language \(L\), Two types of nonlinear automata over a finite ring, Fault-detection experiment with deterministic realizations and a nondeterministic model, Generalized synchronization of linear sequential machines, Simple-fault checking for automata generated by a fault function, Generalized information-lossless automata. I, Resolution approach to testing compatibility of interacting automata, Synthesis of a nondeterministic automaton from its logical specification. I, On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines, Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\), Nonlinear automata over a finite ring