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

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

Author

Soucha Michal

Supervisor

Mařík Radek Ing., CSc.

About the project

Abstract Thesis

Year

2015

Share