.

0 (hodnocen0 x )

BK

Praha : SNTL - Nakladatelství technické literatury, 1990

287 s.

ISBN 80-03-00348-2

000003374

ÚVOD 7 // I. ZÁKLADNÍ POJMY // 1.1. Množiny a zobrazení // 1.2. Relace 17 // 1.3. Pologrupy, monoidy a grupy 24 // 1.4. Matematická indukce 39 // II. KONEČNÉ AUTOMATY - ZÁKLADNÍ DEFINICE 46 // ILL Příklady a motivace 4g // 11.2. Základní definice 4g // 11.3. Činnost automatu 55 // 11.4. Izomorfismy, realizace, kongruence // 11.5. Ekvivalence a podobnost automatů 70 // 11.6. Pravá syntaktická kongruence 81 // III. REGULÁRNÍ JAZYKY 88 // III. 1. Nedeterministické automaty 88 // 111.2. Operace s regulárními jazyky 93 // 111.3. Kleeneova věta ]02 // 111.4. Dvousměrné automaty 109 // 111.5. Další typy automatů 115 // IV. TŘÍDY REGULÁRNÍCH JAZYKŮ - SYNTAKTICKÉ MONOIDY 117 // IV. 1. Syntaktická kongruence 117 // IV.2. Vlastnosti syntaktických monoidů 122 // IV.3. Pseudo variety monoidů I27 // IV.4. Variety jazyků I37 // IV.5. Uzavřenost variet jazyků na další operace 142 // IV.6. Aperiodické jazyky 14? // POLOGRUPY AUTOMATŮ 155 // V.l. Pologrupy automatů a pologrupové automaty I55 // V.2. Pologrupy automatů a akceptory // V.3. Synchronizační posloupnosti 164 // VI. ROZKLAD AUTOMATŮ 170 // VI. 1. Paralelní spojení 170 // VI.2. Sériové spojení 17g // VI.3. Množinové systémy a paralelní rozklady 136 // VI.4. Sériové rozklady I93 // VII. SÍTĚ JEDNODUCHÝCH AUTOMATŮ 200 // VII. 1. Sítě automatů 200 // VII.2. Rozklad na permutační a konstantní automaty 212 // VII.3. Grupové automaty 217 // VII.4. Krohnova-Rhodesova věta 224 // VII.5. Výpočetní síla 227 // VIII. ALGORITMY PRO AUTOMATY 231 // VIII.l. Definice počítače RAM 732 // VIH.2. Algoritmy a jazyky přijímané automaty 239 // VIII.3. Redukované automaty 251 // VIH.4. Problém ekvivalence a inkluze 258 // VIII.5. Automatové kongruence 262 // ZÁVĚR 282 // REJSTŘÍK 284 // REJSTŘÍK SYMBOLŮ 288

cnb000053898