Describir: Logic and automata :