Beispiel:

Für L₁ könnte ein deterministischer endlicher Automat wie folgt aussehen:

K	{q0, q1, q2}	Menge von Zuständen
V	{a, b}	Menge von Eingabesymbolen
d	(q0, a) -> (q1)  (q1, a) -> (q2)  (q1, b) -> (q1)	Übergangsfunktion K x V -> K
F	{q2}	Menge der Endzustände
S	{q0}	Menge der Startzustände

Nach der Einleitung zum Thema endliche Automaten ist z ein Endzustand, wenn es kein z' gibt, zu den er übergehen könnte. Wie verhält sich der Automat, wenn z.B. 'baba' eingegeben wird? Definitionsgemäß wird L₁ genau dann akzeptiert, wenn der Automat sich bei Ende der Eingabe eines jeden Satzes der Sprache im Endzustand befindet. Bei der Eingabe von 'baba' verharrt der Automat beim ersten b im Zustand q₀. Es werden dann keine weiteren Zeichen eingelesen. Das Ende der Eingabe wird also nicht erreicht, und die Eingabekette ist laut Definition nicht akzeptiert. Wenn der Automat anschließend trotzdem weiterarbeitete, würde die folgenden Eingabe aba ihn in den Endzustand q₂ übergehen lassen.
 
Und für L₂:

K	{q0, q1, q2}	Menge von Zuständen
V	{a, b}	Menge von Eingabesymbolen
d	(q0, a) -> (q0)  (q0, b) -> (q1)  (q1, a) -> (q1)  (q1, b) -> (q2)  (q2, a) -> (q2)	Übergangsfunktion K x V -> K
F	{q2}	Menge der Endzustände
S	{q0}	Menge der Startzustände