Véges automaták 1.

Tartalom

Előszó I.
Jelölések: és alapvető fogainak III.
Bevezetés VIII.
I. RÉSZ: VÉGES DETERMINISZTIKUS AUTOMATÁK EMLMÉLETE (Előadó:Ádám András)
1 Automata-tipusok, automaták és leképezések 1.
1.1. Mealy-féle automata 1.
1.2. Automata leképezések 4.
1.3. Hoore-féle automata 7.
1.4. Kimenőjel nélküli automata 10.
1.5. A S és X függvényei: értelmezésének kiterjesztése 10.
2. Analízis és szintézis 13.
2.1. Két példa a szintézis-problémára 13.
2.2. Pálcsoportok osztályozásai 20.
2.3. Végesen generált szabad félcsoportok osztályozásairól 22.
2.4. Automaták ekvivalenciája és redukálása. Minimális automata 24.
2.5. Kapcsolat a Mealy- és a Moore-féle automaták között 27.
2.6. Véges automaták szintézise és analízise. Reguláris események nyelve 30.
2.6.1. Reguláris események ás reguláris kifejezések 30.
2.6.2. Analízis 35.
2.6.3. Szintézis 42.
.6.4. Kiegészítések és megjegyzések 55.
.7. Autonóm automaták, kombinatorikus automaták 59.
II. RÉSZ: REALIZÁCIÓ (Előadó: Ádám András) 70.
Igazság-függvények és realizálásuk kétpólusú gráfokkal 70.
1. A kétpólusú gráfok szerkezete 73.
1.1. Erősen összefüggő kétpólusú gráfok 73.
1.2. Erősen összefüggő 2-gráfok soros és párhuzamos széttagolása 77.
1.3. Párhuzamos széttagolás 79.
1.4. Soros széttagolás 81.
1.5. Soros-párhuzamos széttagolás 84.
1.6. A 2.-gráfok kanonikus felbontása 88.
2. Igazság-függvények 94.
2.1. Alapvető függvények, azonosságok és formulák 97.
2.2. Diszjunktiv normálforma 104.
2.3. Primimplikánsok és a diszjunktiv normálforma kapcsolata 114.
2.4. Irredundáns diszjunktiv normálforma 119.
2.5. Az igazság-függvények szuperpozíciója és funkcionális teljessége 136.
3. Igazság-függvények realizálása kétpólusú gráfokkal 140.
3.1. Ismétlés nélküli realizáció 144.
3.2. A soros-párhuzamos széttagolás jellemzése 147.
3.3. A kétpólusú részgráfok jellemzése 150.
3.3.4. A felbonthatatlan 2 -gráfok vizsgálata 152.
3.3.5. Az egyértelműségről 156.
3.3.6. Az optimális realizáció problémája 158.
III. RÉSZ: VÉLETLEN AUTOMATÁK (Előadó: Katona Gyula)
4. Sztochasztikus (vagy: véletlen) automaták 160.
4.1. A sztochasztikus automaták és néhány tulajdonságuk 160.
4.2. Sztochasztikus automaták ekvivalenciája és a redukált alak 164.
4.3. A véletlen felismerő automaták 182.
4.4. Szekvenciális függvények és néhány tulajdonságuk 187.
4.5. Véges sztochasztikus automatával előállítható szekvenciális függvények 190.
Irodalomjegyzék 197.

Témakörök