Now showing items 1-7 of 7

  • Demonstrační program konverzí konečných automatů 

    Štorek, Vojtěch
    Cílem praktické části této práce je vytvořit program, který aplikuje teorii konečných automatů v praxi a dělá tak tuto teorii snadější k pochopení. Program umožňuje snadné vytváření konečných automatů, nad nimiž následně ...
  • Implementace obecného zpětného assembleru 

    Přikryl, Zdeněk
    Tato práce popisuje proces vytváření disassembleru pro nově navrhované procesory. Kritériem při vytváření je jeho automatické vygenerování. Instrukční sada pro procesor je modelována pomocí specializovaného jazyka ISAC, ...
  • Knihovna operací nad konečnými automaty 

    Bartůněk, Petr
    Tato práce se zabývá dvěma základními operacemi nad konečnými automaty. Determinizací nedeterministických konečných automatů a minimalizací deterministických konečných automatů. Pro obě tyto operace jsem navrhoval sekvenční ...
  • Model checking nekonečně stavových systémů založený na inferenci jazyků 

    Rozehnal, Pavel
    Regulární model checking je metoda pro verifikaci nekonečně stavových systémů. Je založena na kódování jejich konfigurace jako slov nad konečnou abecedou, množiny konfigurací jako konečného automatu a přechodů jako konečných ...
  • Simulations and Antichains for Efficient Handling of Finite Automata 

    Holík, Lukáš
    Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové ...
  • Systémy formálních modelů a jejich aplikace 

    Čermák, Martin
    Tato práce pojednává o automatových systémech jako o novém způsobu zpracování formálních jazyků. V textu jsou zmíněny čtyři modely. První z nich pracuje v sekvenčním módu. V jednom okamžiku počítá jediná komponenta systému. ...
  • 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ů. ...