Browsing by Author "Meduna, Alexandr"
Now showing items 1-20 of 105
-
Analýza a převod kódů do vyššího programovacího jazyka
Křoustek, JakubPrá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, JakubPrá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ánTá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á, DominikaPočí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, AndrejTá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, PatrikV 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řejZá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, MiroslavTato 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, LuciePro 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, JanPrá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ěkTato 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č, DominikCieľ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řejTato 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, MartinTyto 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, JanTato 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íř, JaroslavTato 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íř, JaroslavPrá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, JakubTato 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 ...