|
|
Filtrace varování překladačů
Krajčovičová, Mária ; Horáček, Petr (oponent) ; Zemek, Petr (vedoucí práce)
Cílem bakalářské práce bylo navržení a vytvoření programu, který fi ltruje varování bez zásahu do zdrojového kódu. Práce se zabíva překladači GCC, Clang, Javac a GHC, jejich funkčností a varováními, které tyto překladače produkují. Výsledkem práce je aplikace, která je schopna filtrovat varování pro uvedené překladače.
|
|
|
Hluboké zásobníkové automaty konečného indexu
Poncová, Vendula ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje několik modifikací hlubokých zásobníkových automatů s ohledem na redukci počtu stavů nebo nevstupních symbolů. Je ukázáno, že síla hlubokých zásobníkových automatů konečného indexu není ovlivněna omezením nevstupních symbolů na jeden, tudíž tyto automaty charakterizují nekonečnou hierarchii jazykových rodin vycházejících z programových gramatik konečného indexu. Na základě principu tohoto automatu je stanovena normální forma hlubokých zásobníkových automatů. Nakonec zavádím zobecněný hluboký zásobníkový automat, který expanduje nejvrchnější možný nevstupní symbol na zásobníku. Tento automat spolu s jeho zredukovanými formami je ekvivalentní se stavovými gramatikami.
|
|
|
Modifikované hluboké zásobníkové automaty
Škvařilová, Radka ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje dvě nové modifikace hlubokých zásobníkových automatů - bezestavové hluboké zásobníkové automaty a paralelní bezestavové hluboké zásobníkové automaty.V teoretické části jsou zavedeny formální definice a také je zde zkoumána síla těchto automatů. V pratické části je ukázána na jednoduchém příkladu implementace těchto automatů.
|
|
|
Překladač jazyka matematických funkcí
Junek, Lukáš ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
V mém projektu se zabýváme interpretací jazyka matematických funkcí. Vytvořili jsme všechny potřebné části interpretu, které se účastní zpracování a následné realizace zdrojového kódu. Stěžejním bodem práce je implementace výpočetních operací s maticemi pomocí instrukcí SSE. K tomuto účelu bylo využito rozhraní od firmy Intel. Ta ve speciálním hlavičkovém souboru definovala funkce odpovídající jednotlivým instrukcím. Funkce však kromě samotného výpočtu vykonávají i podpůrné operace, čímž odstraní některé nepříjemné vlastnosti asembleru.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
In this work, a new systems of formal models, called state-synchronized automata systems of degree n , were introduced and studied. The computation in presented automata systems is controlled by words from finite control language, where every word from control language is a sequence of states. Furthermore were studied the computational power of these systems. The practical use of introduced systems was demonstrated on example of natural language translation and on example of parallel compiling.
|
|
|
Aplikace pro zobrazení struktury konečného automatu
Polcer, Ondřej ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Cílem práce je aplikace, která převádí textovou podobu konečného automatu na tzv. "stavový diagram", který je obecně pro vyjádření vzájemných vazeb názornější, než textová forma. Nejprve se strojová podoba konečného automatu určité syntaxe převede do objektové podoby a doplní se o další udaje. Následuje algoritmizace hledání vhodných umístění pro jednotlivé stavy, aby struktura jejich přechodu byla přehledná a srozumitelná s ohledem na komplexnost zadaného konečného automatu. Aplikace vytvoří sadu ekvivalentních zobrazení v různé formě a dodá vhodné informace pro snadnou interpretaci výsledku.
|
|
|
Podpora práce s formuláři ve webovém prohlížeči
Čekan, Ondřej ; Horáček, Petr (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá tvorbou doplňku do vybraného webového prohlížeče, který má uživateli usnadnit práci s webovými formuláři. Dokument popisuje způsoby automatického vyplňování údajů do formulářů a principy jejich uložení. Dále se zabývá nástroji vhodnými pro psaní SMS zpráv jako textová komprimace, odstranění diakritiky, kontrola pravopisu. V práci se také pojednává o vyplňování často se opakujících údajů ve formulářích. V závěru dokumentu jsou zmíněny výsledky práce s možnými rozšiřujícími návrhy do budoucna.
|
|
|
Gramatiky s rozptýleným kontextem a jejich aplikace v analýze přirozených jazyků
Kajan, Dušan ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Obsahem práce je vytvoření metody, která by umožnila automatizované zpracování přirozeného jazyka s využitím gramatik s rozptýleným kontextem. Toho je dosaženo zavedením upravené metody syntaktické analýzy shora dolů, přičemž součástí práce je i implementace algoritmu v jazyce Python. K tomu je využita knihovna NLTK, která slouží k získávání větných členů z anglických vět. Výsledný program je modulární a je schopen zpracovat libovolnou gramatiku v korektním formátu.
|
|
|
Editor kaligrafie s rozpoznáváním japonských znaků
Horáček, Petr ; Žák, Pavel (oponent) ; Švub, Miroslav (vedoucí práce)
Práce řeší problematiku vytvoření aplikace pro podporu výuky japonských znaků. Její součástí je i stručný přehled vývoje a podob japonského písma. Diskutuje některá existující řešení a na základě jejich studia stanovuje požadavky na aplikaci. Rozebírá problémy, které je třeba v souvislosti s nimi řešit, a snaží se navrhnout možné postupy. Důležitou částí je rozpoznávání znaků. Následně práce popisuje zvolená řešení a jejich implementaci. Na závěr shrnuje a demonstruje dosažené výsledky a diskutuje možnosti dalšího vývoje systému.
|
|
| |
host ::
RSS.