def Pumping-Lemma für reguläre Sprache
def ind(R)ind(R)ind(R) :=
def E(q) :=
def NEA akzeptiert ein Wort
def EA akzeptiert ein Wort sr
def Verallgemeintertes Pumping-Lemma für reguläre Sprache
def Operationen auf Sprachen
def zwei EA, heißen äquivalent sr
def EA heißt endlich, da sr
def Funktion f:A→Bf:A \rightarrow Bf:A→B ist
def Lässt sich www als w=u⋅v⋅xw = u \cdot v \cdot xw=u⋅v⋅x schreiben, wobei u,v,xu, v, xu,v,x beliebige Wörter sind, dann heißt:
def p∈p \in p∈ δˉ\bar{\delta}δˉ(q,a)(q,a)(q,a) heißt
def - definition
def formale Sprache LLL