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
Ck-1 skal rettes til Ck. -
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 M3 skal hedde (c) i stedet for (a). -
Side 132, linje 15-17
"
({q0},0)" skal rettes til "
(q0,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
"L2L2" skal rettes til "L1L2". -
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 qk" skal ændres til "to q1". -
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, ..."
"y
L(G" skal rettes til
"y
L(G)".
-
Side 240, linje 7 skal rettes til
D
XaXa | XbXb
-
Exercise 6.8 på side 242, linje 4
Tilføj sætningen "Assume in parts (a) and (b) that V1
V2=Ø."
-
Exercise 6.8(b) på side 242
S1
S1S1
skal rettes til
S1
S1S2.
-
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 hr) hvis den prøver at tage et skridt fra en konfiguration (q, xay) hvor q
Q
og
(q,a) er udefineret.
-
Figure 9.13 på side 336
De to pile mellem qa og qb skal vendes om. -
Side 339
"Ordinary symbols in
=
1
{
}. These are necessary because..."
skal rettes til
"Elements of
1. These are necessary because... Define
=
1
{
}.".
-
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 T2 is a language recognizing..." skal rettes til "Suppose T2 is a TM recognizing..." -
Theorem 11.9, linje 21 i beviset
"L(T2)=Ø" skal rettes til "L2=Ø" -
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 P2."
-
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).