Опишите структуру иерархии Хомского для формальных языков. Перечислите основные типы грамматик (Тип 0, 1, 2, 3) и соответствующие им типы автоматов (Машина Тьюринга, Линейно ограниченный автомат, Автомат с магазинной памятью, Конечный автомат). Объясните теоретическую значимость этой классификации для компиляторов.