Now showing items 1-8 of 8

  • Čá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 ...
  • 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, ...
  • Kanonické derivace programovaných gramatik 

    Zemek, Petr
    V této práci jsou studovány kanonické derivace (se zaměřením na nejlevější derivace) v programovaných gramatikách a rozsah levého omezení. Je ukázáno, že zavedením n-limitovaných derivací v programovaných gramatikách tak, ...
  • Syntaktická analýza založená na automatech s hlubokými zásobníky 

    Pločicová, Dominika
    Jazyk je základným prostriedkom komunikácie. Formálne jazyky poskytujú základ pre komunikáciu človeka s počítačom. Cieľom tejto práce je prispieť práve do tejto oblasti a analyzovať možnosť spracovania kontextových prvkov ...
  • Syntaktická analýza založená na modifikovaných zásobníkových automatech 

    Pluháček, David
    Práce prezentuje nové modely formálních jazyk, m-omezenou stavovou gramatiku a hluboký zásobníkový automat. Uvádí jejich základní definice, vzájemnou ekvivalenci, a charakteristiku jazyků, jež popisují. Následně je představena ...
  • Syntaktická analýza založená na stavových gramatikách 

    Paulík, Miroslav
    Tato práce popisuje vlastnosti stavových gramatik a n-limitovaných stavových gramatik s důrazem na nedeterminismus v analýze takových gramatik. Zejména se zaměřuje na problémy způsobené povolením vymazávacích pravidel a ...
  • 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 ...