Верификация синтаксического анализатора
Синтаксический анализ входного текста является частью функциональности любого транслятора. Парсером мы называем булевскую функцию, заданную на множестве последовательностей токенов и принимающую значение «истина», если последовательность является предложением данного формального языка, и «ложь» - в противном случае.
Задачу верификации парсера можно разделить на следующие подзадачи:
- Проверка того, что парсер принимает предложения, принадлежащие целевому языку.
- Проверка того, что парсер отвергает предложения, не принадлежащие целевому языку.
