Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

Automaty a gramatiky Automaty Jak již název napovídá, teorie automatů se zabývá studiem automatů. Nejjednodušší automat si můžeme představit jako stroj,

Podobné prezentace


Prezentace na téma: "Automaty a gramatiky Automaty Jak již název napovídá, teorie automatů se zabývá studiem automatů. Nejjednodušší automat si můžeme představit jako stroj,"— Transkript prezentace:

1

2 Automaty a gramatiky

3 Automaty Jak již název napovídá, teorie automatů se zabývá studiem automatů. Nejjednodušší automat si můžeme představit jako stroj, který má omezenou paměť. Automat funguje tak, že čte znaky ze vstupu a po přečtení každého znaku vyhodnotí situaci a na základě stavu, ve kterém se nachází jeho paměť a přečteného znaku přejde do nějakého stavu paměti.

4 Fungování automatu Automat má vždy výchozí stav, ve kterém se nachází na začátku, před přečtením prvního znaku zadání a jeden nebo více znaků koncových. Pokud se po přečtení posledního znaku zadání automat nachází v koncovém stavu, skončil výpočet úspěchem a automat akceptoval zadání. V opačném případě automat vstupní informaci neakceptoval.

5 Vstupní abeceda Aby bylo vůbec možné automat vytvořit, musí být dopředu známé, jaké znaky se mohou vyskytovat na vstupu. Množinu znaků, které lze pro zadání automatu použít, nazýváme vstupní abeceda.

6 Konečný automat Strojem – automatem nemusí být jen nějaká černá skříňka. Příkladem automatu je například i Rubikova kostka. Vstupní abecedu tvoří všechny možné tahy, které lze s Rubikovou kostkou provést. Stavy automatu jsou všechny pozice, které lze na Rubikově kostce získat. Jedna pozice tvoří výchozí stav. Koncové stavy tvoří složená kostka. Posloupnost tahů je automatem „Rubikova kostka“ akceptována, pokud po jejím provedení je Rubikova kostka složena.

7 Konečný automat Automat Rubikova kostka má ohromné (ale konečné) množství stavů, ve kterých se může nacházet. Podívejme se na automat, který bude mít pouze tři stavy (0,1,2). Vstupní abecedu budou tvořit všechny číslice. Výchozí stav bude stav 0. Automat po přečtení číslice přejde do stavu, který odpovídá zbytku po dělení třemi součtu stavu, ve kterém se automat nacházel a přečtené číslice.

8 Kolik znaků má vstupní abeceda? 10 0

9 Popis automatu tabulkou 0123456789 00120120120 11201201201 22012012012

10 Popis grafem

11 Co automat dělá? Nyní se zamysleme nad tím, co vlastně uvedený automat dělá. Navržený automat čte čísla a v každém kroku se nachází ve stavu, který odpovídá zbytku přečteného čísla po dělení třemi. Pokud jako koncový stav zvolíme 0, tak číslo je automatem akceptováno právě tehdy, když je dělitelné třemi.

12 Co vrátí automat pro vaše rodné číslo? 0123456789 00123456789 110012345678 29 01234567 389 0123456 4789 012345 56789 01234 656789 0123 7456789 012 83456789 01 923456789 0 123456789

13 Co vyšlo? 0000

14 Rodné číslo 7301273254 0123456789 00123456789 110012345678 29 01234567 389 0123456 4789 012345 56789 01234 656789 0123 7456789 012 83456789 01 923456789 0 123456789

15 Redukovaný konečný automat 0123456789 00123401234 10123401234 20123401234 30123401234 40123401234

16 Dělitelnost kolika ověřoval? 5 00

17 Redukce automatu Tento automat je však zbytečně komplikovaný. O dělitelnosti pěti rozhoduje pouze poslední číslice. Nemusíme tedy používat pět stavů, ale stačí nám pouze dva:

18 Redukce automatu Postup, při kterém je konstruován ekvivalentní automat s nižším počtem stavů, se nazývá redukce. Automat, který má nejmenší možný počet stavů, se nazývá redukovaný. V redukovaném konečném automatu je možné dosáhnout všech stavů. Odstraněním stavů, kterých automat nemůže nikdy nabýt, dostáváme vždy ekvivalentní automat.

19 Kolik stavů musí mít redukovaný konečný automat ověřující dělitelnost 15? 6060

20 Formální definice konečného automatu Formálně je konečný automat definován jako uspořádaná pětice, kde: S je konečná množina stavů (např. {Ano,Ne}) Σ je konečná množina vstupních symbolů, nazývaná abeceda (např. { 0,1,2,3,4,5,6,7,8,9}). σ je tzv. přechodová funkce (též přechodová tabulka), popisující pravidla přechodů mezi stavy. Může má podobu S × Σ → S. s je počáteční stav, s je prvek S (V předchozím příkladu Ano). A je množina přijímajících stavů, A je podmnožina S (V předchozím příkladu Ano).

21 Sestrojte konečný automat ověřující dělitelnost 6 0123456789 00123450123 14501234501 22345012345 30123450123 44501234501 52345012345

22 Sestrojte konečný automat ověřující dělitelnost 7 0123456789 00123456012 13456012345 26012345601 32345601234 45601234560 51234560123 64560123456


Stáhnout ppt "Automaty a gramatiky Automaty Jak již název napovídá, teorie automatů se zabývá studiem automatů. Nejjednodušší automat si můžeme představit jako stroj,"

Podobné prezentace


Reklamy Google