Předmět Algebraická teorie automatů (KMA / ALGAU)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMA / ALGAU - Algebraická teorie automatů, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).

Materiál	Typ	Datum	Počet stažení

Obsah

1. Motivace pro zavádění automatů, základní příklady,2. Definice automatů bez výstupu, různé typy automatů, příklady,3. Automaty s výstupem, různé typy, příklady,4. Deterministické a nedeterministické automaty, příklady.5. Homomorfismy automatů, kategorie automatů.6. Možnosti převádění automatů jednoho typu na jiný typ, příklady7.Výstupní (charakteristická) funkce automatu, věty o homomorfismech automatů.8. Konstrukce v kategorii automatů (součiny, faktorové automaty),9. Rozpoznávání podmnožin ve volné pologrupě nad vstupní abecedou, automaty s význačnými stavy,10. Ekvivalence deterministických a nedeterministických automatů,11. Minimalizace automatů z hlediska množiny stavů,12. Automaty a jazyky (základní přehled)

Získané způsobilosti

zná základní dělení automatů a příkladů jejich použitízná základní problematiky týkající se deterministických a nedeterministických automatůzná základní vztahy mezi jednotlivými třídami jazyků a automatů, zná uzávěrové vlastností jednotlivých tříd jazykůzná věty o homomorfismech a základních konstrukcí automatůosvojení znalosti základních algebraických struktur v algebraické teorii automatů a schopnosti jejich konstrukcezná základní problémy spojených s minimalizací automatů, schopnost minimalizovat vybrané třídy automatů

Literatura

Mikolajczak, B. Algebraic and structural automata theory, North- Holland. Amsterdam, 1991. Demlová, M. Algebraická teorie automatů. SNTL Praha, 1990.

Požadavky

Podmínky pro udělení zápočtu:Zpracování dvou semestrálních prací na téma zadané přednášejícím.

Garant

prof. RNDr. Jiří Močkoř, DrSc.

Vyučující

RNDr. Jiří Kupka, Ph.D.prof. RNDr. Jiří Močkoř, DrSc.RNDr. Jiří Kupka, Ph.D.