Konstrukce experimentu potvrzující ekvivalenci konečně-stavových automatů

Autor práce
Soucha Michal
České vysoké učení technické v Praze, Fakulta elektrotechnická
Vedoucí práce
Mařík Radek Ing., CSc.