dRegAut

Trykfejl i [Martin]

Nedenfor følger en liste over fundne trykfejl i bogen. Hvis du mener at have fundet en fejl, der ikke er med på listen, så skriv til amoeller@cs.au.dk.

Side 53, linje -6
"x=0y" skal rettes til "x=0y1".
Side 54, linje 3
"y contains" skal rettes til "y1 contains".
Example 2.16 på side 63, første linje efter definitionen af pal
"rules 1 and 2" skal rettes til "rules 1 and 3".
Example 2.20 på side 67
"...applications of rule 2 is an element of L" skal rettes til "...applications of rule 2 is an element of A".
Exercise 2.13 på side 73
Der skal summeres fra i=0, ikke fra i=1.
Exercise 2.45 på side 77, linje 3
")" skal fjernes.
Exercise 2.45 på side 77, linje 12
C_k-1 skal rettes til C_k.
Example 3.12 på side 96, linje 2
"ending in 11" skal erstattes med "ending in 10".
Side 97, linje -4
"toward 11" skal erstattes med "toward 10".
Figur 3.8(b) på side 102
Kanten fra r til p skal have label a.
Side 103, linje -10
"The null string" skal rettes til "The empty string".
Side 105, linje -3
"Example 3.9" skal rettes til "Example 3.12".
Exercise 3.14 på side 114
"...as in Example 3.4..." skal rettes til "...as in Example 3.6...".
Figure 3.13 på side 117
Delfiguren med automat M₃ skal hedde (c) i stedet for (a).
Side 132, linje 15-17
"({q₀},0)" skal rettes til "(q₀,0)", og tilsvarende 5 andre steder i de tre linjer (dvs. "{" og "}" skal fjernes ved anvendelser af ).
Figure 4.7(b) på side 135
Der mangler en pil, der viser at tilstanden til venstre er starttilstanden.
Side 146, linje 13
"L₂L₂" skal rettes til "L₁L₂".
Figure 4.23(a) på side 161
Tilstanden mærket a skal ikke hedde noget.
Figure 4.24(a) på side 162
Pilen fra tilstand 1 til tilstand 3 skal vendes om.
Figure 4.25 (b) på side 163
a'et mellem tilstand 1 og 5 skal fjernes.
Exercise 4.34 linje 4 på side 163
"to q_k" skal ændres til "to q₁".
Figure 5.6(h) på side 194
Der mangler en pil, der viser at tilstand 1 er starttilstanden.
Side 228, linje 3 af afsnittet, der begynder "Second, ..."
"yL(G" skal rettes til "yL(G)".
Side 240, linje 7 skal rettes til
D X_aX_a | X_bX_b
Exercise 6.8 på side 242, linje 4
Tilføj sætningen "Assume in parts (a) and (b) that V₁V₂=Ø."
Exercise 6.8(b) på side 242
S₁ S₁S₁ skal rettes til S₁ S₁S₂.
Exercise 6.56 side 249
"...is also a CFG" skal rettes til "...is also a context-free language".
Example 8.2 på side 301, første linje af tredje afsnit
"condition (8.2)" skal rettes til "condition (8.3)".
Side 321
Der mangler en beskrivelse af, at maskinen også "crasher" (dvs. går til tilstand h_r) hvis den prøver at tage et skridt fra en konfiguration (q, xay) hvor qQ og (q,a) er udefineret.
Figure 9.13 på side 336
De to pile mellem q_a og q_b skal vendes om.
Side 339
"Ordinary symbols in =₁{}. These are necessary because..."
skal rettes til
"Elements of ₁. These are necessary because... Define =₁{}.".
Figure 9.23 på side 357
Den lange pil, der peger begge veje, skal kun pege fra højre til venstre.
Exercise 10.2, på side 397, linje 1
"10.2" skal rettes til "10.3".
Theorem 11.4, første linje af beviset
"Suppose T₂ is a language recognizing..." skal rettes til "Suppose T₂ is a TM recognizing..."
Theorem 11.9, linje 21 i beviset
"L(T₂)=Ø" skal rettes til "L₂=Ø"
Exercise 11.23, på side 439, linje 6
Før "Show", indsæt sætningen "Suppose finally that not every element of * represents an instance of P₂."
Exercise 11.29(d) på side 440
"any two finite" skal rettes til "any two nonempty finite".
Exercise 12.25, på side 476, linje 2
"for x>0" skal rettes til "for x>1".
Side 529
Hopcroft, Motwani, and Ullman, 2nd edition, er fra 2001 (ikke 1979).