Now showing items 1-7 of 7

  • 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, ...
  • Klasifikace a využití jazyků, gramatik a automatů 

    Řičánek, Michal
    Předmětem této bakalářské práce je klasifikace gramatik, jazyků a automatů a jejich možnosti využití v praxi. V první části se pojednává o teoretických východiscích zpracovávané problematiky. Ve druhé je postup vedoucí k ...
  • Modifikované zásobníkové automaty 

    Hromádka, David
    Tato práce zavádí omezené Hromádkovy automaty jako rozšíření zásobníkových automatů. Toto rozšíření spočívá v~tom, že automat může za běhu vytvářet nové zásobníky, vkládat do nich symboly vstupní abecedy, spojovat je a ...
  • Strojové učení pro odvozování modelů formálních jazyků 

    Bardonek, Petr
    Tato bakalářská práce se zabývá odvozováním modelů formálních jazyků. Jedná se o vědní disciplínu na poli výzkumu umělé inteligence. Cílem je vytvořit aplikaci umožňující automatické vytvoření modelu, v podobě konečného ...
  • 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 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ý ...
  • Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje 

    Syrový, Ondřej
    Tato práce se zabývá návrhem a implementací aplikace pro demonstraci činnosti konečných automatů, zásobníkových automatů a Turingova stroje. Teoretická část práce se zabývá teorií formálních jazyků, gramatik a automatů. ...