Prohlížení Bakalářské práce - 13133 dle autora "Grimová Nela"
-
Kongruence na konečných automatech
Autor: Grimová Nela; Vedoucí práce: Demlová Marie; Oponent práce: Mařík Radek
Cílem této práce je seznámení s kongruencemi na konečných automatech, a to zejména se elementární stavovou kongruencí. Jsou zde popsány algoritmy na konstrukci této kongruence a následně jsou diskutovány jejich výsledky ...