If all the productions of a grammar are of one of the types we have indicated, or terminating then the grammar is said to be of that type also.
Either a right-linear or a left-linear grammar may also be referred to as a type 3 grammar.
A language L is said to be of type T if there exists a grammar G of type T and L = L(G).
| Previous slide | Next slide | Back to first slide | View graphic version |