Definícia 1.: Dvojsmerný deterministický konečný automat je 5-tica
A=(K,S,d,q₀,F),
d:K x (SÈ {¢,$}) -> K x {-1,0,1}

Definícia 2.: Konfigurácia dvojsmerného konečného automatu je dvojica z
K x ¢S^*­ S^*$ È K x ­ ¢S^*$

Definícia 3.: Krok výpočtu dvojsmerného konečného automatu je relácia definovaná takto:
(q, ¢u­ av$) |-- (p, ¢u­ av$) ak d(q,a) = (p,0)
(q, ¢u­ av$) |-- (p, ¢ua­ v$) ak d(q,a) = (p,1)
(q, ¢ua­ bv$) |-- (p, ¢u­ abv$) ak d(q,a) = (p,-1)

Definícia 4.: Jazyk akceptovaný det. kon. dvojsmerným automatom A je
L(A) = {wÎ S^* | (q₀, ¢­ w$) |-^* (q, ¢w­ $) & qÎ F}