Now showing items 1-14 of 14

  • Analýza a transformace kódů založená na regulovaných gramatikách 

    Arbet, Matúš
    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ý ...
  • Částečně paralelní hluboké zásobníkové automaty 

    Ševčík, Miroslav
    Tato práce zavádí částečně paralelní hluboké zásobníkové automaty jako rozšíření sekvenčních hlubokých zásobníkových automatů. Toto rozšíření spočívá v tom, že oproti sekvenční verzi je automat schopen provést expanzi n ...
  • Hluboký syntaxí řízený překlad 

    Senko, Jozef
    Tato práce volně navazuje na moji bakalářskou práci, která byla věnována syntaktické analýze s použítím hlubokých zásobníkových. V teoretické části je této práce je definováno vše potřebné a základní pro tuto problematiku, ...
  • Mobilní agenti v bezdrátových senzorových sítích 

    Spáčil, Pavel
    Cílem této práce je popsat návrh platformy a implementaci interpretu pro mobilní agenty v bezdrátových senzorových sítích. Čtenář se seznámí jak s teoretickou, tak i praktickou stránkou věci - nabude informace o jednoduchém ...
  • Modifikované zásobníkové automaty 

    Hromádka, David
    Tato práce zavádí omezené Hromádkovy automaty jako rozšíření zásobníkových automatů. Toto rozšíření spočívá v~tom, že automat může za běhu vytvářet nové zásobníky, vkládat do nich symboly vstupní abecedy, spojovat je a ...
  • Nové verze překladových automatů 

    Baláž, Miroslav
    Práca skúma nové verzie prekladových automatov. Skúma existujúcu verziu zásobníkového prevodníku a reguláciu gramatiky. Tieto dva existujúce pojmy spája a v práci je zadefinovaný regulovaný zásobníkový prevodník ako nová ...
  • Nové verze zásobníkových automatů 

    Genčúrová, Ľubica
    Táto diplomová práca sa zaoberá verziami viac-zásobníkových automatov založených na hlbokých zásobníkoch. Zavádza novú modifikáciu Vstupom riadený hlboký viac-zásobníkový automat, ktorý pozostáva z dvoch a viac hlbokých ...
  • Převody mezi CF gramatikami a zásobníkovými automaty 

    Makovský, Benjamin
    Tato práce navrhuje a řeší implementaci transformací bezkontextových gramatik a převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Obsahuje seznámení s modely, které se používají v moderní teorii formálních ...
  • Simulátor zásobníkového automatu 

    Graizely, Martin
    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 ...
  • Syntaktická analýza s použitím hlubokých zásobníkových automatů 

    Senko, Jozef
    Tato práce se zaobírá syntaktickou analýzou s použitím hlubokých zásobníkových automatů. Po teoretické stránce jsou definováný hluboké zásobníkové automaty, veškeré potřebné teoretické pojmy a následně je rozebrána ...
  • Syntaktická analýza založená na multigenerování 

    Kyjovská, Linda
    Práce se zabývá problematikou syntaktické analýzy založené na multigenerování. Cílem je vytvořit program, který zadaný vstupní řetězec transformuje na n- 1 výstupních řetězců. Vstupem programu je uživatelem vytvořený textový ...
  • Syntaxí řízený překlad založený na hlubokých zásobníkových automatech 

    Solár, Peter
    Tato práce představuje zavádí syntaxí řízený překlad založený na použití hlubokých zásobníkových automatů. V teoretické části jde především o zavedení potřebných teoretických modelů. Nejdůležitějším modelem představeným v ...
  • Systémy formálních modelů a jejich aplikace 

    Čermák, Martin
    Tato práce pojednává o automatových systémech jako o novém způsobu zpracování formálních jazyků. V textu jsou zmíněny čtyři modely. První z nich pracuje v sekvenčním módu. V jednom okamžiku počítá jediná komponenta systému. ...
  • Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje 

    Syrový, Ondřej
    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ů. ...