Pages that link to "Item:Q1922337"
From MaRDI portal
The following pages link to Synthesis of a nondeterministic automaton from its logical specification. I (Q1922337):
Displayed 4 items.
- Approximation of sets of superwords by \(L\)-language formulas (Q941189) (← links)
- Synthesis of a nondeterministic automaton from its logical specification. II (Q1816006) (← links)
- Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) (Q2452755) (← links)
- Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I (Q2508787) (← links)