section_heading: Definicije
paragraph_text: Za početak definiramo neke osnovne koncepte univerzalne za sve klase automata: <center><math>\delta:Q \times \Sigma \rightarrow Q.</math></center> <center><math>\hat\delta:Q \times \Sigma^{\star} \rightarrow Q.</math></center> Uzimajući u obzir ove definicije, možemo sad reći da jezik <math>L</math> kojeg prihvaća deterministički konačni automat <math>M=\langle Q, \Sigma, \delta, q_0, F\rangle</math> je: <center><math>L= \{ w \in \Sigma^{\star}|\hat\delta(q_0,w)\in F\}</math></center> Tj. skup svih riječi w nad abecedom <math>\Sigma</math>, koje dane kao ulaz automata M će ga natjerati da se zaustavi u nekom od stanja iz skupa F.