Pravidelná gramatika

V informatice pravidelná gramatika je formální gramatika (N, a Sigma;, P, S) takový že celá výroba vládne v P být jednoho z sledování forem:

1. - > kde non-terminál v N a terminál v a Sigma;
2. - > aB kde a B v N a v a Sigma;
3. - > a epsilon; kde v N.

Druhá forma může také být nahrazena s - > Ba.

An příklad pravidelné gramatiky G s N = {S,}, a Sigma; = {, b, c}, P sestává z chápání pravidel

S - > jak

S - > bA

- > A epsilon;

- > CA

a S je začátek symbol. Tato gramatika popíše stejný jazyk jako pravidelný výraz * bc *.

Pravidelné gramatiky popíšou přesně všechny pravidelné jazyky a být v tom ekvivalentu smyslu se konečnými státními automaty a pravidelnými výrazy.

Viz též: Chomsky hierarchie