The following pages link to (Q5541343):
Displayed 18 items.
- Finite-state automata in information technologies (Q464949) (← links)
- Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \(L^*\) to the language \(L\) (Q465906) (← links)
- Two types of nonlinear automata over a finite ring (Q1040420) (← links)
- Fault-detection experiment with deterministic realizations and a nondeterministic model (Q1286277) (← links)
- Generalized synchronization of linear sequential machines (Q1286301) (← links)
- Simple-fault checking for automata generated by a fault function (Q1816011) (← links)
- Generalized information-lossless automata. I (Q1905149) (← links)
- Resolution approach to testing compatibility of interacting automata (Q1905221) (← links)
- Synthesis of a nondeterministic automaton from its logical specification. I (Q1922337) (← links)
- On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines (Q1956960) (← links)
- Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) (Q2452755) (← links)
- Nonlinear automata over a finite ring (Q2458091) (← links)
- (Q5146197) (← links)
- (Q5146737) (← links)
- (Q5147338) (← links)
- (Q5147350) (← links)
- Decision capabilities of diagnostic experiments with linear automata (Q5951303) (← links)
- On preset homing and synchronizing sequences for observable input/output automata (Q6060488) (← links)