Pages that link to "Item:Q1616245"

The following pages link to Synthesis of \(\Sigma\)-automata specified in the first order logical languages LP and LF (Q1616245):

Displaying 10 items.

• Improved method of synthesis of an automaton from its specification in the language \(L\) (Q464896) (← 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)
• Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (Q1709455) (← links)
• Intersection of \(-\omega \)-regular expressions (Q2058685) (← links)
• From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions (Q2215841) (← links)
• Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (Q2287411) (← links)
• Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) (Q5942109) (← links)
• Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression (Q6198088) (← links)
• Complementation of - \( \omega \)-regular expressions. I (Q6660265) (← links)