Ієрархія мов Хомського — це класифікаційна система, яка класифікує формальні граматики на основі їх генеративної сили. Його запропонував Ноам Хомський, відомий лінгвіст і комп’ютерний вчений, у 1950-х роках. Ієрархія складається з чотирьох рівнів, кожен з яких представляє окремий клас формальних мов. Ці рівні відомі як Тип-3 (Звичайний), Тип-2