Now showing items 1-20 of 105

  • 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 ...
  • Analýza a transformace kódů založená na převodnících 

    Pukančík, Marián
    Táto práca sa zaoberá analýzou a transformáciou kódu založenej na prevodníkoch. Práca definuje všetky potrebné teoretické pojmy týkajúce sa konečných a zásobníkových prevodníkov, a následne sa venuje návrhu a implementácii ...
  • 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. ...
  • Dvoudimensionální konečné automaty a jejich aplikace 

    Švač, Dominik
    Cieľom tejto bakalárskej práce je zadefinovať nový typ dvojrozmerného konečného automatu, ktorý je schopný rozpoznať objekty zo vstupného obrázka. Automat je zameraný na rozpoznávanie dopravných značiek, konkrétne rýchlostné ...
  • 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 ...