Definition Eine Sprache L ist regulär genau dann, wenn Die Nerode-Rechtskongruenz ≃L einen endlich Index hat.