Konstrukce experimentu potvrzující ekvivalenci konečně-stavových automatů
Autor práce
Soucha Michal
Vedúci práce
Mařík Radek Ing., CSc.