Este documento presenta los conceptos básicos de las máquinas de estado implementadas con VHDL. Explica que una máquina de estado consta de secciones combinacional y secuencial, y que puede ser de Moore o Mealy dependiendo de si la salida depende solo del estado actual o también de la entrada. Además, describe dos estilos de diseño para máquinas de estado y provee ejemplos como un contador, detector de secuencia y controlador de semáforo.