Pages that link to "Item:Q5425747"
From MaRDI portal
The following pages link to An upper bound for transforming self-verifying automata into deterministic ones (Q5425747):
Displaying 6 items.
- Optimal simulation of self-verifying automata by deterministic automata (Q553320) (← links)
- Self-Verifying Finite Automata and Descriptional Complexity (Q2829967) (← links)
- Unary Self-verifying Symmetric Difference Automata (Q2829981) (← links)
- Converting Self-verifying Automata into Deterministic Automata (Q3618603) (← links)
- (Q5016366) (← links)
- Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata (Q6114871) (← links)
