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

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

Autor práce

Soucha Michal

Vedúci práce

Mařík Radek Ing., CSc.

O projekte

Ročník

2015

Zdieľať túto prácu