El comportamiento del sistema es una función de (a) la definición del autómata, (b) la entrada y (c) el estado actual.