Иерархия языков Хомского — это система классификации, которая классифицирует формальные грамматики на основе их порождающей способности. Он был предложен Ноамом Хомским, известным лингвистом и ученым-компьютерщиком, в 1950-х годах. Иерархия состоит из четырех уровней, каждый из которых представляет отдельный класс формальных языков. Эти уровни известны как Type-3 (обычный), Type-2.