Now showing items 1-8 of 8

  • Demonstrační program simulace zásobníkových automatů 

    Kuželová, Ludmila
    Tato práce se zabývá zpracováním simulace zásobníkových a rozšířených automatů. Součástí práce je demonstrační program, který umožňuje uživateli zadat nastavení automatu a následně spustit simulaci přijetí vstupního řetězce ...
  • 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é ...
  • Modifikované hluboké zásobníkové automaty 

    Škvařilová, Radka
    Tato práce představuje dvě nové modifikace hlubokých zásobníkových automatů - bezestavové hluboké zásobníkové automaty a paralelní bezestavové hluboké zásobníkové automaty.V teoretické části jsou zavedeny formální definice ...
  • Nástroj pro abstraktní regulární model checking 

    Chalk, Matěj
    Metody formální verifikace mohou poskytnout automatizované ověření korektnosti softwaru (stavěné na matematických základech), což je velmi důležité. Jednou z těchto metod je abstraktní regulární model checking, jenž používá ...
  • Nové struktury a operace v matematické informatice 

    Bureš, Richard
    Cílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace ...
  • Paralelní hluboké zásobníkové automaty 

    Solár, Peter
    Tato práce představuje paralelní hluboké zásobníkové automaty jako paralelní verzi hlubokých zásobníkových automatů. Jsou založeny na pravidlech, podle kterých může automat provést expanzi současně až  n nejvýše položených ...
  • Powers Of Certain Automaton And Createdapproximation Space 

    Staněk, David (Vysoké učení technické v Brně, Fakulta elektrotechniky a komunikačních technologií, 2017)
    This paper focuses on the n-th power of a special case of an automaton A formed by homogeneous product of mentioned automaton A. Moreover, the number of isomorphic embeddings of A into An based on the number of components ...
  • Syntaktická analýza založená na stavových gramatikách 

    Svatý, Lukáš
    V této bakalářské práci je zaveden syntaxí řízený překlad za pomocí stavových gramatik. Teoretická část práce je zaměřená na zavedení teoretických modelů potřebných pro pochopení syntaktické analýzy za pomocí stavových ...