Megtalált hibák eddig:

• 7. oldal, - 3.sor: "páratlan sok nullát olvastunk" helyett "páratlan sok egyest olvastunk"
• 8. oldal, 2. sor: log_2(n) felső egészrész bitre lesz szükség 
  
• 19. oldal, 2.22 példa:  L a {0,1}^*-nak része
• 20. oldal 2.25 példa: 2^k helyett |Sigma|^k állapot
  
• 21. oldal, 2.27 állítás bizonyítása, 3. sor: |Q| -2 lépésen belül végzünk legkésőbb 
• 33. oldal, a bizonyítás -3. sora: uvk helyett uvw-nak kéne szerepelnie
•  44. oldal, 4.14. definíció utolsó sora: "egyetlen szabály bal oldalán" helyett "egyetlen szabály jobb oldalán" írandó 
• 61. oldal, az egyszeres szabályok kiküszöbölésének utolsó lépése: ha béta hossza 1, de béta egy darab terminálisból áll, akkor ezzel a bétával is fel kell venni egy A -> béta szabályt  
  
• 70. oldal, 4. sor végénél: uw^kwx^ky helyett uv^kwx^y írandó
• 78. oldalon  a veremautomata ábrájában  a q0 -> q4 átmenetnél az epszilon; Z' -> epszilon  lehetőség is kell
  
• 88. oldal, 8.2 alfejezet: "Adott .... reguláris nyelv" helyett "Adott ... környezetfüggetlen nyelv"
• 102. oldal, 9.28. feladat: a nyilakon csak egy olvasott karakternek kellene szerepelnie (az üres nem kell), mivel a kimeneti szalagot sose olvassuk