opora

Recommendations

Info

KAPITOLA 5. TURINGOVY STROJE 121 – S využitím 1. složek těchto dvojic simulujeme M. – V 2. složkách počítáme počet kroků; dojde-li k přetečení, odmítneme vstup. ✷ Věta 5.7.3 Ne každý rekurzívní jazyk je kontextový. Důkaz. (Idea) Lze užít techniku diagonalizace prezentovanou dále. ✷ 5.7.4 Vlastnosti kontextových jazyků Věta 5.7.4 Třída kontextových jazyků je uzavřena vůči operacím ∪, ∩, ., ∗ a komplementu. Důkaz. • Uzavřenost vůči ∪, ∩, . a ∗ lze ukázat stejně jako u rekurzívně spočetných jazyků. • Důkaz uzavřenosti vůči komplementu je značně komplikovaný (všimněme si, že LOA je nedeterministický a nelze tudíž užít konstrukce použité u rekurzívních jazyků) – zájemci naleznou důkaz v doporučené literatuře. Poznamenejme, že již víme, že u kontextových jazyků • lze rozhodovat členství věty do jazyka (rekurzivnost) a • nelze rozhodovat inkluzi jazyků (neplatí ani pro bezkontextové jazyky). Dále lze ukázat, že pro kontextové jazyky nelze rozhodovat prázdnost jazyka (užije se redukce z Postova problému přiřazení – viz další kapitoly). ✷ Turingův stroj je ekvivalentním specifikačním prostředkem pro libovolný jazyk typu 0 a v souladu s Churchovou tezí nejmocnějším formálním prostředkem (spolu s řadou dalších) pro specifikaci formálních jazyků. Představuje robustní matematický nástroj popisu jazyků a algoritmů, jehož modelovací síla není ovlivněna ani nedeterminismem či determinismem stroje, ani jeho paměťovými prostředky (více páskami). Významná podtřída Turingových strojů, lineárně omezené automaty, vymezují třídu kontextových jazyků. 5.8 Cvičení Příklad 5.8.1 1. Vysvětlete význam Churchovy teze. 2. Definujte pojmy Turingův stroj a jazyků přijímaných Turingovými stroji. 3. Definujte pojmy vícepáskový a nedeterministický Turingův stroj a rozhodněte, zda tato rozšíření zvyšují schopnost přijímat jazyky. 4. Vysvětlete rozdíl mezi úplnými a neúplnými Turingovy stroji a uveďte třídy jazyků, které jsou schopny přijímat.
KAPITOLA 5. TURINGOVY STROJE 122 5. Jaký je vztah mezi třídou jazyků přijímanou Turingovými stroji a jazyky typu 0. 6. Rozhodněte, pro které jazykové operace jsou uzavřeny třídy rekurzivních a rekurzivně vyčíslitelných jazyků. 7. Definujte lineárně omezené automaty a rozhodněte, jaký je vztah mezi třídou jazyků přijímaných lineárně omezenými automaty a třídou jazyků typu 1.
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 and 8:
KAPITOLA 1. ÚVOD 6 1.1 Obsahové a
Page 9 and 10:
Kapitola 2 Jazyky, gramatiky a jeji
Page 11 and 12:
KAPITOLA 2. JAZYKY, GRAMATIKY A JEJ
Page 13 and 14:
Page 15 and 16:
Page 17 and 18:
Page 19 and 20:
Page 21 and 22:
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 29 and 30:
Page 31 and 32:
Page 33 and 34:
KAPITOLA 3. REGULÁRNÍ JAZYKY 32 V
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
KAPITOLA 3. REGULÁRNÍ JAZYKY 48 P
Page 51 and 52:
Page 53 and 54:
KAPITOLA 3. REGULÁRNÍ JAZYKY 52 C
Page 55 and 56:
KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72: KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A
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: KAPITOLA 5. TURINGOVY STROJE 116 5.
Page 119 and 120: KAPITOLA 5. TURINGOVY STROJE 118 D
Page 121: KAPITOLA 5. TURINGOVY STROJE 120 5.
Page 125 and 126: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
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?