SYSTEM ATLASЗагрузка материала

Иерархия Хомского

Chomsky Hierarchy

Грамматики различаются выразительной силой и вычислительными ограничениями.

Простыми словами

Например, валидатор сначала проверяет простые шаблоны регулярным выражением, а вложенные конструкции - парсером с более мощной грамматикой. Разные классы языков требуют разной вычислительной силы. Поэтому результат задаёт границу для алгоритмов и ожиданий - он помогает отличить задачу, которую можно ускорить, от задачи с фундаментальным ограничением.

Пример от @Vibeclakr

Пример при разработке

Валидатор сначала проверяет простые шаблоны регулярным выражением, а вложенные конструкции - парсером с более мощной грамматикой. Разные классы языков требуют разной вычислительной силы.

Это редакционный пример применения, а не часть определения или доказательство концепции.

Механизм действия

Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на исходные параметры, ограничения модели и измеряемые величины. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.

Пример в работе

Нерабочий подход

Решение принимают без учета механизма «Иерархия Хомского», оценивая только ближайший эффект.

Системный подход

Перед изменением проверяют, как «Иерархия Хомского» влияет на ограничения, стимулы, зависимости и вторичные последствия.

Ограничения

«Иерархия Хомского» объясняет только часть происходящего в области «Теория вычислений». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.

Источник

Noam Chomsky, “Three models for the description of language”, 1956.

Первоисточник