Biautomaty
Tato bakalářská práce se zabývá tematikou biautomatů. Navazujeme na deterministické biautomaty a zavádíme jejich nedeterministická rozšíření,jejichž nejobecnější varianta rozpoznává lineární jazyky. Nedeterministické biautomaty poté využíváme k důkazům tvrzení o lineárních jazycích, jako je např. pu...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2014
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/103497/prif_b/ |
| LEADER | 05467ctm a22010577a 4500 | ||
|---|---|---|---|
| 001 | MUB01000988063 | ||
| 003 | CZ BrMU | ||
| 005 | 20210912113708.0 | ||
| 008 | 140218s2014 xr ||||| |||||||||||cze d | ||
| STA | |a POSLANO DO SKCR |b 2020-11-04 | ||
| 035 | |a (ISMU-VSKP)251007 | ||
| 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 | ||
| 100 | 1 | |a Komárková, Zuzana |% UČO 103497 |* [absolvent PřírF MU] |4 dis | |
| 242 | 1 | 0 | |a On Biautomata |y eng |
| 245 | 1 | 0 | |a Biautomaty |h [rukopis] / |c Zuzana Komárková |
| 260 | |c 2014 | ||
| 300 | |a 47 l. | ||
| 500 | |a Vedoucí práce: Ondřej Klíma | ||
| 502 | |a Bakalářská práce (Bc.)--Masarykova univerzita, Přírodovědecká fakulta, 2014 | ||
| 520 | 2 | |a Tato bakalářská práce se zabývá tematikou biautomatů. Navazujeme na deterministické biautomaty a zavádíme jejich nedeterministická rozšíření,jejichž nejobecnější varianta rozpoznává lineární jazyky. Nedeterministické biautomaty poté využíváme k důkazům tvrzení o lineárních jazycích, jako je např. pumping lemma pro lineární jazyky nebo tvrzení o uzavřenosti a neuzavřenosti lineárních jazyků na mnohé operace. Nakonec srovnáváme biautomaty s jinými již zavedenými modely a dokazujeme, že nelze algoritmicky rozhodnout, zda nedeterministický biautomat rozpoznává regulární jazyk. |% cze | |
| 520 | 2 | 9 | |a In this thesis we study biautomata. We extend deterministic biautomata with nondeterminism in several ways. The most general variant then recognizes linear languages. Further, we use non-deterministic biautomata to prove results on linear languages such as the pumping lemma and closure properties of linear languages. Finally, we compare biautomata to existing models and prove that the problem whether a non-deterministic biautomaton recognizes a regular language is undecidable. |9 eng |
| 650 | 0 | 7 | |a konečný automat |7 ph210246 |2 czenas |
| 650 | 0 | 7 | |a regulární jazyky |7 ph237421 |2 czenas |
| 650 | 0 | 9 | |a finite automaton |2 eczenas |
| 650 | 0 | 9 | |a regular languages |2 eczenas |
| 655 | 7 | |a bakalářské práce |7 fd132403 |2 czenas | |
| 655 | 9 | |a bachelor's theses |2 eczenas | |
| 658 | |a Matematika |b Obecná matematika |c PřF B-MA OM (OM) |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/103497/prif_b/ |
| CAT | |c 20140218 |l MUB01 |h 0420 | ||
| CAT | |a RACLAVSKA |b 02 |c 20140224 |l MUB01 |h 1150 | ||
| CAT | |a RACLAVSKA |b 02 |c 20140417 |l MUB01 |h 1433 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0741 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0744 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0751 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0754 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0743 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0746 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0749 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0755 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0758 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0805 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0810 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0817 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0826 | ||
| CAT | |c 20140911 |l MUB01 |h 1613 | ||
| CAT | |c 20140912 |l MUB01 |h 1107 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0852 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0856 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0915 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0928 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0938 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0943 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0946 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0959 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0756 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0803 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0831 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0842 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0849 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0853 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0904 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0907 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0911 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1120 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1131 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1135 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1138 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1345 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1345 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1349 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1352 | ||
| CAT | |c 20150901 |l MUB01 |h 1451 | ||
| CAT | |c 20150921 |l MUB01 |h 1412 | ||
| CAT | |a BATCH |b 00 |c 20151226 |l MUB01 |h 0446 | ||
| CAT | |c 20161008 |l MUB01 |h 2240 | ||
| CAT | |c 20201104 |l MUB01 |h 1010 | ||
| CAT | |c 20210614 |l MUB01 |h 1008 | ||
| CAT | |c 20210614 |l MUB01 |h 1956 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1227 | ||
| CAT | |a NEMCOVAX |b 02 |c 20210912 |l MUB01 |h 1137 | ||
| CAT | |a POSPEL |b 02 |c 20240220 |l MUB01 |h 1135 | ||
| LOW | |a POSLANO DO SKCR |b 2020-11-04 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m VYSPR |1 PRIF |a Přírodovědecká fakulta |2 PRVMA |b ÚK volný výběr - M |3 K-M-2014-KOMÁ |5 3145359976 |8 20140224 |f 70 |f Prezenční |q 20180803 |r 20130926 |s dar |
| AVA | |a SCI50 |b PRIF |c ÚK volný výběr - M |d K-M-2014-KOMÁ |e available |t K dispozici |f 1 |g 0 |h N |i 0 |j PRVMA | ||