Pages that link to "Item:Q464896"

The following pages link to Improved method of synthesis of an automaton from its specification in the language \(L\) (Q464896):

Displaying 7 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)
• Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718) (← links)
• Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I (Q1280907) (← links)
• Automaton synthesis from a nonformal specification (Q1905170) (← links)
• Synthesis of a nondeterministic automaton from its logical specification. I (Q1922337) (← links)
• Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) (Q5942109) (← links)