Prohlížení Bakalářské práce - 13133 dle předmětu "konečné automaty; stavová kongruence; elementární stavová kongruence; faktorový automat; nejmenší kongruence obsahující relaci."
Zobrazují se záznamy 1-1 z 1
-
Kongruence na konečných automatech
; 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 ...