Formális eszközök az informatikában szeminárium

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