Cтраница 1
Методы синтаксического анализа основаны на теории формальных грамматик и языков, разрабатываемой математической лингвистикой. [1]
Обобщаются методы синтаксического анализа, использующие прецедентные соотношения. Вводится понятие определяющего символа, устанавливаются соотношения прецедентности между определяющими символами и анализируются некоторые свойства этих соотношений в контекстно-свободных грамматиках. Выделяется новый класс прецедентных, грамматик, в котором прецедентные грамматики Флойда и Вирса-Вебера являются частными случаями. [2]
Заметим, что на рис. 5.29 все методы синтаксического анализа соотнесены подмножествам LR ( k) грамматик или грамматик с ( m, k) ограниченным контекстом, которые относятся к контекстно-чувствительным грамматикам. На первый взгляд это может показаться странным, поскольку при описании способов построения конкретных распознавателей всегда требовалось, чтобы исходная грамматика была контекстно-свободной. [3]
Транзитивное и рефлексивное замыкания играют важную роль в методах синтаксического анализа и компилирования, а также в методах отыскания путей на графах. [4]
В системе CIRCAL-2 ( так же как и в SYSCAP) предусмотрены разветвленные методы синтаксического анализа исходной информации с целью обнаружения, а иногда и исправления ошибок пользователя. [5]
Вспоминая работу над проектом, Бэкус писал, что разработчики поначалу не знали точно, чего они хотят добиться. Они бурно обсуждали структуру языка и методы синтаксического анализа выражений. Результатом этой работы стал замечательный язык программирования, вскоре завоевавший популярность. [6]
Такая организация программы TEIRESIAS является, с одной стороны, ее достоинством, а с другой - недостатком. Используемые в ней методы синтаксического анализа могут быть применены к правилам, относящимся к любой предметной области. А тот факт, что эта программа привносит существенные сложности в процесс общения инженера по знаниям с экспертом, является ее недостатком. Зачастую знания, которыми располагает эксперт, не укладываются в жесткие рамки синтаксических правил, на соблюдении которых настаивает TEIRESIAS. Тем не менее эта программа включает множество новшеств, которые имеет смысл рассмотреть подробнее, что мы и сделаем в следующем разделе. Другие аналогичные программные средства, предназначенные для облегчения процесса извлечения знаний, детально описаны в разделе 10.3 с учетом семантики предметной области. [7]
Программа, воспринимающая синтаксическое или семантическое описание языка программирования и генерирующая компилятор ( С. Синтаксис выражается в Виде ЬН ( В. BNF) или ее производной и должен удовлетворять правилам того метода синтаксического анализа, г который будет использоваться в генерируемом компиляторе. [8]
Но сейчас имеет смысл отложить на время исследование этого механизма и перейти к изучению работы оставшейся части программы. Мы вернемся к синтаксическому анализатору в конце главы, а более подробно методы синтаксического анализа будут рассмотрены в гл. [9]
В то же время я должен извиниться перед преподавателем программирования за это название, так как методы выполнения мыслительных функций человека в этой главе не описываются. В ней излагаются некоторые результаты, достигнутые на машинах в области реализации положений дедуктивных и индуктивных методов. Под индуктивным методом я понимаю эвристическое программирование, ряд частных примеров которого описываются в главе. В нашем стремлении к новому и необычному мы не должны забывать и об относительно обычных методах математической оптимизации, которые я называю дедуктивными. Глава начинается обсуждением вопроса о переводе с языка автоматического программирования; методы синтаксического анализа, которые вводятся при этом, используются ниже. Глава заканчивается тем, что сейчас называют проблемой программирования абстракций и творческой деятельности, но что на самом деле является просто кратким обзором некоторых идей, появившихся в печати и по общепринятому мнению относящихся к этой области исследования. [10]