automat, konačni

automat, konačni (engl. finite automaton; njem. endlicher Automat; rus. конечный автомат), model diskretnoga matematičkoga sustava. Opisuje se s pet komponenata: konačnim skupom mogućih stanja automata, konačnim skupom ulaznih znakova, konačnim skupom izlaznih znakova, funkcijom koja određuje prijelaz iz stanja u stanje i izlaznom funkcijom koja određuje niz izlaznih znakova. Uz dano početno stanje automat će čitati niz ulaznih znakova i izračunavati sljedeće stanje i sljedeći izlazni znak. Konačnim automatima moguće je opisati djelovanje mnogih tehničkih sustava, a posebice su prikladni za modeliranje ponašanja dijelova računalnih i komunikacijskih sustava, te pri leksičkoj analizi gotovo svih viših programskih jezika. → jezik, viši programski