| Meno: | Gajane |
|---|---|
| Priezvisko: | Križanová |
| Názov: | Pumpovacie lemy pre regulárne jazyky |
| Vedúci: | doc. RNDr. Peter Kostolányi, PhD. |
| Rok: | 2026 |
| Kľúčové slová: | regulárne jazyky, pumpovacia lema, bloková pumpovacia lema, Ramseyova veta, Ehrenfeuchtova--Parikhova--Rozenbergova lema |
| Abstrakt: | Práca sa zaoberá porovnaním vybraných variantov pumpovacích lem pre regulárne jazyky z hľadiska použiteľnosti pri dokazovaní neregulárnosti jazykov. Osobitnú pozornosť venujeme Ehrenfeuchtovej--Parikhovej--Rozenbergovej leme, ktorá na rozdiel od klasickej pumpovacej lemy poskytuje nutnú aj postačujúcu podmienku regularity. Jej dôkaz prezentujeme spôsobom prístupným pre študentov bakalárskeho štúdia informatiky. Súčasťou práce je aj vysvetlenie Ramseyovej vety a jej úlohy v tomto dôkaze. |
Súbory bakalárskej práce:
| križanová_bakalárska_práca.pdf |
Súbory prezentácie na obhajobe: