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
• 42. oldal alján a bC-ből bc szabály alkalmazása során véletlenül bekerült egy felesleges "a" karakter,   aaaabcBCBC helyett  aaabcBCBC kellene
  
•  44. oldal, 4.14. definíció utolsó sora: "egyetlen szabály bal oldalán" helyett "egyetlen szabály jobb oldalán" írandó
  
• 52. oldal 5.4 fejezetben "Itt is az a célszerű. hogy..." helyett "Itt is az a célszerű, hogy... " írandó
• 57. oldal: 11. sorban E * T helyett T * F-nek kellene állnia
  
• 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  
  
• 66. oldal, 6.28-as Lemma bizonyításának 2. sorában: A -> alfa_j helyett A-> A alfa_j írandó
• 66. oldal, 6.28-as Lemma bizonyításának 3. sorában az első ... után  kimaradt egy =>
• 66. oldal, 6.26-as Lemma bizonyításának 4. sorában beta_i alfa_j B helyett beta_i alfa_ j_t B írandó
  
• 70. oldal, 4. sor végénél: uw^kwx^ky helyett uv^kwx^ky írandó
• 76. oldal, 7.6. definíció: további feltétel még, hogy nem lehet olyan (q,a,A) hármas, hogy delta(q,a,epsilon) és delta(q,epsilon, A) egyszerre nem üres
  
• 78. oldal, Gamma definíciója helyesen Gamma = Gamma' unió {Z}
• 78. oldal, a kezdőállapot q_0 legyen (és ne q_0')
  
• 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"
• 91. oldal, 9.3. definícióban Sigma^* kell Sigma helyett
• 102. oldal, 9.28. feladat: a nyilakon csak egy olvasott karakternek kellene szerepelnie (az üres nem kell), mivel a kimeneti szalagot sose olvassuk
• 119. oldal, 10.27. tétel első irányának 1. sorában a 10.19. tétel 3. pontja helyett a 10.25. lemma 1. pontjára kell hivatkozni 
  
• 136. oldalon a táblázat "fejek a munkaszalagon" sorában a kitevő d*s(n)*k (kimaradt a k)
• 136. oldalon a táblázat alatt: s(n) >= log n
• 136. oldalon a hosszú képletben a harmadik tag kitevője egy felesleges zárójellel kezdődik
• 160. oldal, 12.6 állítás bizonyításában az utolsó előtti és az az előtti sor végén X_k helyett Y_k-nak kell állnia