section_heading: Istovjetnost stanja i automata
paragraph_text: Stanje p DKA <math> M = (Q,\Sigma ,\delta ,q_0 ,F)</math> je istovjetno stanju <math>p'</math> DKA <math> M = (Q',\Sigma ,\delta ',q_0 ',F')</math> ako i samo ako DKA M u stanju p prihvaća isti skup nizova kao i DKA <math>M'</math> u stanju <math>p'</math>. Za bilo koji niz w skupa <math>\Sigma *</math> vrijedi <math>\delta (p,w) \in F \wedge \delta '(p'w) \in F'</math> ili <math>\delta (p,w) \notin F \wedge \delta '(p'w) \notin F'</math>.