Národní úložiště šedé literatury Nalezeno 8 záznamů.  Hledání trvalo 0.01 vteřin. 
Systems of Sequential Grammars Applied to Parsing
Repík, Tomáš ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zkoumá Gramatické systémy jako potenciálně silnější nástroj pro syntaktickou analýzu, nežli obyčejné gramatiky. Hlavním záměrem je aplikace teoretických modelů do praxe, vytvoření syntaktického analyzátoru. Jsou zavedeny nové metody zaměřené na determinizmus, a tím vyhnutí se zpětnému navracení při analýze. Základem analyzátoru je CD gramatický systém. Implementace využívá metodu prediktivní syntaktické analýzy, překlad řízený tabulkou a také rekurzi. Analyzátor je univerzální, použitelný pro jakékoliv LL-Gramatiky a jakékoliv gramatické systémy na nich založené.
Simulátor zásobníkového automatu
Graizely, Martin ; Blatný, Petr (oponent) ; Bidlo, Radek (vedoucí práce)
Vizualizácia často napomáha pochopeniu problému a umožňuje jeho rýchle osvojenie. Táto práca je zameraná na implementáciu simulátora zásobníkového automatu. Účelom tejto aplikácie je uľahčiť pochopenie tohto abstraktného stroja a jeho možností, poskytnutím vizuálneho návrhu a umožnením interaktívnej animácie algoritmu.
Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje
Syrový, Ondřej ; Láník, Aleš (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá návrhem a implementací aplikace pro demonstraci činnosti konečných automatů, zásobníkových automatů a Turingova stroje. Teoretická část práce se zabývá teorií formálních jazyků, gramatik a automatů. Vytvořený program umožňuje načítání deterministických i nedeterministických variant automatů ze souboru, jejich grafickou reprezentaci pomocí stavového diagramu, krokování výpočtu a znázornění možných přechodů.
Právněfilozofické aspekty svobodné vůle
Kutílek, Lukáš ; Maršálek, Pavel (vedoucí práce) ; Tryzna, Jan (oponent)
Tato práce si klade za cíl nalézt odpověď na otázku, zda jsou společenské normativní systémy, konkrétně právo a morálka, v souladu s nejnovějšími poznatky z oblasti přírodních věd a filozofie. Ty totiž stále častěji dochází k závěru, že lidská vůle není svobodná a proces rozhodování je jen fyziologický proces mozku, který je řízen fyzikálními zákony. Takové závěry pak na první pohled kolidují zejména s institutem odpovědnosti, prostřednictvím kterého dochází k realizaci práva a morálky. Práce proto nejdříve shrnuje dosavadní stav poznaní týkajícího se svobody vůle a představuje zejména směry determinizmu a indeterminizmu. Závěrem první části práce, nazvané Svobodná vůle a determinizmus, je představen takový obraz fungování světa, který nejlépe vyhovuje současnému stavu přírodních věd a je dále označován jako fyzikalizmus. Druhá část, Právo, morálka, fyzikalizmus, krátce představuje právo a morálku jako regulátory lidského chování, pro které je svobodná vůle fundamentální. Pozornost práce je následně věnována těm institutům trestního a občanského práva, které se konceptem fyzikalizmu zdají být nejvíce dotčeny. V závěru je však konstatována obecná slučitelnost fyzikalizmu se zkoumanými normativními koncepty, jejichž místo v rámci fyzikalistického výkladu světa je nalézáno na jiné úrovni, než kde panují...
Simulátor zásobníkového automatu
Graizely, Martin ; Blatný, Petr (oponent) ; Bidlo, Radek (vedoucí práce)
Vizualizácia často napomáha pochopeniu problému a umožňuje jeho rýchle osvojenie. Táto práca je zameraná na implementáciu simulátora zásobníkového automatu. Účelom tejto aplikácie je uľahčiť pochopenie tohto abstraktného stroja a jeho možností, poskytnutím vizuálneho návrhu a umožnením interaktívnej animácie algoritmu.
Právněfilozofické aspekty svobodné vůle
Kutílek, Lukáš ; Maršálek, Pavel (vedoucí práce) ; Tryzna, Jan (oponent)
Tato práce si klade za cíl nalézt odpověď na otázku, zda jsou společenské normativní systémy, konkrétně právo a morálka, v souladu s nejnovějšími poznatky z oblasti přírodních věd a filozofie. Ty totiž stále častěji dochází k závěru, že lidská vůle není svobodná a proces rozhodování je jen fyziologický proces mozku, který je řízen fyzikálními zákony. Takové závěry pak na první pohled kolidují zejména s institutem odpovědnosti, prostřednictvím kterého dochází k realizaci práva a morálky. Práce proto nejdříve shrnuje dosavadní stav poznaní týkajícího se svobody vůle a představuje zejména směry determinizmu a indeterminizmu. Závěrem první části práce, nazvané Svobodná vůle a determinizmus, je představen takový obraz fungování světa, který nejlépe vyhovuje současnému stavu přírodních věd a je dále označován jako fyzikalizmus. Druhá část, Právo, morálka, fyzikalizmus, krátce představuje právo a morálku jako regulátory lidského chování, pro které je svobodná vůle fundamentální. Pozornost práce je následně věnována těm institutům trestního a občanského práva, které se konceptem fyzikalizmu zdají být nejvíce dotčeny. V závěru je však konstatována obecná slučitelnost fyzikalizmu se zkoumanými normativními koncepty, jejichž místo v rámci fyzikalistického výkladu světa je nalézáno na jiné úrovni, než kde panují...
Systems of Sequential Grammars Applied to Parsing
Repík, Tomáš ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zkoumá Gramatické systémy jako potenciálně silnější nástroj pro syntaktickou analýzu, nežli obyčejné gramatiky. Hlavním záměrem je aplikace teoretických modelů do praxe, vytvoření syntaktického analyzátoru. Jsou zavedeny nové metody zaměřené na determinizmus, a tím vyhnutí se zpětnému navracení při analýze. Základem analyzátoru je CD gramatický systém. Implementace využívá metodu prediktivní syntaktické analýzy, překlad řízený tabulkou a také rekurzi. Analyzátor je univerzální, použitelný pro jakékoliv LL-Gramatiky a jakékoliv gramatické systémy na nich založené.
Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje
Syrový, Ondřej ; Láník, Aleš (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá návrhem a implementací aplikace pro demonstraci činnosti konečných automatů, zásobníkových automatů a Turingova stroje. Teoretická část práce se zabývá teorií formálních jazyků, gramatik a automatů. Vytvořený program umožňuje načítání deterministických i nedeterministických variant automatů ze souboru, jejich grafickou reprezentaci pomocí stavového diagramu, krokování výpočtu a znázornění možných přechodů.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.