|
|
Redukce nedeterministických konečných automatů
Procházka, Lukáš ; Kořenek, Jan (oponent) ; Kaštil, Jan (vedoucí práce)
Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny.
|
|
|
Hledání regulárních výrazů s využitím technologie FPGA
Kubiš, Juraj ; Fukač, Tomáš (oponent) ; Matoušek, Denis (vedoucí práce)
Bakalárska práca sa zaoberá možnosťami hardvérovej akcelerácie vyhľadávania regulárnych výrazov. Obsahom práce je analýza už existujúcich hardvérových architektúr a zhodnotenie ich pozitívnych a negatívnych vlastností. Na základe týchto poznatkov je navrhnutá architektúra. Tá je založená na deterministických konečných automatoch s implicitnými prechodmi (D2FA), je implementovaná v jazyku VHDL a je vykonaná jej syntéza. Výsledky syntézy sú analyzované za účelom zistenia celkovej priepustnosti architektúry. Je navrhnuté programové vybavenie na prevod regulárnych výrazov do podoby D2FA a na optimalizovanie tohoto automatu s cieľom minimalizovania pamäťových nárokov. Implementácia je overená a je zhodnotený prínos jednotlivých optimalizačných techník na redukciu pamäťových nárokov.
|
|
|
Vizualization of Automata Algorithms
Kuchyňka, Jiří ; Češka, Milan (oponent) ; Holík, Lukáš (vedoucí práce)
The goal of this thesis is to design and implement a generic system to visualize algorithms that operate over automata. The resulting system completely separates the part that is dedicated to generating data for visualization and the part that is dedicated to visualizing it. The system only specifies their communication interface. This thesis focuses on integrating such system into existing libraries in a way to minimize the requirements on the programmer to start visualizing the state of their algorithm. The thesis also briefly discusses the possibilities of using such a system to visualize the state of an algorithm while stepping through the program during debugging. The proposed system can be used for teaching, research, and practical applications in automata theory. In the future, the system could be extended with tools to visualize Turing machines and algorithms operating on them.
|
|
|
Hledání regulárních výrazů s využitím technologie FPGA
Kubiš, Juraj ; Fukač, Tomáš (oponent) ; Matoušek, Denis (vedoucí práce)
Bakalárska práca sa zaoberá možnosťami hardvérovej akcelerácie vyhľadávania regulárnych výrazov. Obsahom práce je analýza už existujúcich hardvérových architektúr a zhodnotenie ich pozitívnych a negatívnych vlastností. Na základe týchto poznatkov je navrhnutá architektúra. Tá je založená na deterministických konečných automatoch s implicitnými prechodmi (D2FA), je implementovaná v jazyku VHDL a je vykonaná jej syntéza. Výsledky syntézy sú analyzované za účelom zistenia celkovej priepustnosti architektúry. Je navrhnuté programové vybavenie na prevod regulárnych výrazov do podoby D2FA a na optimalizovanie tohoto automatu s cieľom minimalizovania pamäťových nárokov. Implementácia je overená a je zhodnotený prínos jednotlivých optimalizačných techník na redukciu pamäťových nárokov.
|
|
|
Redukce nedeterministických konečných automatů
Procházka, Lukáš ; Kořenek, Jan (oponent) ; Kaštil, Jan (vedoucí práce)
Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny.
|
host ::
RSS.