The following pages link to (Q5747095):
Displaying 24 items.
- Two-way automata making choices only at the endmarkers (Q476168) (← links)
- Two-way non-uniform finite automata (Q832933) (← links)
- Second-order finite automata: expressive power and simple proofs using automatic structures (Q832943) (← links)
- A note on the reduction of two-way automata to one-way automata (Q1116341) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- Converting nondeterministic two-way automata into small deterministic linear-time machines (Q2105419) (← links)
- Two-way automata versus logarithmic space (Q2254505) (← links)
- Normality and two-way automata (Q2343136) (← links)
- Two-way two-tape automata (Q2408799) (← links)
- (Q2762794) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- Two-Way Automata Characterizations of L/poly versus NL (Q2907503) (← links)
- Two-way representations and weighted automata (Q2969983) (← links)
- Two-Way Automata versus Logarithmic Space (Q3007639) (← links)
- Two-way Automata and Regular Languages of Overlapping Tiles (Q3187048) (← links)
- Tropical Two-Way Automata (Q3190161) (← links)
- (Q3742753) (← links)
- (Q4737911) (← links)
- On Hadamard Series and Rotating Q-Automata (Q5005101) (← links)
- From Hadamard expressions to weighted rotating automata and back (Q5919578) (← links)
- From Hadamard expressions to weighted rotating automata and back (Q5920056) (← links)
- Two-Way Non-Uniform Finite Automata (Q6169962) (← links)
- Once-Marking and Always-Marking 1-Limited Automata (Q6204137) (← links)
- Descriptional complexity of finite automata -- selected highlights (Q6614536) (← links)
