Por eso, en autómata deterministico no debe existir transición posible con lectura de símbolo si puede hacerse sin ella, ni al contrario.