Sprache Deterministischer endlicher Automat

Definition:

Alle Wörter, die von dem deterministischen endlichen Automaten akzeptiert werden, sind Teil seiner Sprache [ L(M) ]. Ein Wort ist Teil der Sprache, wenn der deterministische endliche Automat durch eine Eingabefolge in seinen Endzustand gelangt.

Abkürzung = L(M)