opora

Recommendations

Info

KAPITOLA 5. TURINGOVY STROJE 109 2. Při čtení symbolu ∗ je třeba (potenciálně) zvětšit pracovní prostor – aktivujeme podstroj ∆R ∗ L. Snadno lze přejít i opačně od přijímání konfigurací pásky ∆Y ∆... k přijímání přes q F . Poznámka 5.3.1 ✷ • Uvědomme si, že na TS lze také nahlížet jako na výpočetní mechanismy implementující funkce Σ ∗ → Γ ∗ tím, že transformují počáteční neblankový prefix své pásky na jiný neblankový prefix při přechodu do koncového stavu. • Vzhledem k tomu, že TS nemusí každý svůj vstup přijmout, jsou funkce jimi implementované obecně parciální. • Blíže se budeme vyčíslováním funkcí TS zabývat dále. 5.3.2 Vícepáskové Turingovy stroje Přímočarou cestou k zesílení Turingova stroje je zapojení ne jedné, ale několika pásek. Vícepáskový TS disponuje k jednosměrně nekonečnými páskami, z nichž každá je vybavena vlastní čtecí/zapisovací hlavou a je připojena ke společné konečně stavové jednotce. V jednom kroku stroj nejdříve na každé pásce zvlášť přečte symbol, posune hlavu nebo přepíše symbol a poté v závislosti na čtených symbolech změní stav řídící jednotky. Formálněji – uvažujme TS, který má k pásek s páskovými abecedami Γ 1 , Γ 2 , ..., Γ k a k odpovídajících hlav s přechodovou funkcí tvaru δ : (Q \ {q F }) × Γ 1 × Γ 2 × ... × Γ k −→ Q × ⋃ {i} × (Γ i ∪ {L, R}), i∈{1,...,k} kde i značí pásku, na kterou se zapisuje (na které se posouvá hlava). Příklad 5.3.1 Sestrojíme dvoupáskový stroj, který bude akceptovat již známý jazyk x n y n z n . Výhoda druhé pásky se zde projeví efektivitou stroje. Budeme předpokládat, že v počáteční konfiguraci mají pásky tvary: – první páska: ∆w∆∆ . . . – druhá páska: ∆∆ . . .. Stroj bude vypadat takto: M = {Q, Σ, Γ 1 , Γ 2 , δ, q 0 , q F } kde: Q = {q 0 , q 1 , q 2 , q 3 , q F } Σ = {x, y, z} Γ 1 = {x, y, z, ∆} Γ 2 = {X, Y ∆} δ ∆, ∆ x, ∆ x, X y, ∆ y, X y, Y z, ∆ z, Y q 0 q 1 , R, R q 1 q F q 1 , x, X q 1 , R, R q 2 , y, L q 2 q 2 , y, Y q 2 , R, L q 3 , z, R q 3 q F q 3 , R, R Stroj slovo na první (vstupní) pásce přečte jen jednou zleva doprava. Přitom na druhé pásce kontroluje jeho tvar takto: Nejdříve zápisem symbolu X na druhou
KAPITOLA 5. TURINGOVY STROJE 110 pásku zaznamenává na vstupu přečtená x. Poté za každé y přečtené na vstupu přepíše jeden symbol X na druhé pásce symbolem Y (skončí na začátku druhé pásky). Nakonec za každé přečtené z na vstupu posune hlavu druhé pásky doprava. Slovo akceptuje, pokud hlavu druhé pásky takto posune přesně za všechna Y . Vícepáskové stroje lze rovněž popisovat pomocí komponentních diagramů. Při podmíněném předání řízení pak používáme u příslušných symbolů horní indexy k označení toho, ze které pásky jsou čteny. Je možné i podmíněné předání řízení na základě určitých kombinací symbolů čtených z různých pásek. Chceme-li např. uskutečnit podmíněné předání řízení, je-li pod čtecí hlavou na první pásce symbol x a na druhé pásce symbol y, použijeme zápis x 1 ∧ y 2 , nebo jednoduše x 1 y 2 . Šipka označená x 1 y 2 , u 1 v 2 pak znamená předání řízení, je-li pod čtecí hlavou na první pásce symbol x a na druhé pásce symbol y, nebo je-li pod čtecí hlavou na první pásce symbol u a na druhé pásce symbol v. Chceme-li při konstrukci vícepáskových strojů užít základní stavební komponenty navržené původně pro jednopáskové stroje (např. stroje R, L apod.), pak označení těchto strojů spojíme s horním indexem určujícím, se kterou páskou má příslušný stroj pracovat.
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:
KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A
Page 59 and 60: 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: KAPITOLA 5. TURINGOVY STROJE 108 St
Page 113 and 114: KAPITOLA 5. TURINGOVY STROJE 112
Page 115 and 116: KAPITOLA 5. TURINGOVY STROJE 114 -
Page 119 and 120: KAPITOLA 5. TURINGOVY STROJE 118 D
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

Create successful ePaper yourself

Delete template?

Save as template?