Universale Sprache

Einfache Sprache

Def. Universale Sprache

Die universale Sprache $L_u$ ist die Sprache, die durch die Universelle Turingmaschine erkannt. $L_u$ ist also die Menge von Zeichenketten (Zeichenkette) die Paar aus einer Kodierung einer TM $\langle \mathcal M\rangle$ und einem Eingabewort $w$ sind und für die gilt $\mathcal M$ akzeptiert $w$.