Now showing items 1-20 of 99

  • 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 ...
  • Analýza a transformace kódů 

    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í prostředku ...
  • 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 ...
  • Automatové systémy 

    Petřík, Patrik
    V této práci jsou definovány paralelní automatové systémy a paralelně komunikující automatové systémy komunikující přechody, které obsahují jako komponenty konečné automaty. Jsou zkoumány jejich vlastnosti vzhledem k jiným ...
  • 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 ...
  • Distribuovaná syntaktická analýza 

    Lipowski, Jan
    Práce prezentuje metodu distribuované syntaktické analýzy založené na vymezovacích symbolech. Je uvedena jejich definice, algoritmus výpočtu a algoritmus jejich analýzy. Na základě této analýzy je představen algoritmus, ...
  • 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í modely distribuovaného výpočtu 

    Soukup, Ondřej
    Tato disertační práce představuje derivační stromy několika různých typů gramatik ve zobecněné Kurodově normální formě; jmenovitě obecné a regulárně řízené gramatiky, gramatiky s rozptýleným kontextem a spolupracující ...
  • 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ů, ...