Pages that link to "Item:Q2452755"
From MaRDI portal
The following pages link to Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) (Q2452755):
Displaying 3 items.
- Harmonization of automata specifications represented in the language L (Q334231) (← 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)
- On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines (Q1956960) (← links)