Předmět Pologrupy a formální jazyky (M7250)
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 M7250 - Pologrupy a formální jazyky, Přírodovědecká fakulta, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Přednáška seznamuje se dvěma úzce svázanými oblastmi teoretické informatiky a matematiky, s teorií regulárních jazyků a konečných pologrup. Po absolvování kurzu by studenti měli: být seznámeni s moderními metodami teorie regulárních jazyků; rozumět vztahu mezi třídami regulárních jazyků a konečných pologrup; být schopni použít pseudovariety pologrup k popisu vlastností regulárních jazyků; ovládat základní pojmy a techniky strukturní teorie konečných pologrup.
Osnova
1. Rozpoznatelné a racionální množiny: definice, vztahy mezi nimi, uzávěrové vlastnosti.2. Struktura konečných pologrup: Greenovy relace, 0-jednoduché pologrupy, faktorizační lesy.3. Eilenbergova korespondence: pseudovariety, pseudoidentity, příklady.4. Dobrá předuspořádání v teorii formálních jazyků.
Literatura
PIN, J.-E. Varieties of formal languages. New York: Plenum Publishing Corporation, 1986. 138 s. Foundations of Computer Science. ISBN 0-306-42294-8. infoSAKAROVITCH, Jacques. Elements of Automata Theory. Cambridge: Cambridge University Press, 2009. 782 s. ISBN 978-0-521-84425-3. infoHandbook of formal languages. Vol. 1 Word, language, grammar. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer, 1997. xvii, 873. ISBN 3-540-60420-0. infoHOWIE, John M. Fundamentals of semigroup theory. Oxford: The Clarendon Press, 1995. x, 351 s. ISBN 0-19-851194-9. infoGRILLET, Pierre Antoine. Semigroups :an introduction to the structure theory. New York: Marcel Dekker, 1995. ix, 398 s. ISBN 0-8247-9662-4. infoALMEIDA, Jorge. Finite semigroups and universal algebra. Singapore: World Scientific, 1994. 511 s. ISBN 81-02-1895-8. infoDE LUCA, Aldo a Stefano VARRICCHIO. Finiteness and regularity in semigroups and formal languages. Berlin: Springer, 1999. 240 s. EATCS Monographs on Theoretical Computer Science. ISBN 3-540-63771-0. info
Požadavky
Algebra I.Doporučená znalost: Formální jazyky a automaty I, základy univerzální algebry (Algebra II) a teorie metrických prostorů (Matematická analýza II).
Garant
doc. RNDr. Libor Polák, CSc.
Vyučující
doc. Mgr. Michal Kunc, Ph.D.