A continuación se considera uno muy simple que incluye respuestas discretas y deterministas.
Este modelo se basa en la idea de que cada estado del sistema se puede describir mediante una función de estado discreta, y que la transición entre estados se puede modelar mediante una función de transición determinista.