Las máquinas algorítmicas son sistemas digitales con separación entre la parte de control y la parte operativa y expresión de dicho control mediante un grafo de estados. Se proponen las máquinas algorítmicas como ejemplos útiles de diseño digital de complejidad viable, es decir, son sistemas de relativa complejidad pero abordables como ejercicios o trabajos de asignatura (más aún, si su descripción se hace a través de un lenguaje circuital, como puede ser el VHDL).