T9. Sinteza logică si implementarea automatelor cu stari finite