Now showing items 1-20 of 89

  • Analýza a převod kódů do vyššího programovacího jazyka 

    Křoustek, Jakub
    Práce popisuje metody a postupy používané k analýze a transformaci kódů. Obsahuje základní informace o vědním oboru reverzní inženýrství a jeho užití ve výpočetní technice i mimo ni. Hlavním cílem je vytvoření obecného ...
  • Aplikace hlubokých zásobníkových automatů v kompilátorech 

    Viktorin, Jiří
    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 ...
  • Aplikace teorie formálních jazyků v oblasti počítačové bezpečnosti 

    Regéciová, Dominika
    Počítačová bezpečnost je a vždy bude kritickou oblastí, která ovlivňuje každého z nás. Přes veškeré úsilí vynaložené na tvorbu bezpečnějších systémů a jejich testování se však stále objevují nové chyby a zranitelnosti ...
  • Automatové systémy 

    Kaščák, Andrej
    Táto bakalárska práca sa zaoberá automatovými systémami, konkrétne definuje stavovo a pravidlovo kontrolované paralelné typy automatových systémov, ktorých komponentmi sú konečné automaty, na základe rozboru a skúmania ...
  • Automaty s ohraničeným počtem čistých zásobníků 

    Soukup, Ondřej
    Zásobníkové automaty s omezeným počtem čistých zásobníků jsou specializací čistých zásobníkových automatů. Jejich síla je zkoumána především z pohledu kombinatoriky na slovech. V jazyku definovaném automatem je zaveden ...
  • A Combination of Automata and Grammars 

    Kučera, Jiří
    V této práci byly zavedeny a studovány nové systémy formálních modelů, zvané stavově synchronizované automatové systémy stupně n . Výpočet je v těchto prezentovaných systémech řízen pomocí slov patřících do konečného ...
  • Čá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 ...
  • Deep Pushdown Automata and Their Restricted Versions 

    Charvát, Lucie
    Pro přirozené číslo n, n-expandovatelné hluboké zasobníkové automaty vždy obsahují maximálně n výskytů nevstupních symbolů v jejich zásobníku v průběhu jakékoli kompilace. Jako hlavní výsledek, tato práce demonstruje, že ...
  • Dvoudimensionální konečné automaty a jejich aplikace 

    Hladík, Zdeněk
    Tato práce představuje teorii dvoudimensionálních jazyků a automatů v porovnání s klasickými jazyky a automaty. Této teorie je využito k vytvoření speciálního automatu, který umožňuje analýzu tabulek obsahujících pravidla. ...
  • Formální systémy automatů a gramatik 

    Čermák, Martin
    Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou ...
  • Gramatické systémy a syntaktická analýza na nich založená 

    Hrstka, Jan
    Tato práce poskytuje ucelený přehled poznatků z oblasti gramatických systémů. Zaměřuje se především na systémy orientované sekvenčně. Cílem práce je obohatit syntaktickouanalýzu o přístupy na těchto systémech založené. ...
  • Gramatické systémy a syntaktická analýza založený na nich 

    Handlíř, Jaroslav
    Tato práce se věnuje problematice gramatických systémů. Definuje jak kooperující distribuované CD gramatické systémy, tak i paralelně komunikující PC gramatické systémy ve spojení s bezkontextovými gramatikami. Dále zkoumá ...
  • Gramatické systémy a syntaxí řízený překlad založený na nich 

    Handlíř, Jaroslav
    Práce zkoumá teorii formálních jazyků v oblasti bezkontextových gramatik. Zaměřuje se především na možnosti a modely spolupráce více gramatik při řešení společného problému. V těchto souvislostech představuje gramatické ...
  • Gramatické systémy aplikované v syntaktické analýze 

    Martiško, Jakub
    Tato práce se zabývá předevąím různými variantami gramatických systémů. Gramatické systémy kombinují relativní jednoduchost bezkontextových gramatik s generativní silou komplexnějąích gramatik. V rámci práce jsou popsány ...
  • Gramatiky s omezenými derivačními stromy 

    Koutný, Jiří
    V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. ...
  • Gramatiky s rozptýleným kontextem a jejich aplikace v analýze přirozených jazyků 

    Kajan, Dušan
    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ů, ...
  • Grammar-Based Translation Framework 

    Vít, Radek
    V této práci prozkoumáváme existující algoritmy pro přijímání jazyků definovaných bezkontextovými gramatikami. Na základě těchto znalostí navrhujeme nový model pro reprezentaci LR automatů a s jeho pomocí definujeme nový ...
  • Hluboké zásobníkové automaty konečného indexu 

    Poncová, Vendula
    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 ...
  • 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, ...
  • Jednostranné gramatiky s nahodilým kontextem 

    Zemek, Petr
    Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a ...