The following pages link to (Q4529998):
Displaying 7 items.
- Deterministic finite automata with recursive calls and DPDAs (Q1014418) (← links)
- On the transition graphs of Turing machines. (Q1401268) (← links)
- On infinite transition graphs having a decidable monadic theory (Q1853615) (← links)
- A Coinductive Animation of Turing Machines (Q2797865) (← links)
- The synchronized graphs trace the context-sensitive languages (Q2842874) (← links)
- Uniform solution of parity games on prefix-recognizable graphs (Q2842876) (← links)
- On relations between properties in transitive Turing machines (Q6058472) (← links)