Uvod u teoriju računarstva / 2011 / LAB3 / Osnovni Turingov stroj


URL do datoteke "Definicije stroja":

URL do datoteke "Sa ulaznim nizovima":

DETALJNI ISPIS TRAKE:
DA NE

Notifications:
Trenutno nije izabrana datoteka Definicije stroja i zato je zadana datoteka: "http://lab3.utr.ms007.net/a1.txt"
Trenutno nije izabrana datoteka Ulaznog niza i zato je zadana datoteka: "http://lab3.utr.ms007.net/a2.txt"

IZLAZ PROGRAMA:
1. TRAKA -> 0BBBBBBBBBB...
 0 B ... ∞
q0,X->q1,X,R • X B ... ∞
 Stanje: q1 Ulazni niz je: NEPRIHVATLJIV
Prihvatljiva stanja: q4
Vrijeme potrebno za obradu ovog niza je 4.0E-5 sekundi.

2. TRAKA -> 0B1BBBBBBBBBB...
 0 B 1 B ... ∞
q0,X->q1,X,R • X B 1 B ... ∞
 Stanje: q1 Ulazni niz je: NEPRIHVATLJIV
Prihvatljiva stanja: q4
Vrijeme potrebno za obradu ovog niza je 3.0E-5 sekundi.

3. TRAKA -> 000111BBBBBBBBBB...
 0 0 0 1 1 1 B ... ∞
q0,X->q1,X,R • X 0 0 1 1 1 B ... ∞
q1,0->q1,0,R • X 0 0 1 1 1 B ... ∞
q1,0->q1,0,R • X 0 0 1 1 1 B ... ∞
q1,Y->q2,Y,L • X 0 0 Y 1 1 B ... ∞
q2,0->q2,0,L • X 0 0 Y 1 1 B ... ∞
q2,0->q2,0,L • X 0 0 Y 1 1 B ... ∞
q2,X->q0,X,R • X 0 0 Y 1 1 B ... ∞
q0,X->q1,X,R • X X 0 Y 1 1 B ... ∞
q1,0->q1,0,R • X X 0 Y 1 1 B ... ∞
q1,Y->q1,Y,R • X X 0 Y 1 1 B ... ∞
q1,Y->q2,Y,L • X X 0 Y Y 1 B ... ∞
q2,Y->q2,Y,L • X X 0 Y Y 1 B ... ∞
q2,0->q2,0,L • X X 0 Y Y 1 B ... ∞
q2,X->q0,X,R • X X 0 Y Y 1 B ... ∞
q0,X->q1,X,R • X X X Y Y 1 B ... ∞
q1,Y->q1,Y,R • X X X Y Y 1 B ... ∞
q1,Y->q1,Y,R • X X X Y Y 1 B ... ∞
q1,Y->q2,Y,L • X X X Y Y Y B ... ∞
q2,Y->q2,Y,L • X X X Y Y Y B ... ∞
q2,Y->q2,Y,L • X X X Y Y Y B ... ∞
q2,X->q0,X,R • X X X Y Y Y B ... ∞
q0,Y->q3,Y,R • X X X Y Y Y B ... ∞
q3,Y->q3,Y,R • X X X Y Y Y B ... ∞
q3,Y->q3,Y,R • X X X Y Y Y B ... ∞
q3,B->q4,B,R • X X X Y Y Y B B ... ∞
 Stanje: q4 Ulazni niz je: PRIHVATLJIV
Prihvatljiva stanja: q4
Vrijeme potrebno za obradu ovog niza je 0.00017 sekundi.

4. TRAKA -> BBBBBBBBBB...
 B ... ∞
 Stanje: q0 Ulazni niz je: NEPRIHVATLJIV
Prihvatljiva stanja: q4
Vrijeme potrebno za obradu ovog niza je 1.0E-5 sekundi.

5. TRAKA -> 000111BBBBBBBBBBB...
 0 0 0 1 1 1 B B ... ∞
q0,X->q1,X,R • X 0 0 1 1 1 B B ... ∞
q1,0->q1,0,R • X 0 0 1 1 1 B B ... ∞
q1,0->q1,0,R • X 0 0 1 1 1 B B ... ∞
q1,Y->q2,Y,L • X 0 0 Y 1 1 B B ... ∞
q2,0->q2,0,L • X 0 0 Y 1 1 B B ... ∞
q2,0->q2,0,L • X 0 0 Y 1 1 B B ... ∞
q2,X->q0,X,R • X 0 0 Y 1 1 B B ... ∞
q0,X->q1,X,R • X X 0 Y 1 1 B B ... ∞
q1,0->q1,0,R • X X 0 Y 1 1 B B ... ∞
q1,Y->q1,Y,R • X X 0 Y 1 1 B B ... ∞
q1,Y->q2,Y,L • X X 0 Y Y 1 B B ... ∞
q2,Y->q2,Y,L • X X 0 Y Y 1 B B ... ∞
q2,0->q2,0,L • X X 0 Y Y 1 B B ... ∞
q2,X->q0,X,R • X X 0 Y Y 1 B B ... ∞
q0,X->q1,X,R • X X X Y Y 1 B B ... ∞
q1,Y->q1,Y,R • X X X Y Y 1 B B ... ∞
q1,Y->q1,Y,R • X X X Y Y 1 B B ... ∞
q1,Y->q2,Y,L • X X X Y Y Y B B ... ∞
q2,Y->q2,Y,L • X X X Y Y Y B B ... ∞
q2,Y->q2,Y,L • X X X Y Y Y B B ... ∞
q2,X->q0,X,R • X X X Y Y Y B B ... ∞
q0,Y->q3,Y,R • X X X Y Y Y B B ... ∞
q3,Y->q3,Y,R • X X X Y Y Y B B ... ∞
q3,Y->q3,Y,R • X X X Y Y Y B B ... ∞
q3,B->q4,B,R • X X X Y Y Y B B ... ∞
 Stanje: q4 Ulazni niz je: PRIHVATLJIV
Prihvatljiva stanja: q4
Vrijeme potrebno za obradu ovog niza je 0.00015 sekundi.

6. TRAKA -> 01BBBBBBBBBB...
 0 1 B ... ∞
q0,X->q1,X,R • X 1 B ... ∞
q1,Y->q2,Y,L • X Y B ... ∞
q2,X->q0,X,R • X Y B ... ∞
q0,Y->q3,Y,R • X Y B ... ∞
q3,B->q4,B,R • X Y B B ... ∞
 Stanje: q4 Ulazni niz je: PRIHVATLJIV
Prihvatljiva stanja: q4
Vrijeme potrebno za obradu ovog niza je 2.0E-5 sekundi.