Simulace líných konečných automatů

Abstract

Táto bakalárska práca popisuje matematický model lenivého konečného automatu a implementáciu jednoduchého simulačného programu postaveného na základoch tohoto automatu, ktorý demonštruje možnosti daného modelu. Taktiež sa zaoberá výhodami a nevýhodami oproti ostatným prístupom a implementáciám. Model lenivého konečného automatu poskytuje určité výhody z hladiska uživateľa, ktorý vďaka nemu dostáva do rúk väčšiu voľnosť pri definovaní pravidiel automatu.This bachelor's thesis introduces a formal model of the lazy finite state machine and implementation of application based on this model. The application demonstrates functionality of new model, and pros and cons of this approach. This model has advantage over existing models in easier definitions of transition rules.