Pages that link to "Item:Q1280979"
From MaRDI portal
The following pages link to Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). II (Q1280979):
Displaying 3 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)
- Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (Q2287411) (← links)
- Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) (Q2452755) (← links)
