Pages that link to "Item:Q553320"

The following pages link to Optimal simulation of self-verifying automata by deterministic automata (Q553320):

Displayed 8 items.

• Nondeterministic Moore automata and Brzozowski's minimization algorithm (Q442154) ‎ (← links)
• Reversal of binary regular languages (Q443743) ‎ (← links)
• Optimal state reductions of automata with partially specified behaviors (Q728283) ‎ (← links)
• Iterative arrays with self-verifying communication cell (Q2278569) ‎ (← links)
• Self-Verifying Finite Automata and Descriptional Complexity (Q2829967) ‎ (← links)
• Unary Self-verifying Symmetric Difference Automata (Q2829981) ‎ (← links)
• Nondeterministic Moore Automata and Brzozowski’s Algorithm (Q5200055) ‎ (← links)
• Descriptional Complexity of the Forever Operator (Q5384434) ‎ (← links)