Reguläre Sprachen

Sprachen, die mit einem endlichen Automaten definiert werden können, werden reguläre Sprachen genannt. Die entsprechende Grammatik läßt sich mit folgendem Verfahren ableiten:

V_T = V (die Menge der Terminal-Symbole der Grammatik entspricht genau der Menge der Symbole des Automaten)

V_N = Z (aus jedem Zustand des Automaten wird je ein Nicht-Terminal-Symbol der Grammatik)

Für jeden Zustand z ∈ E (Endzustand) gibt es eine Produktionsregel:
⟨ z ⟩ ---> ε

Für alle Zustandskombinationen (z_i,z_j) ∈ Z x Z, wird für jedes Symbol v aus V_i,j eine Produktionsregel gebildet:
⟨ z_i ⟩ ---> v ⟨ z_j ⟩

S = ⟨ s ⟩ (das Startsymbol des Automaten wird zum Startsymbol der Grammatik)

	V_T = V (die Menge der Terminal-Symbole der Grammatik entspricht genau der Menge der Symbole des Automaten)
	V_N = Z (aus jedem Zustand des Automaten wird je ein Nicht-Terminal-Symbol der Grammatik)
	Für jeden Zustand z ∈ E (Endzustand) gibt es eine Produktionsregel: ⟨ z ⟩ ---> ε
	Für alle Zustandskombinationen (z_i,z_j) ∈ Z x Z, wird für jedes Symbol v aus V_i,j eine Produktionsregel gebildet: ⟨ z_i ⟩ ---> v ⟨ z_j ⟩
	S = ⟨ s ⟩ (das Startsymbol des Automaten wird zum Startsymbol der Grammatik)