Формална граматика — разлика између измена

Разлика између ових типова јесте у томе што неки типови [[граматика]] имају строжа правила па могу изразити и мање формалне језике. Два важна типа су контексно слободне граматике (тип 2) и регуларне граматике (тип 3). [[Језик|Језици]] који се могу описати оваквим граматикама се зову контексно слободни језици и регуларни језици. Иако нешто мање моћне од граматика без ограничења (тип 0), које могу изразити било који језик који прихвата [[Тјурингова машина]], ова два ограничена типа граматика су најчешће кориштена јер се [[raščlanjivanje|парсер]] за њих може врло успешно имплементирати. На пример, све регуларне језике може препознати [[коначан аутомат|коначни аутомат]], а за корисне подскупове контексно слободних граматика постоје добро познати алгоритми за генерисање учинковитихефикасних [[LL анализатор]]а и [[LR анализатор]]а који препознавају одговарајуће језике које граматика генерише.