Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Подсветка синтаксиса и стиль отступа часто используются для помощи программистам в распознавании элементов исходного кода. Этот код Python использует цветовую подсветку.

В информатике , то синтаксис из компьютерного языка является набором правил , который определяет комбинацию символов, которые считаются правильно структурированы заявлениями или выражения на этом языке. Это применимо как к языкам программирования , где документ представляет исходный код , так и к языкам разметки , где документ представляет данные.

Синтаксис языка определяет его поверхностную форму. [1] Текстовые компьютерные языки основаны на последовательностях символов , тогда как языки визуального программирования основаны на пространственном расположении и связях между символами (которые могут быть текстовыми или графическими). Считается, что документы, которые являются синтаксически недействительными, содержат синтаксическую ошибку . При разработке синтаксиса языка разработчик может начать с написания примеров как законных, так и недопустимых строк , прежде чем пытаться выяснить общие правила из этих примеров. [2]

Таким образом, синтаксис относится к форме кода и контрастирует с семантикой - значением . При обработке компьютерных языков семантическая обработка обычно идет после синтаксической; однако в некоторых случаях семантическая обработка необходима для полного синтаксического анализа, и она выполняется вместе или одновременно . В компиляторе синтаксический анализ включает внешний интерфейс , а семантический анализ включает серверную часть (и среднюю часть, если эта фаза выделена).

Уровни синтаксиса [ править ]

Синтаксис компьютерного языка обычно делится на три уровня:

  • Слова - лексический уровень, определяющий, как символы образуют токены;
  • Фразы - уровень грамматики, узко говоря, определяющий, как токены образуют фразы;
  • Контекст - определение того, на какие объекты или имена переменных ссылаются, допустимы ли типы и т. Д.

Такое разделение обеспечивает модульность, позволяющую описывать и обрабатывать каждый уровень отдельно и часто независимо. Во-первых, лексер превращает линейную последовательность символов в линейную последовательность токенов ; это известно как « лексический анализ » или «лексирование». Во-вторых, синтаксический анализатор превращает линейную последовательность токенов в иерархическое синтаксическое дерево; в узком смысле это называется " синтаксическим анализом ". В-третьих, контекстный анализ разрешает имена и проверяет типы. Такая модульность иногда возможна, но во многих реальных языках более ранний шаг зависит от более позднего шага - например, взлом лексерав C потому, что токенизация зависит от контекста. Даже в этих случаях синтаксический анализ часто рассматривается как приближение к этой идеальной модели.

Сама стадия синтаксического анализа может быть разделена на две части: дерево синтаксического анализа или «конкретное дерево синтаксиса», которое определяется грамматикой, но, как правило, слишком детализировано для практического использования, и абстрактное дерево синтаксиса (AST), которое упрощает это в пригодную для использования форму. Шаги AST и контекстного анализа можно рассматривать как форму семантического анализа, поскольку они добавляют значение и интерпретацию синтаксису, или, альтернативно, как неформальные, ручные реализации синтаксических правил, которые было бы сложно или неудобно описать или реализовать формально.

Уровни обычно соответствуют уровням в иерархии Хомского . Слова находятся на обычном языке , указанном в лексической грамматике , которая является грамматикой типа 3, обычно задаваемой как регулярные выражения . Фразы находятся на бесконтекстном языке (CFL), как правило, на детерминированном контекстно-свободном языке (DCFL), заданном в грамматике структуры фраз , которая представляет собой грамматику типа 2, обычно задаваемую как правила производства в форме Бэкуса – Наура (BNF ). Фразовые грамматики часто задаются в гораздо более ограниченных грамматиках, чем полные контекстно-свободные грамматики , чтобы упростить их синтаксический анализ; в то время какАнализатор LR может анализировать любой DCFL за линейное время, простой анализатор LALR и даже более простой анализатор LL более эффективны, но могут анализировать только грамматики, производственные правила которых ограничены. В принципе, контекстная структура может быть описана контекстно-зависимой грамматикой и автоматически проанализирована с помощью таких средств, как грамматика атрибутов , хотя, как правило, этот шаг выполняется вручную с помощью правил разрешения имен и проверки типов и реализуется с помощью таблицы символов. в котором хранятся имена и типы для каждой области.

