Pages that link to "Item:Q1895045"
From MaRDI portal
The following pages link to Approach to functional specification of automaton systems. I (Q1895045):
Displayed 12 items.
- Improved method of synthesis of an automaton from its specification in the language \(L\) (Q464896) (← 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)
- Verifying specifications in the language L against temporal properties nonexpressible in this language (Q844345) (← links)
- Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). II (Q852241) (← links)
- Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I (Q1280907) (← links)
- Extension of the automaton specification logical language and the synthesis problem (Q1385765) (← links)
- Consistency test for simple specifications of automaton systems (Q1905143) (← links)
- Resolution approach to testing compatibility of interacting automata (Q1905221) (← 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)
- (Q5147341) (← links)
- (Q5147350) (← links)