Definīcija: Diskrēto sistēmu matemātiskais modelis, ko definē ar galīgām ieejas, izejas un iekšējo stāvokļu kopām, kā arī ar pārejas un izejas funkcijām, kuru izmaiņas notiek diskrētos laika momentos un kuras nosaka galīgā automāta izejas un iekšējo stāvokli nākošajā momentā atkarībā no tā ieejas un iekšējā stāvokļa dotajā momentā.
LZA TK ITTEA terminu datubāze
ENfinite automaton
LVgalīgais automāts
RUконечный автомат
Definīcija: Diskrēto sistēmu matemātiskais modelis, ko definē ar galīgām ieejas, izejas un iekšējo stāvokļu kopām, kā arī ar pārejas un izejas funkcijām, kuru izmaiņas notiek diskrētos laika momentos un kuras nosaka galīgā automāta izejas un iekšējo stāvokli nākošajā momentā atkarībā no tā ieejas un iekšējā stāvokļa dotajā momentā.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995
ENfinite automaton
LVgalīgs automāts
RUавтомат конечный
Informātika. Īsa krievu-latviešu-angļu ražošanas terminu skaidrojošā vārdnīca. — R., Zvaigzne, 1989