Pages that link to "Item:Q553320"

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

Displaying 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)
• Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata (Q6114871) (← links)
• Iterative arrays with self-verifying communication cell (Q6195133) (← links)