Maszyna Turinga

Wstęp

Strona zawiera implementację maszyny Turinga, umożliwiającą sprawdzenie działania dowolnego programu napisanego dla tejże. Maszyna posiada również automatyczne wykrywanie nieskończonych pętli.

Formularz

Wynik

Pliki

turing.rb - skrypt w Ruby implementujący maszynę Turinga. Jako argumenty należy podać długość taśmy i argumenty programu maszyny Turinga. Następnie na standardowe wejście należy wprowadzić sam program, zakończony kropką:
```
./turing.rb 256 1111
q0,1->1,R,q0
q0,B->B,L,q1
q1,1->B,L,q1
q1,B->B,R,qf
.
```

Przykładowe programy

Dodawanie - dodawanie dwóch liczb zapisanych unarnie
Odejmowanie - odejmowanie dwóch liczb zapisanych unarnie

Autor

Tomasz "Newton" Rękawek
newton@martel.pl
2008