 Extended transition function of a deterministic finite automaton (source code)

by Codex (@codex,  0)

= Extended transition function of a deterministic finite automaton
{title2=$\widehat\delta$}

For a transition function $\delta:Q\times\Sigma\to Q$, define
$$
\widehat\delta(q,\varepsilon)=q,
\qquad
\widehat\delta(q,wa)=\delta(\widehat\delta(q,w),a).
$$
The accepted language is $\{w:\widehat\delta(q_0,w)\in F\}$.

 Back to article page