Struktúra
| Szalagok száma: | |
|---|---|
| Fejek száma szalagonként: | [ [|[ index ]|] -> [|[ tape.heads.length ]|] ] |
| Állapotok: | [|[ state ]|] |
| Kezdőállapot: | |
| Végállapotok: | [|[ endState ]|] |
Belső állapot
| Aktuális állapot: | |
|---|---|
| Végrehajtott lépések: |
Szalagok
Szabályok
[|[ rule ]|]
Útmutató
- Szalagok és fejek számozása 0-tól indul
- Fejek kezdő pozíciójánál számot kell megadni, vagy 'u' karaktert
- Fejek pozíciójánál a '0' a szalagon lévő első karakter, 'u' a szalagon lévő utolsó karakter
- Első illeszkedő szabály kerül lefuttatásra, tehát több szabály illeszkedése esetén számít a sorrend.
- Az állapotokon és az '=' jelen kívül a szabályok minden eleme opcionális.
- A szabályok balról jobbra kerülnek értelmezésre és végrehajtásra, tehát a szabályok megfogalmazásánál is számít a sorrend.
- A szabályok szóközzel kerülnek tagolásra.
- Szabályok fő részei állapottal kell, hogy kezdődjenek.
- Fejre hivatkozás formátuma: 'szalagSzám-fejSzám'.
- '='-jellel választjuk el a szabály olvasási részét az írásitól.
- Az üres karakter szimbóluma '_'
- Példaszabály: 'q0 0-1:2 = q1 0-1:3 0-1:>'.
- Értelmezés: q0 állapotban a 0-s szalagon lévő, 1-s fej, 2-t olvas, akkor q1 állapotba kerül és a 0-s szalag 1-s feje, 3-t ír, majd a 0-s szalag 1-s feje jobbra lép.
Példák