Národní úložiště šedé literatury Nalezeno 146 záznamů.  začátekpředchozí21 - 30dalšíkonec  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Jednoduchý gramatický korektor pro češtinu do OpenOffice
Ličko, Jozef ; Herout, Adam (oponent) ; Smrž, Pavel (vedoucí práce)
Gramatika prirodzeného jazyka je komplexná a často ju nie je možné priamo, jednoznačne a formálne popísať. Existuje niekoľko prístupov, ako sa pokúsiť pomocou výpočtovej techniky o odhalenie a opravu gramatických chýb. Táto práca sa zaoberá vytvorením jednoduchého gramatického korektora, ktorý funguje na princípe pravidiel. Zameriava sa na neprítomnosť čiarok v súvetiach, v ktorých sa nachádzajú vedľajšie vety vzťažné. Keď takú časť vety korektor úspešne rozpozná, navrhne vhodné riešenie, ako je možné danú vetu opraviť. Aplikácia funguje ako prídavný modul do kancelárskeho balíka OpenOffice.
Klasifikace a využití gramatik, jazyků a automatů
Jancek, Libor ; Novotná, Veronika (oponent) ; Bobalová, Martina (vedoucí práce)
Tato bakalářská práce se zabývá teorií jazyků, gramatik a automatů. Ukázky použití konečných automatů v praxi na názorných příkladech a vytvoření programu, pro firmu Paradise Casino Admiral a.s. . Účelem tohoto programu je vyplnění evidence docházky na základě rozpisu služeb, který musí navrhnout manažerka pro svoje oddělení každý měsíc. Tento program by měl manažerce usnadnit a hlavně urychlit práci, kterou doposud vykonávala ručně.
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ů.
Analýza a transformace kódů založená na regulovaných gramatikách
Arbet, Matúš ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca sa zaoberá analýzou a transformáciou kódu založenej na gramatikách. Práca obsahuje matematický základ operácií použitých v gramatikách a automatoch. Ich definície, sú sprevádzané príkladmi. V závere je popísaný návrh a implementácia aplikácie, so zameraním na oblasť bioinformatiky, založenej na regulovaných gramatikách.
Syntaktická analýza založená na maticových gramatikách
Brindza, Dominik ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato bakalářská práce se zabývá syntaktickou analýzou založenou na maticových gramatikách. V teoretické části nejdříve přináší několik různých pohledů na tento typ řízených gramatik a zkoumá podobnosti s klasickými bezkontextovými gramatikami. Z těchto podobností se poté v praktické části snaží vycházet při návrhu modelu prediktivní syntaktické analýzy pro některé kontextové jazyky, ke kterým můžeme sestrojit odpovídající maticové gramatiky, které je generují. V práci jsou rovněž prezentovány některé experimentální algoritmy a návrh řešení, které by se daly spíše využít při dalším vývoji projektu.
Aplikace hlubokých zásobníkových automatů v kompilátorech
Viktorin, Jiří ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci se zaměřím na aplikaci hlubokých zásobníkových automatů v překladačích, jejich zakomponování do syntaktického analyzátoru a možnost dalšího využití. Díky těmto automatům můžeme provést expanzi v různých hloubkách zásobníku a tím umožňuje používat jiné zápisy příkazů.
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
Procedurálně generované město
Panáček, Petr ; Šolony, Marek (oponent) ; Kajan, Rudolf (vedoucí práce)
Tato práce se zabývá problematikou procedurálně generovaného města. Jsou zde rozebrány jednotlivé kroky vytváření města. Těmito kroky jsou generování silnic, hledání minimálních cyklů uvnitř grafu tvořeného sítí silnic, dělení stavebních pozemků a generování budov. Silnice i budovy jsou generovány pomocí L-systému. Generování probíhá na základě vstupních map, jako jsou výšková mapa, mapa hustoty zalidnění a mapa vodních ploch. Navržené postupy jsou poté použity jako základ pro implementaci aplikace generující město.
Classification of Grammars, Languages and Machines (Basic Types, Use)
Klimešová, Michaela ; Novotný, Jan (oponent) ; Bobalová, Martina (vedoucí práce)
This bachelor's thesis is written as a brief list of fundamental theory on the given topic with extensions of working out methods and solving examples. The thesis is divided into two basic parts. The first part is focused on the essential theoretical pieces of knowledge about languages, grammars and machines. There is a particular explanation of the theory related to formal languages and operations on languages, grammars and their separation, and to finite state machines, together with dividing them into deterministic and nondeterministic ones. The second part is devoted to working out, explanation and calculation of the examples applied to the given topic - from the simple ones to the difficult ones.
Zdokonalení pravděpodobnostních metod pro lámání hesel
Lištiak, Filip ; Polčák, Libor (oponent) ; Hranický, Radek (vedoucí práce)
Táto práca sa zaoberá lámaním hesiel pomocou pravdepodobnostných bezkontextových gramatík, konkrétne nástrojom PCFG Cracker. Cieľom práce je návrh a implementácia zdokonalení tohto nástroja, ktoré zredukujú veľkosť výstupných slovníkov pri zachovaní prijateľnej úspešnosti. Práca taktiež rieši kritické miesta, ktoré spomaľujú celkový beh programu. Ďalším cieľom práce je analýza a implementácia cielených útočných slovníkov, ktoré zvýšia rozsah a úspešnosť vygenerovaných hesiel.

Národní úložiště šedé literatury : Nalezeno 146 záznamů.   začátekpředchozí21 - 30dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.