Erweiterung $\bar{\delta}$

def $p \in$ $\bar{\delta}$ $(q,a)$ heißt

$p$ von $q$ erreichbar ist mit beliebig vielen $\epsilon$ -Übergängen und genau einem a-Übergang

Erweiterung δˉ\bar{\delta}δˉ