On quasi-unilateral universal Turing machines

Theoretical Computer Science

Volumn 257, Issue 1-2, 2001, Pages 153-166

  Margenstern, Maurice ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Theory of computation

Indexed keywords

BINARY SEQUENCES; THEOREM PROVING;

QUASI-UNILATERAL UNIVERSAL TURING MACHINES;

TURING MACHINES;

EID: 0034911489     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00114-6     Document Type: Article

References (14)

1. Décidabilité du problème de l'arrêt pour les machines de Turing non-effaçantes sur {0, 1} et à deux instructions gauches
2. Machine de Turing universelle sur {0, 1} à trois instructions gauches
3. Une machine de Turing universelle sur {0, 1}, non-effaçante et à trois instructions gauches
4. Une machine de Turing universelle non-effaçante à exactement trois instructions gauches
5. Non-erasing Turing machines: A new frontier between a decidable halting problem and universality
6. Deux machines de Turing universelles: L'une sur {0, 1} avec deux instructions gauches, l'autre sur {0, 1, 2} avec une seule instruction gauche
7. Deux machines de Turing universelles à au plus deux instructions gauches
8. Razreshi- most' problemy ostanovki dlja nekotorykh klassov mashin Tjuringa
9. Sem' universal'nykh mashin Tjuringa
10. On small universal Turing machines
11. A universal Turing machine with 22 states and 2 symbols
12. Tag systems and lag systems
13. Size and structure of universal Turing machines using a tag system