Programação e controle de automatos