The following pages link to (Q4779176):
Displaying 6 items.
- Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations (Q1201150) (← links)
- Converting two-way nondeterministic unary automata into simpler automata. (Q1401239) (← links)
- From bidirectionality to alternation. (Q1401248) (← links)
- Alternation in two-way finite automata (Q2029487) (← links)
- (Q3769037) (← links)
- Bidirectionalization for free! (Pearl) (Q5261515) (← links)