определение термина «синтаксическая форма»

В книге «Типы и языки программирования» Бенджамин С. Пирс использует концепцию/термин syntactic form (см. Рисунок), однако он не дает явного определения для него. Я пытался найти определение этого термина в Интернете, но ничего не понял.определение термина «синтаксическая форма»

Может ли кто-нибудь указать какую-либо ссылку (книгу), где этот термин определен или дать определение для него?

Является ли предложение, определяемое грамматикой a syntactic form?

В каких других книгах используется термин syntactic form?

syntactic form такое же, как term (определено на странице 24)? Если нет, в чем разница между этими двумя понятиями.

enter image description here

источник

2014-11-12 jhegedus

Вы, вероятно, более здравомыслящие это; язык на самом деле не предназначен, чтобы быть точным. (Грамматика для t, с другой стороны, должна быть точной.) Я даже не знаю, как бы это сказать - я бы сказал, что сказал бы «синтаксическая конструкция» или «синтаксическое правило» -; он означает, что все, что вам нужно знать о языке, можно суммировать в распознавании нескольких паттернов (которые он затем перечисляет).

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

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

источник

2014-11-12 17:32:41 rici

Большое спасибо за комментарий. Эта книга кажется очень точной, поэтому я подумал, что «синтаксическая форма» также является своего рода точным/четко определенным/обычно используемым техническим термином, который я не понимаю. – jhegedus

Кажется, что термин «синтаксическая форма» исходит из теории естественного языка. Он используется, например, в этой статье: http://en.m.wikipedia.org/wiki/Clause – jhegedus

@jhegedus: Это, безусловно, фраза, которая время от времени используется, а часто языковые лингвисты. Но (будучи много лет назад обученным в этой области), я все же утверждаю, что это просто описание, а не математически определенный формализм. Согласно wiktionary, первое принятие «формы» - это «Форма или видимая структура вещи или человека», и я думаю, что это использование здесь: форма или видимая структура узнаваемой синтаксической единицы.Синтаксис может быть формализован: вот что сделал Хомский, но с другой терминологией. – rici

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

Таким образом, синтаксическая форма в этом случае является формами, которые C позволяет принимать символы. Например, на языке, таком как Scheme, вы должны иметь #t и #f для true или false, где в C вы представляете их как true и false. Некоторые языки позволяют использовать 1 и 0 как истинные и ложные. Значения могут сильно различаться в зависимости от языка, который вы используете. Итак, для C вы смотрите на то, как C представляет его функциональность. Конечно, это не просто правда и ложь. Такие вещи, как то, как вы представляете целое число или функцию, также применимы. В основном, как вы представляете что-либо в C, применяется к «синтаксической форме».

источник

2016-03-18 17:01:37 laag

определение термина «синтаксическая форма»

ответ

Смежные вопросы