Simulácia výstupov konečného automatu pomocou jazyka CLIPS bakalárska práca - Kobelovská, Zuzana (2013)