Describir: Syntéza automatov a ich reprezentácie :