Классификация грамматик по Хомскому осуществляется по структуре их правил вывода. Выделяется четыре типа грамматик

Тип 0. Грамматика называется грамматикой типа 0, если на ее правила вывода не наложено никаких ограничений, кроме тех, которые указаны в определении грамматики.

Тип 1. Грамматика называется контекстно-зависимой грамматикой (КЗ-грамматикой), если каждое правило вывода из множества Р имеет вид a ® b, где a Î (V_T È V_N)⁺, b Î (V_T È V_N)^* и | a | £ | b |.

Тип 2. Грамматика называется контекстно-свободной грамматикой (КС-грамматикой), если ее правила вывода имеют вид: , где и