P. Jančar: Teoretická informatika (VŠB-TU, Ostrava, 2007, verze z 31.8.2007)
V případě, že je chyba nahlášena studentem, je u ní jeho jméno, datum a počet obdržených bonusových bodů (1 bod za gramatickou či typografickou chybu, 3 body za věcnou chybu).
občas je odkazováno, že něco je v rozšiřující části, ale to tam v této verzi ještě není; to teď nepovažuji za chybu.
strana 3, v prvním odstavci je: "se budeme zabývat výpočetní složitosti" má být "složitostí" (dlouhé í) (M. Židek, 9.4.2008, 1 bod)
strana 31, Odstavec začínající " To neznamená, že ..." na konci odstavce je závorka navíc za slovem "z kontextu)". (M. Židek, 9.4.2008, 1 bod)
s.36 u Zřetězení jazyků ... všech slov, která se dají vyjádřit jako zřetězení dvou slov, z nichž první ....
s.37 nahoře: Jaký jazyk $L_0\cdot L_1$ vzniklý .... chybí "je" (vzápětí se opakuje například a např.)
s.77: dosáhli jsme "pevného bodu" naší operace a a naše konstrukce tak vydá jako finální rozklad R2 (je tam nadbytečné "a") (L. Martynek, 16.3.2008, 1 bod)
s.102: Základem následující knoflíkové množiny je tedy množiny {2} ... má být množina {2}
str.106, 2.radek - ma byt "diky" misto "dily" (R. Pejchar, 13.4.2008, 1 bod)
str.112 posledni radek - ma byt "zde" misto "zda" (R. Pejchar, 9.4.2008, 1 bod)
str.113 uprostred v dukazu vety 3.32 - chybi carka za vlozenou vetou v souveti (za slovem "sipka"). Podle mne by veta mela vypadat "....konstruovat automaty s jedinym pocatecnim stavem, do nehoz nevchazi zadna sipka, a s jedinym prijimacim stavem, z nehoz..." (R. Pejchar, 9.4.2008, 1 bod)
s.113: ve větě 3.32. je navíc "jeho"
s.114: existuje (lze algoritmicky) sestrojit ... má být existuje (lze algoritmicky sestrojit)
Na straně 114 (kapitola 3.12) je překlep ve slově "avízované". Správně má být "avizované". (1 řádek nad "Věta 3.33") (M. Hrubec, 5.6.2008, 1 bod)
str. 128 Definice 4.2, první odstavec, třetí řádek: "když G zřejmá z kontextu", chybí "je" a čárka před "když" (L. Jodlovski, 18.4.2008, 1 b.)
s.131: otázka 4.3.: chybí S -->
strana 135, uprostřed: je uvedeno, že slovo "a + a x a" má v G2 jen jednu levou derivaci, ale uvedená derivace není levá (J. Vrána, 19.4.2008, 3 body)
Strana 141 Kontrolní otázka: Říká vám intuice již teď, jak lze (podle naši budoucí dohody)..... Mělo by být podle naší ..... (Vojtěch Hýža, 14.5.2008, 1 bod)
str. 149, cvičení 4.21. V řešení tohoto cvičení na straně 323 nepřijme uvedený automat slova z jazyka, která obsahují alespoň jedno "a" či "b" a končí písmenem "c". (K nápravě je vhodné ponechat symbol "Z" na spodku zásobníku a přidat patřičné instrukce ...) (L. Jodlovski, 18.4.2008, 3 b.)
strana 163 poslední odstavec ... "vstupní vstupní slovo" ... dvakrát slovo vstupní (M. Židek, 14.4.2008, 1 bod)
strana 191, třetí odstavec: Je to jasné: ke každému vstupu (tedy instanci) problému P stroj M *(vypočte a vydá)* problémem předepsaný výstup. ... má být *(vypočte a) vydá* (J. Hájek, 3.5.2008, 1 bod)
na strane 196, 2. odstavec Toto řešení by ovšem vyžadovalo .... a zvětšilo by
na strane 196 v odstavci pod grafem TS je formulace: Všimněme si také onoho "kouknutí se vpravo" (ve stavu 2 či 4) a případné zapsání "pomocného" a-čka. mělo by být ... (ve stavu 2 či 3) a případného zapsání "pomocného" a-čka. (ungermann zbynek, 17.4.2008, 3 body)
Stránka 197 Všimněme si, že takto přirozeně může definovat, co to znamená, že Turingův stroj M rozpoznává (neboli rozhoduje) jazyk L. Místo může definovat by mělo asi být: takto přirozeně můžeme definovat (Vojtěch Hýža, 14.5.2008, 1 bod)
str. 199, sekce "Cíle této části":
Jedná se o model RAM (počítač s libovolným),... - mělo by být - ... RAM
(počítač s libovolným přístupem) (J. Hájek, 21.3.2008, 1 bod)
následuje "které" místo "který"
strana 199, začátek textu 6.3: odstavec "Již jsme hovořili..." obsahuje: ...univerální výpočetní model... správně má být: ...univerzální výpočetní model... (J. Chocholatý, 7.4.2008, 1 bod)
na straně 200 v třetím bodu shora: 1. ve větě "Vstupní páska tvořena buňkami (políčky)..", mělo by zde být dlouhé á podobně jako ve větě bodě nad tímto bodem, tedy "Vstupní páska tvořená buňkami (políčky).." (Lukáš Martynek, 5.6.2008)
str. 201 - v prvním odstavci na druhém řádku chybí uzavření závorky, (Aleš Kaluža, 16.4.2008, 1 bod)
s.201: 2. odst. přebývá sloveso "je": ... buňka 0 se nazývá pracovní registr (také akumulátor ) a **je** "automaticky se účastní"..... (J. Hájek, 21.3.2008, 1 bod)
strana 213, otázka u HP, místo "stroj" by mělo být "stroje". Otázka: Zastaví se M na w (tzn. je výpočet *stroj* M pro vstupní slovo w konečný)? (J. Hájek, 4.5.2008, 1 bod)
strana 227 v sekci Cíle kapitoly se ve 2. řádku vyskytuje slovo JEDNOTLVÝCH, mělo by tam být JEDNOTLIVÝCH. Tzn., že v tam chybí písmeno I (Pavel Gaudník, 12.5.2008, 1 bod)
Na strane 228 v kapitole Motivace a neformalni definice pojmu složitost algoritmu na konci radky cislo 9 se rozdeluje slovo UPŘEDNOSTÍME. Mělo by tam správně být slovo UPŘEDNOSTNÍME. Tzn. že ve slově chybí písmeno N (Pavel Gaudník, 12.5.2008, 1 bod)
strana 232 v 1. řádce uplne nahore pod kontrolní otázkou je slovo OPOVĚĎ, mělo by tam být ODPOVĚĎ. Tzn., že tam chybí písmeno D (Pavel Gaudník, 12.5.2008, 1 bod)
Stránka 232 Chtělo by to definovat pro každý algoritmus nějakou kvantitativní charakte- ristiku, nazvané časová složitost (či paměťová složitost), podle které pak ... mělo být: kvantitativní charakteristiku, nazvanou.... (Vojtěch Hýža, 14.5.2008, 1 bod)
strana 233 v sekci Poznámka ve třetí řádce přibližně uprostřed nachází slovo VELIKOTI, mělo by tam být VELIKOSTI. Tzn., že v tam chybí písmeno S (Pavel Gaudník, 12.5.2008, 1 bod)
na straně 234 (kapitola 8.1). V odstavci "Již dříve jsme avízovali..." (4. řádek od počátku stránky). ... má být "avizovali". (M. Hrubec, 5.6.2008)
Na straně 238 v instrukci RAM stroje č.58 by mělo být v obou variantách LOAD=1 (Lukáš Martynek, 5.6.2008, 2 body)
strana 239 v sekci Shrnutí v první řádce je slovo INTUTIVNÍ, mělo by tam být INTUITIVNÍ. Tzn., že v tam chybí písmeno I (Pavel Gaudník, 12.5.2008, 1 bod)
strana 240 v sekci Klíčová slova se v 1. řádku rozděluje slovo ASYMPOTICKÉ, mělo by tam být ASYMPTOTICKÉ. Tzn., že tam chybí písmeno T (Pavel Gaudník, 12.5.2008, 1 bod)
Na straně 240 (kapitola 8.2), v poznámce: Věta: "Chceme totiž, aby (skutečné) chování algoritmu (z hlediska dob běhu, či potřeby paměti) nebylo horší než říká výsledek naší analýzy." V této větě schází čárka před spojkou "než". Dále ve stejné poznámce, "Pokud je ve skutečnosti lepší než říká náš (horní) odhad, je to pro nás jen pozitivní." schází čárka před spojkou "než". (M. Hrubec, 5.6.2008, 1 bod)
strana 242 - odstavec Podívejme se pořádněji ... je zde: jak jsem ukázali má být: jak jsme ukázali (J. Chocholatý, 25.4.2008, 1 bod)
strana 242 - odstavec Podívejme se pořádněji ... je zde: Vede nás k to má být: Vede nás to (J. Chocholatý, 25.4.2008, 1 bod)
strana 250 - problém Výběr aktivit je zde: VSTUP: Množina obsahující má být: VÝSTUP: Množina obsahující (J. Chocholatý, 25.4.2008, 1 bod)
strana 255 v 18nácté řádce od shora je na konci řádky slovo ODPOVĚD, mělo by tam být ODPOVĚĎ. Tzn., že nad posledním písmenem chybí háček. (Pavel Gaudník, 12.5.2008, 1 bod)
na straně 259 (kapitola 8.5). V odstavci "Cíle této části:", je na druhém řádku slovo "prokázování" (má být prokazování). (M. Hrubec, 5.6.2008, 1 bod)
strana 262, ve tvrzení 8.15 je navíc slovo "jsou" Problémy *jsou* CG, HK, HC, Subset-Sum jsou NP-úplné. (J. Hájek, 4.5.2008, 1 bod)
strana 262 v 7mé řádce od shora je na začátku řádky slovo POZNAMEJME. POZNAMENEJME. Tzn., že v tam chybí písmena NE (Pavel Gaudník, 12.5.2008, 1 bod)
na str. 292, kapitola 10.4: "Existují rozhodovací (tedy Ano/~E) problémy,.." má být (Ano/Ne) (M. Benčík, 29.3.2008, 1 bod)
strana 298 v 6té řádce od spoda je slovo UMĚRNÁ, mělo by tam být ÚMĚRNÁ. Tzn., že nad písmenem U chybí čárka. (Pavel Gaudník, 12.5.2008, 1 bod)
strana 323, ve cvičení 4.25 je |w|a vetsi-rovno |w|b|, a má být |w|a vetsi-rovno |w|b tj. je tam navíc za písmenem b znak | dále ve stejném cvičení 4.25 na straně 323 je opakovaný překlep tohoto typu a to |w|a mensi-rovno |w|b| a má být pouze |w|a mensi-rovno |w|b tj. je tam navíc za písmenem b znak | (Martin Židek, 25.4.2008, 1 bod)