opora

Recommendations

Info

KAPITOLA 1. ÚVOD 7 Kapitola 6 Nerozhodnutelné problémy teorie formálních jazyků. Kapitola 7 Úvod do výpočetní složitosti, Turingovská složitost, třída P a NP problémů.
Kapitola 2 Jazyky, gramatiky a jejich klasifikace Cílem této kapitoly je pochopení pojmu formální jazyk, jeho matematické explikace (popisu) a univerzality a základních algebraických operací nad formálními jazyky, které nacházejí praktické uplatnění v praktických aplikacích. Dále pak pochopení základního způsobu specifikace formálního jazyka gramatikou a způsobu klasifikace formálních jazyků, založeného na klasifikaci gramatik. 2.1 Jazyky Jedním ze základních pojmů pro vymezení jazyka jsou pojmy abeceda a řetězec. Definice 2.1 Abecedou rozumíme neprázdnou množinu prvků, které nazýváme symboly abecedy. V některých teoretických případech je účelné pracovat i s abecedami nekonečnými, v našich aplikacích se však omezíme na abecedy konečné. Příklad 2.1 Jako příklady abeced můžeme uvést latinskou abecedu obsahující 52 symbolů, které reprezentují velká a malá písmena, řeckou abecedu, dvouprvkovou binární abecedu reprezentovanou množinou {0, 1} resp. {true, false} nebo abecedy programovacích jazyků. Definice 2.2 Řetězcem (také slovem nebo větou) nad danou abecedou rozumíme každou konečnou posloupnost symbolů abecedy. Prázdnou posloupnost symbolů, tj. posloupnost, která neobsahuje žádný symbol, nazýváme prázdný řetězec. Prázdný řetězec budeme označovat písmenem ɛ. Formálně lze definovat řetězec nad abecedou Σ takto: (1) prázdný řetězec ɛ je řetězec nad abecedou Σ, (2) je-li x řetězec nad Σ a a ∈ Σ, pak xa je řetězec nad Σ, (3) y je řetězec nad Σ, když a jen když lze y získat aplikací pravidel 1 a 2. Příklad 2.2 Je-li A = {a, b, +} abeceda, pak ɛ a b + aa a + b + ab jsou některé řetězce nad abecedou A. Pořadí symbolů v řetězci je významné; řetězce a + b, +ab jsou různé. Symbol b, například, je řetězec nad A, poněvadž ɛb = b (pravidlo (2)). Konvence 2.1 Budeme-li pracovat s obecnými abecedami, symboly, či řetězci, pak pro jejich značení použijeme: 8
Page 1 and 2: Teoretická informatika TIN Studijn
Page 3 and 4: OBSAH 2 4 Bezkontextové jazyky a z
Page 5 and 6: OBSAH 4 7.2 Třídy složitosti . .
Page 7: KAPITOLA 1. ÚVOD 6 1.1 Obsahové a
Page 11 and 12: KAPITOLA 2. JAZYKY, GRAMATIKY A JEJ
Page 23 and 24: KAPITOLA 3. REGULÁRNÍ JAZYKY 22
Page 25 and 26: KAPITOLA 3. REGULÁRNÍ JAZYKY 24 3
Page 27 and 28: KAPITOLA 3. REGULÁRNÍ JAZYKY 26 D
Page 33 and 34: KAPITOLA 3. REGULÁRNÍ JAZYKY 32 V
Page 49 and 50: KAPITOLA 3. REGULÁRNÍ JAZYKY 48 P
Page 53 and 54: KAPITOLA 3. REGULÁRNÍ JAZYKY 52 C
Page 55 and 56: KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A
Page 57 and 58: KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A
Page 59 and 60:
KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Kapitola 5 Turingovy stroje Cílem
Page 103 and 104:
KAPITOLA 5. TURINGOVY STROJE 102 5.
Page 105 and 106:
KAPITOLA 5. TURINGOVY STROJE 104
Page 107 and 108:
KAPITOLA 5. TURINGOVY STROJE 106 L:
Page 109 and 110:
KAPITOLA 5. TURINGOVY STROJE 108 St
Page 111 and 112:
KAPITOLA 5. TURINGOVY STROJE 110 p
Page 113 and 114:
KAPITOLA 5. TURINGOVY STROJE 112
Page 115 and 116:
KAPITOLA 5. TURINGOVY STROJE 114 -
Page 117 and 118:
Page 119 and 120:
KAPITOLA 5. TURINGOVY STROJE 118 D
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
Page 137 and 138:
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 145 and 146:
Page 147 and 148:
KAPITOLA 7. SLOŽITOST 146 7.1.3 Sl
Page 149 and 150:
KAPITOLA 7. SLOŽITOST 148 Příkla
Page 151 and 152:
KAPITOLA 7. SLOŽITOST 150 • Napr
Page 153 and 154:
KAPITOLA 7. SLOŽITOST 152 7.2.4 Ne
Page 155 and 156:
KAPITOLA 7. SLOŽITOST 154 • Stro
Page 157 and 158:
KAPITOLA 7. SLOŽITOST 156 7.3.4 Uz
Page 159 and 160:
KAPITOLA 7. SLOŽITOST 158 Pokud pr
Page 161 and 162:
KAPITOLA 7. SLOŽITOST 160 7.5.1 Po
Page 163 and 164:
KAPITOLA 7. SLOŽITOST 162 7.5.4 V
Page 165 and 166:
KAPITOLA 7. SLOŽITOST 164 6. Uveď
show all

opora

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?