Pages that link to "Item:Q1956960"
From MaRDI portal
The following pages link to On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines (Q1956960):
Displaying 4 items.
- Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \(L^*\) to the language \(L\) (Q465906) (← links)
- Compositional approach to the development of reactive algorithms (Q465979) (← links)
- On algebraic and logical specifications of classes of regular languages. (Q1874275) (← links)
- Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) (Q2452755) (← links)
