Pages that link to "Item:Q1816006"
From MaRDI portal
The following pages link to Synthesis of a nondeterministic automaton from its logical specification. II (Q1816006):
Displaying 12 items.
- 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)
- Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). II (Q1280979) (← links)
- On an approach to functional specification of automata systems. II (Q1333690) (← links)
- Deterministic realizations of nondeterministic automata (Q1369617) (← links)
- Construction of an automaton from a formula of the monadic first-order theory of natural numbers (Q1407164) (← links)
- Synthesis of \(\Sigma\)-automata specified in the first order logical languages LP and LF (Q1616245) (← links)
- Determinization of logical specifications of automata (Q1907766) (← links)
- Synthesis of a nondeterministic automaton from its logical specification. I (Q1922337) (← links)
- Synthesis of the automaton part of optimal logico-dynamical system (Q2487443) (← links)
- Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I (Q2508787) (← links)
- Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) (Q5942109) (← links)
