The following pages link to (Q4778268):
Displaying 4 items.
- Deterministic two-way one-head pushdown automata are very powerful (Q800088) (← links)
- Alternating multihead finite automata (Q1116353) (← links)
- A recursive and a grammatical characterization of the exponential-time languages (Q1237361) (← links)
- Refined simulation of multihead automata (Q1339383) (← links)