Now showing items 1-17 of 17

  • Demonstrace vlastností stromových gramatik 

    Kunštátský, Martin
    Stromové gramatiky jsou gramatiky řízené prostřednictvím omezení kladených na jejich derivační stromy. Jedná se o jednoduché a přirozené rozšíření bezkontextových gramatik. Existuje několik typů kontroly derivačního stromu, ...
  • Finite State Grammars and Language Models for Automatic Speech Recognition 

    Beneš, Karel
    Tato práce se zabývá transformací bezkontextových gramatik na váhované konečně stavové převodníky. Je vybrána podmnožina bezkontextových gramatik, kterou lze tranformovat přesně. Je představen test, zda daná gramatika ...
  • 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, ...
  • Interaktivní generátor syntaxe heterogenních datových struktur 

    Kotraš, Martin
    V dnešní době jsou softwarové systémy často skládány z několika komponent předávající si data různými komunikačními kanály. I přes to, že existuje řada standardizovaných formátů kódování dat, vývojáři stále vytváří své ...
  • Lexikální analyzátor pro víceprocesorové počítače 

    Otáhal, Jiří
    Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem ...
  • A New Approach to LL and LR Parsing 

    Martiček, Štefan
    Cílem této práce je vytvořit nový efektivní způsob syntaktické analýzy propojením LL a LR přístupů. Pro demonstrační účely je zhotoven nový programovací jazyk podle vzoru programovacího jazyka PHP. Tento jazyk je rozdělen ...
  • O vymazávacích pravidlech v řízených gramatikách 

    Zemek, Petr
    V této práci je diskutován vliv vymazávacích pravidel na generativní sílu řízených gramatik, což je velký otevřený problém teorie řízeného přepisování. Tato práce studuje možnost odstranění vymazávacích pravidel z těchto ...
  • Paralelní syntaktická analýza 

    Holko, Maroš
    Práca sa zaoberá štúdiom niekoľkých metód syntaktickej analýzy, obzvlášť najmä Cocke-Younger-Kasami algoritmu. Ďalej je navrhnutý spôsob paralelizácie tohto algoritmu a jeho implementácia v jazyku C++. Na dosiahnutie ...
  • Převod gramatik do normálních forem 

    Klapuchová, Mirka
    Práce se zabývá problematikou normálních forem z teorie formálních jazyků. Jsou zde uvedeny základní pojmy z této oblasti, dále různé typy gramatik a především normální formy a algoritmy pro převod gramatik do těchto forem. ...
  • 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 ...
  • 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 gramatikách s nahodilým kontextem 

    Mikita, Martin
    Tato bakalářská práce popisuje gramatiku s nahodilým kontextem a implementaci aplikace, která bude konvertovat gramatiku (respektující LL podmínku) na ekvivalentní bezkontextovou gramatiku (také splňující podmínku LL). ...
  • Syntaktická analýza založená na maticových gramatikách 

    Brindza, Dominik
    Tato bakalářská práce se zabývá syntaktickou analýzou založenou na maticových gramatikách. V teoretické části nejdříve přináší několik různých pohledů na tento typ řízených gramatik a zkoumá podobnosti s klasickými ...
  • 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ý ...
  • Syntaktická analýza založená na programovaných gramatikách 

    Pačes, Jan
    Tato práce se zabývá syntaktickou analýzou na programovaných gramatikách. Modifikuje postupy prediktivní syntaktické analýzy známé pro bezkontextové gramatiky a aplikuje je na gramatiky programované. Studuje síly této ...
  • 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 ...
  • Zobrazovač grafů a vyhodnocovač matematických výrazů 

    Skalický, Ivo
    Práce se zabývá využitím precedenční syntaktické analýzy pro převod matematického výrazu na dynamický objektový model za účelem vyhodnocování a dalšího zpracovávání výrazů. Cílem bylo vytvořit program, který spojuje funkci ...