Formális eszközök az informatikában szeminárium
02/18
2009. február 18.
Déli épület, 2.512
02/18
2009. február 18. -
Déli épület, 2.512
Hunyadvári László: Mintaillesztő automaták és felhasználásuk néhány formális nyelvekre vonatkozó tétel bizonyítására