Были написаны инструменты, которые автоматически генерируют лексический анализатор из лексической спецификации, написанной на регулярных выражениях, и синтаксический анализатор из грамматики фраз, написанной на BNF: это позволяет использовать декларативное программирование , а не нуждаться в процедурном или функциональном программировании. Ярким примером является пара lex - yacc . Они автоматически создают конкретное синтаксическое дерево; затем автор синтаксического анализатора должен вручную написать код, описывающий, как это преобразовано в абстрактныйсинтаксическое дерево. Контекстный анализ также обычно выполняется вручную. Несмотря на существование этих автоматических инструментов, синтаксический анализ часто реализуется вручную по разным причинам - возможно, структура фразы не является контекстно-зависимой, или альтернативная реализация улучшает производительность или сообщение об ошибках, или позволяет легче изменять грамматику. Парсеры часто пишутся на функциональных языках, таких как Haskell , или на языках сценариев, таких как Python или Perl , или на C или C ++ .

Примеры ошибок [ править ]

Основная статья: Синтаксическая ошибка

В качестве примера (add 1 1)приведем синтаксически допустимую программу на Лиспе (при условии, что функция 'add' существует, иначе разрешение имени не удастся), добавляющая 1 и 1. Однако следующее недопустимо:

(_ 1 1) лексическая ошибка: '_' недействителен(добавить 1 ошибку синтаксического анализа 1: отсутствует закрытие ')'

Обратите внимание, что лексер не может идентифицировать первую ошибку - все, что он знает, это то, что после создания токена LEFT_PAREN, '(' оставшаяся часть программы недействительна, так как ни одно слово не начинается с '_'. Обнаружена вторая ошибка на этапе синтаксического анализа: синтаксический анализатор идентифицировал производственное правило "list" по токену '(' (как единственное совпадение) и, таким образом, может выдать сообщение об ошибке; в целом это может быть неоднозначным .

Ошибки типа и необъявленные ошибки переменных иногда считаются синтаксическими ошибками, когда они обнаруживаются во время компиляции (что обычно имеет место при компиляции строго типизированных языков), хотя вместо этого обычно классифицируют такие типы ошибок как семантические ошибки. [3] [4] [5]

Например, код Python 

'а' + 1

содержит ошибку типа, поскольку добавляет строковый литерал к целочисленному литералу. Ошибки типа такого рода могут быть обнаружены во время компиляции: они могут быть обнаружены во время синтаксического анализа (анализа фраз), если компилятор использует отдельные правила, разрешающие «integerLiteral + integerLiteral», но не «stringLiteral + integerLiteral», хотя более вероятно, что компилятор будет использовать правило синтаксического анализа, которое разрешает все выражения формы «LiteralOrIdentifier + LiteralOrIdentifier», и тогда ошибка будет обнаружена во время контекстного анализа (при проверке типа). В некоторых случаях эта проверка не выполняется компилятором, и эти ошибки обнаруживаются только во время выполнения.

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

а + б

синтаксически действителен на уровне фраз, но правильность типов a и b может быть определена только во время выполнения, поскольку переменные не имеют типов в Python, только значения. В то время как существуют разногласия относительно того, следует ли называть ошибку типа, обнаруженную компилятором, синтаксической ошибкой (а не статической семантической ошибкой), ошибки типа, которые могут быть обнаружены только во время выполнения программы, всегда рассматриваются как семантические, а не синтаксические ошибки.

Определение синтаксиса [ править ]

Дерево синтаксического анализа кода Python со вставкой токенизации

Синтаксис текстовых языков программирования обычно определяется с помощью комбинации регулярных выражений (для лексической структуры) и формы Бэкуса – Наура (для грамматической структуры) для индуктивного определения синтаксических категорий (нетерминалов) и терминальных символов. Синтаксические категории определяются правилами, называемыми продукцией , которые определяют значения, принадлежащие определенной синтаксической категории. [1] Терминальные символы - это конкретные символы или строки символов (например, такие ключевые слова , как define , if , let или void), из которых построены синтаксически допустимые программы.

В языке могут быть разные эквивалентные грамматики, такие как эквивалентные регулярные выражения (на лексических уровнях) или разные правила фраз, которые генерируют один и тот же язык. Использование более широкой категории грамматик, таких как грамматики LR, может позволить использовать более короткие или более простые грамматики по сравнению с более ограниченными категориями, такими как грамматика LL, для которых могут потребоваться более длинные грамматики с большим количеством правил. Различные, но эквивалентные грамматики фраз дают разные деревья синтаксического анализа, хотя основной язык (набор действительных документов) тот же.

Пример: S-выражения Лиспа [ править ]

Ниже приводится простая грамматика, определенная с использованием обозначений регулярных выражений и расширенной формы Бэкуса – Наура . Он описывает синтаксис S-выражений , синтаксис данных языка программирования Lisp , который определяет продукцию для выражения синтаксических категорий , атома , числа , символа и списка :

выражение =  атом |  список атом =  число |  номер символа = [ + - ] ? [ '0' - '9' ] + символ = [ 'A' - 'Z' ] [ 'A' - 'Z''0' - '9' ]. * список = '(' , выражение * , ')'

Эта грамматика определяет следующее:

  • выражение является либо атом или список ;
  • атом является либо число или символ ;
  • номер представляет собой непрерывную последовательность из одной или более десятичных цифр, необязательно предшествует знак плюс или минус;
  • символ является буквой с нуля или более любых символов ( за исключением пробела); и
  • список является согласованной парой скобок, с нулем или более выражений внутри него.

Здесь десятичные цифры, символы верхнего и нижнего регистра и круглые скобки являются терминальными символами.

Ниже приведены примеры правильно сформированных последовательностей лексем в этой грамматике: ' 12345', ' ()', ' (A B C232 (1))'

Сложные грамматики [ править ]

Грамматика, необходимая для определения языка программирования, может быть классифицирована по ее положению в иерархии Хомского . Словосочетание грамматик большинство языков программирования может быть определен с помощью Type-2 грамматики, то есть, они являются контекстно-свободными грамматиками , [6] , хотя общий синтаксис является контекстно-зависимым (из - за объявления переменного и вложенные области), следовательно , Тип - 1. Однако есть исключения, и для некоторых языков грамматика фраз - это тип 0 (полный по Тьюрингу).

В некоторых языках, таких как Perl и Lisp, спецификация (или реализация) языка допускает конструкции, которые выполняются на этапе синтаксического анализа. Кроме того, в этих языках есть конструкции, которые позволяют программисту изменять поведение анализатора. Эта комбинация эффективно стирает различие между синтаксическим анализом и выполнением и делает анализ синтаксиса неразрешимой проблемой для этих языков, а это означает, что фаза синтаксического анализа может не завершиться. Например, в Perl можно выполнять код во время синтаксического анализа с помощью BEGINоператора, а прототипы функций Perl могут изменять синтаксическую интерпретацию и, возможно, даже синтаксическую достоверность оставшегося кода. [7]В просторечии это называется «только Perl может анализировать Perl» (потому что код должен выполняться во время синтаксического анализа и может изменять грамматику) или, что более строго, «даже Perl не может анализировать Perl» (потому что это неразрешимо). Точно так же макросы Lisp, представленные defmacroсинтаксисом, также выполняются во время синтаксического анализа, что означает, что компилятор Lisp должен иметь всю систему времени выполнения Lisp. Напротив, макросы C представляют собой просто замену строк и не требуют выполнения кода. [8] [9]

Синтаксис против семантики [ править ]

Синтаксис языка описывает форму действующей программы, но не предоставляет никакой информации о значении программы или результатах ее выполнения. Значение, данное комбинации символов, обрабатывается семантикой ( формальной или жестко запрограммированной в эталонной реализации ). Не все синтаксически правильные программы семантически правильны. Многие синтаксически правильные программы, тем не менее, плохо сформированы в соответствии с правилами языка; и может (в зависимости от спецификации языка и надежности реализации) привести к ошибке при переводе или выполнении. В некоторых случаях такие программы могут демонстрировать неопределенное поведение.. Даже если программа четко определена в языке, она может иметь значение, не предназначенное для ее написания.

Используя в качестве примера естественный язык , может оказаться невозможным присвоить значение грамматически правильному предложению или предложение может быть ложным:

  • « Бесцветные зеленые идеи яростно спят ». грамматически хорошо сформирован, но не имеет общепринятого значения.
  • «Джон женатый холостяк». грамматически хорошо сформирован, но выражает значение, которое не может быть истинным.

Следующий фрагмент языка C синтаксически верен, но выполняет операцию, которая не определена семантически (поскольку p является нулевым указателем , операции p-> real и p-> im не имеют значения):

 комплексный  * p  =  NULL ;  комплексный  abs_p  =  sqrt  ( p -> real  *  p -> real  +  p -> im  *  p -> im );

В качестве более простого примера:

 int  x ;  printf ( "% d" ,  x );

синтаксически действителен, но не определен семантически, поскольку использует неинициализированную переменную . Несмотря на то, что компиляторы для некоторых языков программирования (например, Java и C #) будут обнаруживать ошибки неинициализированных переменных такого рода, их следует рассматривать как семантические ошибки, а не синтаксические ошибки. [5] [10]

См. Также [ править ]

  • Соглашение об именах (программирование)
  • Сравнение языков программирования (синтаксис)

Чтобы быстро сравнить синтаксис различных языков программирования, взгляните на список «Hello, World!». примеры программ :

  • Синтаксис и семантика пролога
  • Синтаксис Perl
  • Синтаксис и семантика PHP
  • Синтаксис C
  • Синтаксис C ++
  • Синтаксис Java
  • Синтаксис JavaScript
  • Синтаксис и семантика Python
  • Синтаксис Lua
  • Синтаксис Haskell

Ссылки [ править ]

  1. ^ a b Фридман, Дэниел П .; Митчелл Ванд; Кристофер Т. Хейнс (1992). Основы языков программирования (1-е изд.). MIT Press. ISBN 0-262-06145-7.
  2. ^ Смит, Деннис (1999). Разработка поддерживаемого программного обеспечения . Springer Science & Business Media.
  3. ^ Ахо, Альфред V .; Моника С. Лам; Рави Сетхи; Джеффри Д. Ульман (2007). Компиляторы: принципы, методы и инструменты (2-е изд.). Эддисон Уэсли. ISBN 0-321-48681-1.Раздел 4.1.3: Обработка синтаксических ошибок, стр. 194–195.
  4. ^ Louden, Кеннет С. (1997). Построение компилятора: принципы и практика . Брукс / Коул. ISBN 981-243-694-4. Упражнение 1.3, стр.27–28.
  5. ^ a b Семантические ошибки в Java
  6. ^ Майкл Сипсер (1997). Введение в теорию вычислений . PWS Publishing. ISBN 0-534-94728-X. Раздел 2.2: Автоматические отжимания, стр.101–114.
  7. ^ В следующих обсуждениях приведены примеры:
    • Perl и неразрешимость
    • Комментарий LtU, поясняющий, что неразрешимая проблема - это принадлежность к классу Perl-программ.
    • хроматический пример кода Perl, который дает синтаксическую ошибку в зависимости от значения случайной переменной
  8. ^ "Введение в макросы Common Lisp" . Apl.jhu.edu. 1996-02-08. Архивировано из оригинала на 2013-08-06 . Проверено 17 августа 2013 .
  9. ^ "Поваренная книга Common Lisp - макросы и обратные кавычки" . Cl-cookbook.sourceforge.net. 2007-01-16 . Проверено 17 августа 2013 .
  10. ^ Проблема синтаксиса или семантики?

Внешние ссылки [ править ]

  • Различные синтаксические конструкции, используемые в языках программирования.