Prohlížení Bakalářské práce - 18101 dle předmětu "Turingův stroj"
Zobrazují se záznamy 1-2 z 2
-
Cantor, Gödel, Turing a paradox lháře
; Vedoucí práce: Trlifajová Kateřina; Oponent práce: Šolcová Alena
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)Tato bakalářská práce se zabývá vysvětlením jednotlivých problémů, zasazením do souvislostí a rozborem důkazů. Cantorova věta, Gödelova věta a problémem zastavení Turingova stroje jsou tři důležitá negativní tvrzení z ... -
Zpracování POSIX regulárních výrazů
; Vedoucí práce: Guth Ondřej; Oponent práce: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)Rozšířením tradiční syntaxe regulárních výrazů o zpětné reference vznikne mocný prostředek, kterým lze popsat jazyky silnější než regulární. Tato bakalářská práce se zabývá problémem zpracování regulárních výrazů se zpětnými ...