.

0 (hodnocen0 x )

(1.5) Půjčeno:6x 

BK

Vyd. 1.

Ostrava : Ostravská univerzita v Ostravě, 2003

99 s. : il.

ISBN 80-7042-859-7 (brož.)

Systém celoživotního vzdělávání Moravskoslezska

Obsahuje tabulky

Bibliografie: s. 102

Informatika - texty studijní

000106416

1. Teoretická informatika a ieií disciplíny 7 // 1.1. Teorie formálních jazyku a automatů 7 // 1.2. Teorie vyčíslitelnosti a složitosti 9 // 1.3. Logika 10 // Z Konečný automat a jazyky rozpoznatelné konečným automatem 11 // 2.1. Intuitivní poj em jazyka a gramatiky 11 // 2.2. Základní pojmy teorie jazyků 13 // 2.3. Konečný automat 15 // L Deterministické a nedeterministické konečné automaty 29 // 3.1. Konstrukce automatů pro zadané jazyky 29 // 3.2. Algoritmus převodu NKA na DKA - stromový algoritmus 32 // 3.3. Vztah jazyků rozpoznatelných NKA a DKA 36 // 3.4. Ekvivalentní automaty 39 // 4. Zobecněné NKA a třída jazyků rozpoznatelných KA 42 // 4.1. Zobecněný nedeterministický automat 42 // 4.2. Převod ZNKA přímo na DKA 45 // 5. Uzávěrové vlastnosti třídy jazyků rozpoznatelných KA 47 // 5.1. Sestrojování automatů pro sjednocení, průnik, doplněk, rozdíl, // zrcadlový obraz 48 // 5.2. Uzávěrové vlastnosti třídy jazyků rozpoznatelných konečnými // automaty 56 // 5.3. Zřetězení, mocnina, iterace, zrcadlový obraz a kvocient 59 // 5.4. Konstrukce používané v důkazech 64 // A Regulární jazyky, výrazy a aplikace 70 // 6.1. Regulární jazyky a výrazy 71 // 6.2. Sestrojení automatu (ZNKA) к regulárnímu výrazu 75 // 6.3. Regulární jazyky a konečné automaty v praxi 79 // 7. Charakterizace regulárních jazyků pomocí pravých kongruencí 81 // 7.1. Pravá kongruence a Nerodova věta 81 // 7.2. Aplikace Nerodovy věty 84 // 8. Algoritmus redukce KA. ekvivalence KA 87 // 8.1. Algoritmus redukce 87 // 8.2. Příklady redukce a normování 93