Así, esta nueva función de transición se define formula_8, permitiendo caracterizar los autómatas de manera más abreviada y sin perder expresividad.