Hierarchie regulárních jazyků
Hlavním cílem práce je přehled hlavních výsledků algebraické teorie regulárních jazyků. Regulární jazyky umíme popsat konečnými pologrupami či monoidmi. Tyto tvoří tzv. pseudovariety (uspořádaných) konečných pologrup a monoidů, které jsou v jednoznačné korespondenci s varietami regulárních jazyků. D...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Slovenština |
| Vydáno: |
2011
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/175388/prif_m/ |
| LEADER | 07018ctm a22013337a 4500 | ||
|---|---|---|---|
| 001 | MUB01000670153 | ||
| 003 | CZ BrMU | ||
| 005 | 20110421142151.0 | ||
| 008 | 110217s2011 xr ||||| |||||||||||slo d | ||
| STA | |a POSLANO DO SKCR |b 2019-11-27 | ||
| 035 | |a (ISMU-VSKP)162713 | ||
| 040 | |a BOD114 |b cze |d BOD004 | ||
| 072 | 7 | |a 519.1/.8 |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování |2 Konspekt |9 13 | |
| 080 | |a 519.766 |2 MRF | ||
| 080 | |a 519.713 |2 MRF | ||
| 080 | |a 519 |2 MRF | ||
| 100 | 1 | |a Svoreňová, Mária |% UČO 175388 |* [absolvent PřírF MU] |4 dis | |
| 242 | 1 | 0 | |a Concatenation hierarchies |y eng |
| 245 | 1 | 0 | |a Hierarchie regulárních jazyků |h [rukopis] / |c Mária Svoreňová |
| 260 | |c 2011 | ||
| 300 | |a 73 l. | ||
| 500 | |a Vedoucí práce: Ondřej Klíma | ||
| 502 | |a Diplomová práce (Mgr.)--Masarykova univerzita, Přírodovědecká fakulta, 2011 | ||
| 520 | 2 | |a Hlavním cílem práce je přehled hlavních výsledků algebraické teorie regulárních jazyků. Regulární jazyky umíme popsat konečnými pologrupami či monoidmi. Tyto tvoří tzv. pseudovariety (uspořádaných) konečných pologrup a monoidů, které jsou v jednoznačné korespondenci s varietami regulárních jazyků. Dalším nástrojem pro popis regulárních jazyků jsou konečné automaty. Definujeme pojem C-variety automatů a uvádíme přímý důkaz Eilenbergovy korespondence mezi úplným svazem C-variet automatů a úplným svazem C-variet regulárních jazyků. V práci se vyskytuje taky vícero příkladů různých hierarchií a podhierarchií regulárních jazyků a navzájem asociovaných C-variet automatů a C-variet jazyků. |% cze | |
| 520 | 2 | 9 | |a The main goal of this thesis is to provide an overview of main results in algebraic theory of regular languages. Every regular language is associated with finite semigroup or monoid. We introduce a notion of pseudovarieties of finite (ordered) semigroups and monoids, which are in one-to-one correspondence with (positive) varieties of regular languages. Regular languages can also be characterized by finite automata. We define C-variety of automata and prove the Eilenberg correspondence between complete lattice of C-varieties of automata and complete lattice of C-varieties of regular languages. We will also show some examples of different concatenation hierarchies and subhierarchies of regular languages as well as few C-varieties of automata and their associated C-varieties of languages. |9 eng |
| 650 | 0 | 7 | |a formální jazyky |7 ph208851 |2 czenas |
| 650 | 0 | 7 | |a regulární jazyky |7 ph237421 |2 czenas |
| 650 | 0 | 7 | |a teorie automatů |7 ph126547 |2 czenas |
| 650 | 0 | 9 | |a automata theory |2 eczenas |
| 650 | 0 | 9 | |a formal languages |2 eczenas |
| 650 | 0 | 9 | |a regular languages |2 eczenas |
| 655 | 7 | |a diplomové práce |7 fd132022 |2 czenas | |
| 655 | 9 | |a master's theses |2 eczenas | |
| 658 | |a Matematika |b Algebra a diskrétní matematika |c PřF N-MA ALG (ALG) |2 CZ-BrMU | ||
| 700 | 1 | |a Klíma, Ondřej, |d 1974- |7 mub2011654719 |% UČO 3868 |4 ths | |
| 710 | 2 | |a Masarykova univerzita. |b Ústav matematiky a statistiky |7 kn20091211007 |4 dgg | |
| 856 | 4 | 1 | |u http://is.muni.cz/th/175388/prif_m/ |
| CAT | |c 20110217 |l MUB01 |h 0428 | ||
| CAT | |a DRIMLOVA |b 02 |c 20110413 |l MUB01 |h 0830 | ||
| CAT | |a JANA |b 02 |c 20110421 |l MUB01 |h 1421 | ||
| CAT | |c 20110627 |l MUB01 |h 1921 | ||
| CAT | |c 20110627 |l MUB01 |h 2330 | ||
| CAT | |a HANAV |b 02 |c 20110907 |l MUB01 |h 0941 | ||
| CAT | |a batch |b 00 |c 20120324 |l MUB01 |h 0146 | ||
| CAT | |a POSPEL |b 02 |c 20120412 |l MUB01 |h 0930 | ||
| CAT | |c 20120610 |l MUB01 |h 2021 | ||
| CAT | |a HANAV |b 02 |c 20120716 |l MUB01 |h 1245 | ||
| CAT | |a HANAV |b 02 |c 20130212 |l MUB01 |h 2149 | ||
| CAT | |a BATCH |b 00 |c 20130304 |l MUB01 |h 1213 | ||
| CAT | |a POSPEL |b 02 |c 20130815 |l MUB01 |h 0752 | ||
| CAT | |a POSPEL |b 02 |c 20130815 |l MUB01 |h 0759 | ||
| CAT | |a POSPEL |b 02 |c 20130822 |l MUB01 |h 1028 | ||
| CAT | |a POSPEL |b 02 |c 20131002 |l MUB01 |h 1453 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0739 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0743 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0750 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0753 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0741 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0745 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0748 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0754 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0758 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0803 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0809 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0816 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0825 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0741 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0845 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0850 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0855 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0912 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0926 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0936 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0941 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0945 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0957 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0749 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0755 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0802 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0830 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0840 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0848 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0851 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0902 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0906 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0909 | ||
| CAT | |a POSPEL |b 02 |c 20141204 |l MUB01 |h 0737 | ||
| CAT | |a POSPEL |b 02 |c 20141216 |l MUB01 |h 0858 | ||
| CAT | |a POSPEL |b 02 |c 20141216 |l MUB01 |h 0901 | ||
| CAT | |a POSPEL |b 02 |c 20141216 |l MUB01 |h 1016 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1115 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1118 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1129 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1133 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1137 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1336 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1340 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1343 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1344 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1347 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1350 | ||
| CAT | |c 20150901 |l MUB01 |h 1446 | ||
| CAT | |c 20150921 |l MUB01 |h 1407 | ||
| CAT | |a BATCH |b 00 |c 20151226 |l MUB01 |h 0146 | ||
| CAT | |c 20161008 |l MUB01 |h 2238 | ||
| CAT | |c 20191127 |l MUB01 |h 1402 | ||
| CAT | |c 20210614 |l MUB01 |h 0952 | ||
| CAT | |c 20210614 |l MUB01 |h 1941 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1203 | ||
| CAT | |a POSPEL |b 02 |c 20240220 |l MUB01 |h 1135 | ||
| LOW | |a POSLANO DO SKCR |b 2019-11-27 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m VYSPR |1 PRIF |a Přírodovědecká fakulta |2 PRSMA |b ÚK sklad - M |3 K-12287 |5 3145351076 |8 20110413 |f 71 |f Prezenční SKLAD |q 20180620 |r 20110413 |s dar |
| AVA | |a SCI50 |b PRIF |c ÚK sklad - M |d K-12287 |e available |t K dispozici |f 1 |g 0 |h N |i 1 |j PRSMA | ||