Что такое предварительный просмотр в синтаксическом анализе?

Упреждающий просмотр — это функция некоторых языков программирования, которая позволяет анализатору просматривать следующий токен или токены во входном потоке и использовать эту информацию для определения структуры программы. Другими словами, просмотр вперед позволяет анализатору видеть, что происходит дальше. next во входном потоке, прежде чем он его фактически проанализирует. Это может быть полезно для устранения двусмысленностей в грамматике, например, когда предложение можно разобрать несколькими способами. либо «Кот гонялся за мышью», либо «Мышка гонялась за котом». Чтобы устранить эту неоднозначность, анализатор может использовать предварительный просмотр, чтобы просмотреть следующий токен и определить, какой синтаксический анализ является правильным. Если следующим токеном является «the», то первый синтаксический анализ является правильным, но если следующий токен «преследуется», то второй синтаксический анализ является правильным.

Lookahead может быть реализован по-разному в зависимости от языка и используемого синтаксического анализатора. Некоторые распространенные методы реализации опережающего просмотра включают в себя:

1. Левая рекурсия: в этом методе анализатор рекурсивно вызывает себя для анализа остальной части входного потока, используя информацию, которую он собирает из текущего токена, чтобы определить, как анализировать следующий токен.
2. Правильная рекурсия. В этом методе анализатор рекурсивно вызывает себя для анализа предыдущего токена, используя информацию, которую он собирает из текущего токена, чтобы определить, как анализировать следующий токен.
3. Прогнозирующий анализ. В этом методе анализатор использует статистическую модель для прогнозирования следующего токена во входном потоке и использует это предсказание для управления своим анализом.
4. Синтаксический анализ CYK. В этом методе анализатор использует таблицу значений для отслеживания возможных деревьев синтаксического анализа для входного потока и использует информацию опережающего анализа, чтобы сократить пространство поиска и найти правильное дерево синтаксического анализа. В целом, предварительный просмотр — это мощная функция, которая может помочь синтаксическим анализаторам справиться с неоднозначностью в задачах обработки естественного языка, но это также может быть дорогостоящим в вычислительном отношении и не всегда может быть необходимым в зависимости от конкретного варианта использования.