Hüperonüümid:
olek 2(n)
algolek 1(n)

  • Determineeritud lõpliku automaadi puhul on algolek ja see, mis olekus olles mis sisendtähe korral millisesse olekusse liikuda tuleb, üheselt määratud.