Синтаксис (программирование)
Синтаксис — сторона языка программирования, которая описывает структуру программ как наборов символов (обычно говорят — безотносительно к содержанию). Синтаксису языка противопоставляется его семантика. Синтаксис языка описывает «чистый» язык, в то же время семантика приписывает значения (действия) различным синтаксическим конструкциям.
Каждый язык программирования имеет синтаксическое описание. Обычно синтаксис языка определяют посредством правил Бэкуса-Наура.
Чаще всего синтаксис проверяется на ранних стадиях компиляции. В интерпретируемых языках программирования проверка синтаксиса производится или в процессе интерпретации (выполнения), или в процессе предварительной компиляции в промежуточный код. Кроме того синтаксис может проверяться непосредственно при редактировании исходных текстов программ при использовании IDE.
Синтаксис записи функции
Синтаксис записи функции — жёсткое правило, которому должна удовлетворять запись кода функции; форма записи функции. Если синтаксис функции будет неверен, компилятор вернет ошибку и программа не будет собрана, пока ошибка не будет исправлена.
К синтаксическим ошибкам записи функции относятся (неправильная сигнатура):
- неверное написание названия функции при её вызове (неверный регистр символов для регистрострогих языков, неверное пространство имен);
- неверное количество аргументов;
- неверный тип переданных аргументов (например, нужно передать строковое значение, а передано числовое);
- неверный тип возвращаемого значения (в частности, неуказанный тип).
- Концепции языков программирования
Wikimedia Foundation . 2010 .
Синтаксис (программирование)
Синтаксис языка программирования — набор правил, описывающий комбинации символов алфавита, считающиеся правильно структурированной программой (документом) или её фрагментом. Синтаксису языка противопоставляется его семантика. Синтаксис языка описывает «чистый» язык, в то же время семантика приписывает значения (действия) различным синтаксическим конструкциям.
Каждый язык программирования имеет синтаксическое описание как часть грамматики. Синтаксис языка можно описать, например, с помощью правил Бэкуса — Наура.
Синтаксис проверяется на ранних стадиях трансляции. В интерпретируемых языках программирования проверка синтаксиса производится или в процессе интерпретации (выполнения), или в процессе предварительной компиляции в промежуточный код. Кроме того, синтаксис может проверяться непосредственно при редактировании исходных текстов программ при использовании IDE.
Связанные понятия
Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов. Примеры языков с динамической типизацией — Smalltalk, Python, Objective-C, Ruby, PHP, Perl, JavaScript, Lisp, xBase, Erlang, Visual Basic.
Стати́ческая типиза́ция — приём, широко используемый в языках программирования, при котором переменная, параметр подпрограммы, возвращаемое значение функции связывается с типом в момент объявления и тип не может быть изменён позже (переменная или параметр будут принимать, а функция — возвращать значения только этого типа). Примеры статически типизированных языков — Ада, С++, C#, D, Java, ML, Паскаль, Nim.
Обобщённое программирование (англ. generic programming) — парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание. В том или ином виде поддерживается разными языками программирования. Возможности обобщённого программирования впервые появились в виде дженериков (обобщённых функций) в 1970-х годах в языках Клу и Ада, затем в виде параметрического полиморфизма в ML и его потомках, а затем во многих объектно-ориентированных.
Интерпретируемый язык программирования — язык программирования, исходный код на котором выполняется методом интерпретации. Классифицируя языки программирования по способу исполнения, к группе интерпретируемых относят языки, в которых операторы программы друг за другом отдельно транслируются и сразу выполняются (интерпретируются) с помощью специальной программы-интерпретатора (что противопоставляется компилируемым языкам, в которых все операторы программы заранее оттранслированы в объектный код.
Императи́вное программи́рование — это парадигма программирования (стиль написания исходного кода компьютерной программы), для которой характерно следующее.
Упоминания в литературе
3. Главное языковое средство – синтаксис, т.к. синтаксическая структура предложения и текста в целом ориентирована на показ логических связей (чаще причинно-следственных) между явлениями, предметами, их свойствами и т.п. Эту функцию выполняют:
Фреге очень необычный мыслитель, поскольку его творческий поиск осуществлялся на стыке философии и математики. Свою главную задачу он видел в том, чтобы подвести под арифметику надежное логическое основание, продемонстрировав возможность определения ее основных понятий и аксиом в терминах чистой логики. Таким образом, Фреге первым выдвинул программу обоснования арифметики путем сведения ее к логике, которая получила название «логицизм». Для выполнения этой программы он создал совершенно новую логику, осуществив первое аксиоматическое построение пропозиционального исчисления и построив теорию квантификации и исчисление предикатов, которые образуют ядро современной математической логики. Эта новая логическая система была сформулирована Фреге на специально разработанном им формально-логическом языке. Задавая интерпретацию этого искусственного языка, Фреге заложил основы логической семантики, однако если в дальнейшем при создании логических языков стали четко отделять их синтаксис (задание словаря исходных символов, формулировка правил образования и преобразования выражений языка и т. п.) от семантики (сопоставление категориям языковых выражений различных типов внеязыковых сущностей), то Фреге выстраивает синтаксис и семантику своей системы одновременно по мере введения новых знаков и выражений. Более того, семантика языка формулируется им с учетом уже имеющейся онтологии внеязыкового мира, для представления которой и создается язык. Однако следует отметить, что Фреге не просто взял стандартную онтологию для арифметики, которая включает теорию чисел и математический анализ, но внес в нее существенные дополнения и изменения, по-новому осмыслив многие математические понятия, прежде всего понятия функции, класса и числа.
Синтаксис представляет систематизированную совокупность словосочетаний и предложений, правил их построения и употребления и одновременно – раздел грамматики, который изучает и описывает эти словосочетания, предложения и правила. Синтаксические нормы можно разделить на 2 группы: синтаксические нормы в простом предложении и синтаксические нормы в сложном предложении.
Л.Блумфильд подразделяет все сложные слова на синтаксические и асинтаксические. К первым относятся слова, в которых порядок следования компонентов совпадает с порядком слов в синтаксических словосочетаниях (a black board), ко вторым – такие сложные слова, в которых компоненты находятся в комбинациях невозможных для синтаксиса данного языка (man-made) [Блумфильд 1986: 249].
Понятие язык в семиотике может обозначаться также словосочетанием «знаковая система». Основные свойства языка, знаковой системы: 1) знаки связаны в ней между собой определенными правилами синтаксиса; 2) новые знаки вводятся в систему не произвольно, а на основе правил; 3) значение знака в системе зависит не только от него самого, но и от его места в системе; 4) система состоит из конечного (хотя и не всегда постоянного) числа элементов (знаков), так что может быть составлено их описание с указанием каждого из них (словарь); 5) осуществим перевод (замена) одной знаковой системы на другую.
Связанные понятия (продолжение)
Из-за путаницы с терминологией словом «оператор» в программировании нередко обозначают операцию (англ. operator), см. Операция (программирование).Инстру́кция или опера́тор (англ. statement) — наименьшая автономная часть языка программирования; команда или набор команд. Программа обычно представляет собой последовательность инструкций.
Ме́тод в объектно-ориентированном программировании — это функция или процедура, принадлежащая какому-то классу или объекту.
Фу́нкция в программировании — фрагмент программного кода (подпрограмма), к которому можно обратиться из другого места программы. В большинстве случаев с функцией связывается идентификатор, но многие языки допускают и безымянные функции. С именем функции неразрывно связан адрес первой инструкции (оператора), входящей в функцию, которой передаётся управление при обращении к функции. После выполнения функции управление возвращается обратно в адрес возврата — точку программы, где данная функция была.
Объектами первого класса (англ. first-class object, first-class entity, first-class citizen) в контексте конкретного языка программирования называются элементы, которые могут быть переданы как параметр, возвращены из функции, присвоены переменной.
Инкапсуляция (англ. encapsulation, от лат. in capsula) — в информатике упаковка данных и функций в единый компонент.
Компилируемый язык программирования — язык программирования, исходный код которого преобразуется компилятором в машинный код и записывается в файл с особым заголовком и/или расширением для последующей идентификации этого файла, как исполняемого операционной системой (в отличие от интерпретируемых языков программирования, чьи программы выполняются программой-интерпретатором).
Переме́нная в императивном программировании — поименованная, либо адресуемая иным способом область памяти, адрес которой можно использовать для осуществления доступа к данным. Данные, находящиеся в переменной (то есть по данному адресу памяти), называются значением этой переменной.
Процеду́рное программи́рование — программирование на императивном языке, при котором последовательно выполняемые операторы можно собрать в подпрограммы, то есть более крупные целостные единицы кода, с помощью механизмов самого языка.
Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель (обычно — ЭВМ) под её управлением.
Низкоуровневый язык программирования (язык программирования низкого уровня) — язык программирования, близкий к программированию непосредственно в машинных кодах используемого реального или виртуального (например, байт-код, Microsoft .NET) процессора. Для обозначения машинных команд обычно применяется мнемоническое обозначение. Это позволяет запоминать команды не в виде последовательности двоичных нулей и единиц, а в виде осмысленных сокращений слов человеческого языка (обычно английских).
Трансля́тор — программа или техническое средство, выполняющее трансляцию программы.
При́месь (англ. mix in) — элемент языка программирования (обычно класс или модуль), реализующий какое-либо чётко выделенное поведение. Используется для уточнения поведения других классов, не предназначен для порождения самостоятельно используемых объектов.
Зарезерви́рованное сло́во (или ключево́е сло́во) — в языках программирования слово, имеющее специальное значение. Идентификаторы с такими именами запрещены.
Байт-код (байтко́д; англ. bytecode, также иногда p-код, p-code от portable code) — стандартное промежуточное представление, в которое может быть переведена компьютерная программа автоматическими средствами. По сравнению с исходным кодом, удобным для создания и чтения человеком, байт-код — это компактное представление программы, уже прошедшей синтаксический и семантический анализ. В нём в явном виде закодированы типы, области видимости и другие конструкции. С технической точки зрения, байт-код представляет.
Примитивный (встроенный, базовый) тип — тип данных, предоставляемый языком программирования как базовая встроенная единица языка.
Объе́кт в программировании — некоторая сущность в цифровом пространстве, обладающая определённым состоянием и поведением, имеющая определенные свойства (атрибуты) и операции над ними (методы). Как правило, при рассмотрении объектов выделяется то, что объекты принадлежат одному или нескольким классам, которые определяют поведение (являются моделью) объекта. Термины «экземпляр класса» и «объект» взаимозаменяемы.
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Замыкание (англ. closure) в программировании — функция первого класса, в теле которой присутствуют ссылки на переменные, объявленные вне тела этой функции в окружающем коде и не являющиеся её параметрами. Говоря другим языком, замыкание — функция, которая ссылается на свободные переменные в своей области видимости.
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Идиома программирования — устойчивый способ выражения некоторой составной конструкции в одном или нескольких языках программирования. Идиома является шаблоном решения задачи, записи алгоритма или структуры данных путём комбинирования встроенных элементов языка.
Среда выполнения (англ. execution environment, иногда «ранта́йм» от англ. runtime — «время выполнения») в информатике — вычислительное окружение, необходимое для выполнения компьютерной программы и доступное во время выполнения компьютерной программы. В среде выполнения, как правило, невозможно изменение исходного текста программы, но может наличествовать доступ к переменным окружения операционной системы, таблицам объектов и модулей разделяемых библиотек.
А́да (Ada) — язык программирования, созданный в 1979—1980 годах в ходе проекта Министерством обороны США с целью разработать единый язык программирования для встроенных систем (то есть систем управления автоматизированными комплексами, функционирующими в реальном времени). Имелись в виду прежде всего бортовые системы управления военными объектами (кораблями, самолётами, танками, ракетами, снарядами и т. п.). Перед разработчиками не стояло задачи создать универсальный язык, поэтому решения, принятые.
Блок (также говорят блок кода, блок команд, блок инструкций) в программировании — это логически сгруппированный набор идущих подряд инструкций в исходном коде программы, является основой парадигмы структурного программирования.
Декларати́вное программи́рование — это парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается, что представляет собой проблема и ожидаемый результат. Противоположностью декларативного является императивное программирование, описывающее на том или ином уровне детализации, как решить задачу и представить результат. В общем и целом, декларативное программирование идёт от человека к машине, тогда как императивное — от машины к человеку. Как следствие, декларативные.
Макрокоманда, макроопределение или мáкрос — программный алгоритм действий, записанный пользователем. Часто макросы применяют для выполнения рутинных действий. А также макрос — это символьное имя в шаблонах, заменяемое при обработке препроцессором на последовательность символов, например: фрагмент html-страницы в веб-шаблонах, или одно слово из словаря синонимов в синонимизаторах.
Объектно-ориентированный язык программирования (ОО-язык) — язык, построенный на принципах объектно-ориентированного программирования.
Абстракция данных — популярная и в общем неверно определяемая техника программирования. Фундаментальная идея состоит в разделении несущественных деталей реализации подпрограммы и характеристик, существенных для корректного её использования. Такое разделение может быть выражено через специальный «интерфейс», сосредотачивающий описание всех возможных применений программы.
Си (англ. C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би. Первоначально был разработан для реализации операционной системы UNIX, но впоследствии был перенесён на множество других платформ. Согласно дизайну языка, его конструкции близко сопоставляются типичным машинным инструкциям, благодаря чему он нашёл применение в проектах, для которых был свойственен язык ассемблера.
Наследование (англ. inheritance) — концепция объектно-ориентированного программирования, согласно которой абстрактный тип данных может наследовать данные и функциональность некоторого существующего типа, способствуя повторному использованию компонентов программного обеспечения.
Мно́жественное насле́дование — свойство, поддерживаемое частью объектно-ориентированных языков программирования, когда класс может иметь более одного суперкласса (непосредственного класса-родителя), интерфейсы поддерживают множественное наследование во многих языках программирования. Эта концепция является расширением «простого (или одиночного) наследования» (англ. single inheritance), при котором класс может наследоваться только от одного суперкласса.
Конста́нта в программировании — способ адресации данных, изменение которых рассматриваемой программой не предполагается или запрещается.
Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка.
Библиотека стандартных шаблонов (STL) (англ. Standard Template Library) — набор согласованных обобщённых алгоритмов, контейнеров, средств доступа к их содержимому и различных вспомогательных функций в C++.
Паска́ль (англ. Pascal) — один из наиболее известных языков программирования, используется для обучения программированию в старших классах и на первых курсах вузов, является основой для ряда других языков.
Ленивые вычисления (англ. lazy evaluation, также отложенные вычисления) — применяемая в некоторых языках программирования стратегия вычисления, согласно которой вычисления следует откладывать до тех пор, пока не понадобится их результат. Ленивые вычисления относятся к нестрогим вычислениям. Усовершенствованная модель ленивых вычислений — оптимистичные вычисления — переходит в разряд недетерминированных стратегий вычисления.
Каламбур типизации является прямым нарушением типобезопасности. Традиционно возможность построить каламбур типизации связывается со слабой типизацией, но и некоторые сильно типизированные языки или их реализации предоставляют такие возможности (как правило, используя в связанных с ними идентификаторах слова unsafe или unchecked). Сторонники типобезопасности утверждают, что «необходимость» каламбуров типизации является мифом.
Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически (на стадии компиляции) или динамически.
Класс — это элемент ПО, описывающий абстрактный тип данных и его частичную или полную реализацию. Другие абстрактные типы данных — метаклассы, интерфейсы, структуры, перечисления, — характеризуются какими-то своими, другими особенностями. Наряду с понятием «объекта» класс является ключевым понятием в ООП (хотя существуют и бесклассовые объектно-ориентированные языки, например, Self, Lua; подробнее смотрите Прототипное программирование). Суть отличия классов от других абстрактных типов данных состоит.
Запись — агрегатный тип данных, инкапсулирующий без сокрытия набор значений различных типов.
По одной из классификаций, языки программирования неформально делятся на сильно и слабо типизированные (англ. strongly and weakly typed), то есть обладающие сильной или слабой системой типов. Эти термины не являются однозначно трактуемыми, и чаще всего используются для указания на достоинства и недостатки конкретного языка. Существуют более конкретные понятия, которые и приводят к называнию тех или иных систем типов «сильными» или «слабыми».
Сопрограммы (англ. coroutines) — методика связи программных модулей друг с другом по принципу кооперативной многозадачности: модуль приостанавливается в определённой точке, сохраняя полное состояние (включая стек вызовов и счётчик команд), и передаёт управление другому. Тот, в свою очередь, выполняет задачу и передаёт управление обратно, сохраняя свои стек и счётчик.
В информатике типобезопасность (англ. type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Метапрограммирование — вид программирования, связанный с созданием программ, которые порождают другие программы как результат своей работы (в частности, на стадии компиляции их исходного кода), либо программ, которые меняют себя во время выполнения (самомодифицирующийся код). Первое позволяет получать программы при меньших затратах времени и усилий на кодирование, чем если бы программист писал их вручную целиком, второе позволяет улучшить свойства кода (размер и быстродействие).
Визуальное программирование — способ создания программы для ЭВМ путём манипулирования графическими объектами вместо написания её текста. Визуальное программирование часто представляют как следующий этап развития текстовых языков программирования. Наглядным примером может служить утилита Визуальный Pascal или Microsoft Visual Studio, где редактируются графические объекты и одновременно отображается соответствующий текст программы. В последнее время визуальному программированию стали уделять больше.
Упоминания в литературе (продолжение)
Мы поддерживаем следующие рассуждения Дж. Люгера: «…понимание естественного языка включает куда больше, чем разбор предложений на индивидуальные части речи и поиск значений слов в словаре. Оно базируется на обширном фоновом знании о предмете беседы и идиомах, используемых в этой области, так же, как и на способности применять общее контекстуальное знание для понимания недомолвок и неясностей, присущих человеческой речи. Задача сбора и организации этого фонового знания, чтобы его можно было применить к осмысливанию языка, составляет значительную проблему в автоматизации понимания естественного языка. Разработано множество методов структурирования семантических значений. Но, из-за огромных объемов знаний, требуемых для понимания естественного языка, большая часть работы ведется в хорошо понимаемых специализированных проблемных областях. Методики представления известных специализированных программ слишком просты, чтобы передать семантическую организацию более богатых и сложных предметных областей. Основная часть текущих работ в этой области направлена на поиск формализмов представления, которые должны быть достаточно общими, чтобы применяться в широком круге приложений и уметь адаптироваться к специфичной структуре заданной области. Множество разнообразных методик, большинство из которых являются развитием или модификацией семантических сетей, исследуются с этой целью и используются при разработке программ, способных понимать естественный язык в ограниченных, но достаточно интересных предметных областях. Есть стохастические модели, описывающие совместное использование слов в языке, которые применяются для характеристики как синтаксиса, так и семантики. Далее следует принципиально важный вывод: полное понимание языка на вычислительной основе все же остается далеко за пределами современных возможностей» [264, стр. 47].
Другого подхода придерживается большинство исследователей, считающих, что синтаксическая омонимия проявляет себя на уровне не только на уровне устной, но и на уровне письменной речи, и поэтому в качестве её обязательного условия выдвигают совпадение морфологического и лексического состава предложения; при этом такие предложения выступают как «одинаковые по структуре и лексическому наполнению, но разнотипные по содержанию синтаксические конструкции» [Золотова, 1973, с.3]. Синтаксическая омонимия выступает на уровне языковых моделей в качестве «своеобразных исключений, вкраплений на общем фоне сетки различий, пронизывающих всю языковую структуру» [Бархударов, 1973, с. 52], а на уровне речи синтаксическая омонимия приобретает качество регулярно встречающихся речевых фактов, каждый из которых требует в теории языка определённой дефиниции с последующей терминологической кодификацией. Синтаксическая омонимия, с точки зрения второго подхода, может пониматься не просто как группа предложений, имеющих более одной совпадающих, частично совпадающих грамматических структур, но и некое тождество, объединение данных предложений, синтаксическая микросистема не только на уровне синтаксиса, но и на уровне морфологии, объединение с помощью морфолого-лексических средств.
Это еще лингвистика. Кстати, первоначально Н.Хомский и не имел в виду переносить свою модель в психолингвистику: еще в 1961 году он считал «ошибочным» убеждение, «что порождающая грамматика, как таковая, есть модель для говорящего или соотнесена с ней каким-то строго определенным образом» (Chomsky, 1961, p.14). Первую попытку внедриться в психолингвистику он сделал в известной книге «Аспекты теории синтаксиса» (1965), где вводится понятие глубинной структуры, определяющей семантическую интерпретацию синтаксической конструкции предложения и соответствующей «ядерной конструкции» первого варианта его теории. По Хомскому, последовательность порождения предложения такова. «База (базовые грамматические отношения – Авт.) порождает глубинные структуры. Глубинная структура подается в семантический компонент и получает семантическую интерпретацию; при помощи трансформационных правил она преобразуется в поверхностную структуру, которой далее дается фонетическая интерпретация при помощи правил фонологического компонента» (Chomsky, 1965, p.141). (Подробнее см. Главу 5, а также (Леонтьев, 1969а, с.78 и сл.)). Дальнейшая эволюция взглядов Н.Хомского на структуру его лингвистической (и психолингвистической: сейчас мы увидим, что это практически одно и то же) модели не была сколько-нибудь принципиальной, тем более что он почти двадцать лет не публиковал серьезных лингвистических или психолингвистических работ и вновь вернулся к этой области только в конце 1980-х гг., выдвинув идею «переключателей» (switches), связанную с его теорией врожденных структур, на которой мы остановимся ниже (Chomsky, 1986).
Другие исследователи, напротив, четко разграничивают абзац и сложное синтаксическое целое (или сверхфразовое единство), относя первое к области композиции письменного текста, а второе к области синтаксиса. Принципиально различает абзац и сложное синтаксическое целое Л. М. Лосева: «Абзац нельзя отнести к синтаксическим категориям. В синтаксической структуре текста никаких других единиц, кроме словосочетаний, сочетаний слов, предложений, сложных синтаксических целях нет». И далее о несовпадении границ абзацев и сверхфразовых единств: «Одна абзацная фраза может комментироваться сочетанием сложных синтаксических целых и, наоборот, одно сложное синтаксическое целое может выделить из своего состава несколько абзацных фраз или заключать в своем составе несколько абзацев».
Цель пособия – расширить языковую компетенцию учащихся; представить достаточно частотный в языке способ характеристики субъекта одиночным причастием; продемонстрировать место и функцию в предложении одиночного причастия, а также причастного оборота. Подобная работа расширит компетенцию учащихся в области синтаксиса и актуального членения как одного из компонентов выражения смысла высказывания в его связи и с пунктуацией, и интонационным построением высказывания.
Формирование разных сторон грамматического строя (синтаксиса, морфологии, словообразования) языка дошкольника имеет свою специфику, и для их развития должны применяться различные педагогические средства (приемы, формы организации). Для освоения морфологии и словообразования важны приемы, стимулирующие языковые игры; для формирования синтаксиса первостепенное значение имеет создание положительной мотивации для развернутых высказываний. Формирование разных сторон грамматического строя языка дошкольника происходит несинхронно, соответственно обучение должно проходить поэтапно. На начальных этапах активизация речевых высказываний носит общий, неспецифический характер, в дальнейшем постановка задач становится все более дифференцированной. На пятом году жизни особое внимание уделяется поощрению словообразования, словотворчества; на шестом году – элементарному анализу структуры предложения, формированию грамматической правильности (в словоизменении); на седьмом году – элементарному осознанию грамматических связей между производными словами, речевому творчеству, произвольному построению сложных синтаксических конструкций.
Что имеется в виду? В «нормальном» одноголосом синтаксисе разностатусно двуреферентная модель предложения (как и идея одновременного наличия двух исходящих от разных голосов предикатов в формально монологической конструкции) в расчет быть принята не может. В обычных координатах она абсурдна. Наличие двух, в том числе и антиномичных предикатов к одному субъекту – вещь обычная (даже в аналитике); обычны и конструкции с двумя синтаксическими субъектами, но – только при условии «онтологической» одноранговости их референтов, поскольку в теоретических рамках одноголосого синтаксиса предложение не может содержать два таких синтаксических субъекта, референты которых находятся в разных онтологических плоскостях. В самом деле, в бахтинском двуголосии речь ведь идет не о конструкциях типа трава и деревья зазеленели, а о конструкциях, в которых постулируется два референта из разных уровней реальности, требующих, если угодно, разных семиотических языков описания, но тем не менее описывающихся одним. См. условную конструкцию такого рода: Трава и приписывание ей зеленого цвета – желты или Трава и приписывание ей зеленого цвета – ошибочны. Даже в диалектическом или в сколь угодно символически изощренном одноголосом синтаксисе такого рода конструкции аномальны. В бахтинском же ДС они считаются не просто возможными, но – единственно возможными: если ЧР не становится дополнительным референтом для второго голоса, двуголосая конструкция не возникает (или разрушается), и два голоса сливаются в один.
При синтаксических построениях чаще используются существительные, чуть реже – глаголы, названия действий. Прилагательные выполняют терминологическую функцию, указывают на различные признаки. Синтаксис в научном стиле зачастую сложный, осложняется дополнительно однородными членами и дополнительными членами предложений.
Второй этап – грамматика информирования с ее «серьезным синтаксисом», по Томаселло. Высказывания на этом этапе предполагают возможность сообщения об отдаленном событии, поэтому вырабатываются средства идентификации объектов и событий, синтаксическое маркирование как кто кому и что сделал и способы выражения мотивов (информировать/спросить). Томаселло предполагает, что первые синтаксические средства, в частности «деятель на первом месте», возникли из «естественных принципов», использование которых связано с когнитивными предрасположенностями (в реальной жизни каузатор (causal source) обычно движется и проявляет активность ранее тех вещей, на которые он воздействует). Эти синтаксические средства далее были конвенционализированы.
4. Устная речь должна быть легко доступной для восприятия, поэтому для нее характерна простота лексики и синтаксиса, допустимы повторы.
Независимо от модели описания следует согласиться с мнением, что невозможно выявить факторы, облегчающие или затрудняющие усвоение иностранного языка, «поскольку каждый индивид обладает свойственными только ему способностями, знаниями и опытом, а также потребностями, в соответствии с которыми одному нужен богатый словарь, правильное произношение и синтаксис, а другому достаточно технических терминов и базовых синтаксических правил, в то время как третий обойдется обиходными фразами» (см.: Bialystok, Hakuta 1994).
Динамический подход к языку лег в основу такого направления в современном языкознании, как дериватология, предметом научного исследования которой стали процессы образования языковых единиц. Понятие производности распространено в рамках дериватологии на такие языковые области, как лексика, синтаксис, семантика. Результатом деривационных процессов (хотя, безусловно, не только их) оказывается и текст, который в то же время является источником всех возможных деривационных инноваций – от лексических до семантических.
Письменная и устная речь различаются не только по способам передачи информации, по содержанию сообщений и их адресации, но и по различному использованию языковых средств. Различия между двумя формами речи проявляются на разных языковых уровнях, но особенно ярко в синтаксисе и лексике. В многочисленных публикациях, посвященных исследованию разговорной речи, это неоднократно обсуждалось.
Синтаксис изучает структуру языка: способы образования, преобразования и связи элементов языке.
«Идиома – это то, с чем мы можем превзойти Хомского» (D. Hays, цит по: [Иорданская, Мельчук 2007: 243]). Шутливое определение, пересказанное И. А. Мельчуком, обозначает теоретическую доминанту исследований идиом в современной лингвистике: именно этот материал довольно плохо описывается в рамках генеративного синтаксиса (ср., впрочем, [Fraser 1970; Machonis: 1985; Tronenko 2003]). С другой стороны, эти явления стали одной из самых изучаемых областей в рамках когнитивной лингвистики. Эта часть посвящена обсуждению более общих, теоретических подходов, которые позволят поставить тему этой книги в более широкий контекст современных когнитивных исследований.
Устная речь нужна человеку для быстроты передачи и восприятия высказывания. Устная форма языка характеризуется тем, что тексты не подлежат редактированию, они малы по объёму и, как правило, сопровождаются экстралингвистическими факторами. В устной речи говорящий использует разговорно-бытовую, просторечную и диалектную лексику, фразеологизмы. Её синтаксис характеризуется частым употреблением простых и неполных предложений; из сложных конструкций чаще используются сложносочинённые предложения.
Все это привело к тому, что на протяжении XVIII века новый общерусский язык активно осваивает наследство церковнославянского языка; основные изменения этого времени – изменения в синтаксисе и лексике. Наследуемое входит в структуру русского языка не простым заимствованием, а в переработке, критическим и творческим усвоением модели на основе имеющихся в самом русском языке средств с аналогичным функциональным содержанием. Например, усвоение многочисленных подчинительных конструкций церковнославянского языка начинается в общерусском языке с отработки условных предложений, которые существовали и в русском языке, но обслуживались иными, чем в церковнославянском языке, союзами и союзными словами. В этом последовательном и весьма продолжительном процессе оттачивались грамматические средства нового языка, многие старые формы становились ненужными и устранялись (особенно дублеты, например условные союзы, которых к XVIII веку накопилось около двадцати). Даже заимствованные из других языков слова (особенно в петровское время) обслуживались не русскими, а церковнославянскими суффиксами, которые к тому времени еще не вошли в словообразовательные потенции самого общерусского языка и воспринимались как столь же чуждые, что и сами заимствованные слова.
Как уже было отмечено вначале, в наши дни социальная и коммуникативная роль просторечия сходит на нет. Поэтому возникает вопрос: заслуживают ли внимания исследователей явления, подобные тем, которых мы коснулись в этой статье? Отвечая на этот вопрос, надо иметь в виду, что при всей коммуникативной ущербности просторечие продолжает выступать как источник, питающий литературный язык новыми средствами выражения. Кроме того, некоторые модели, действующие в просторечной семантике, словообразовании, синтаксисе, со временем могут проникать в разговорную речь носителей литературного языка, активизируя системные языковые потенции и преодолевая сопротивление традиции и нормы. Оценке этих моделей с нормативно-литературной точки зрения (то есть: хороши они или плохи, «пускать» их в литературный оборот или не пускать и т. д.), как кажется, должно предшествовать их объективное изучение, учитывающее как общие тенденции развития русского языка и его подсистем, так и специфику взаимодействия кодифицированных и некодифицированных языковых образований в современных условиях.
2. II раздел. «8–11 классы. Синтаксис и пунктуация» – включает тексты диктантов, подобранные по наиболее важным темам синтаксиса и пунктуации.
♦ IDEF1X (IDEF1 Extended) – стандарт проектирования реляционных структур, основанный на концепции «сущность – связь» (ER – Entity-Relationship), предложенной в 1976 году сотрудником корпорации IBM Питером Ченом. Применяется для разработки реляционных баз данных и использует условный синтаксис, специально разработанный для удобного построения концептуальной схемы и обеспечивающий универсальное представление структуры данных в рамках организации, независимое от конечной реализации базы данных и аппаратной платформы.
Можно убедиться вместе с тем, что метрика строфы Браги составляет одно целое с ее синтаксисом: связность текста почти не нарушается в этой строфе, т. е. в ней еще отсутствуют синтаксические приемы разъединения и переплетения предложений. Браги довольствуется тем, что снабжает каждый хельминг аппозитивными концовками (Danmarkar auka «приращение Дании»; fjоgur haufuð «четыре головы») – своего рода «приращениями», которые как бы воспроизводят средствами стиха то «приращение датских земель», о котором рассказывается в строфе.
что такое синтаксис языка программирования а это набор правил языка
Синтаксис языка программирования — это набор правил, определяющих порядок и структуру написания программного кода. Эти правила определяют, какие конструкции и операции могут быть использованы, какие ключевые слова и символы обозначают определенные действия, и как должны быть организованы блоки кода.
Синтаксис языка программирования является основой для создания правильного и понятного программного кода. Благодаря синтаксису программисты могут написать логически структурированные программы, которые компьютер может понять и выполнить.
В синтаксисе языка программирования существуют различные конструкции и правила. Например, определение переменных, операции сравнения и математические операции, условные выражения и циклы — все это подчиняется определенным правилам синтаксиса. Программист должен знать эти правила и следовать им при написании кода.
Кроме того, каждый язык программирования имеет свой уникальный синтаксис. Например, в одном языке операции могут выполняться в определенном порядке, а в другом — в другом порядке. Это означает, что программист, переходящий с одного языка на другой, должен изучить новый синтаксис и научиться применять его.
Ключевым запросом, связанным с этой статьей, является “что такое синтаксис языка программирования”. Ответ на этот запрос заключается в том, что синтаксис языка программирования — это набор правил, определяющих структуру и порядок написания программного кода. Понимание синтаксиса языка программирования является важным для успешного создания и понимания программ.
Синтаксис и семантика языка программирования
Любой язык, в том числе и язык программирования, подчиняется ряду правил. Их принято разделять на правила, определяющие синтаксис языка, и правила, определяющие его семантику.
Синтаксис языка — совокупность правил, определяющих допустимые конструкции (слова, предложения) языка, его форму.
Семантика языка — совокупность правил, определяющих смысл синтаксически корректных конструкций языка, его содержание.
Языки программирования относятся к группе формальных языков, для которых в отличие от естественных языков однозначно определены синтаксис и семантика. Описание синтаксиса языка включает определение алфавита и правил построения различных конструкций языка из символов алфавита и более простых конструкций. Для этого обычно используют форму Бэку- са-Наура (БНФ) или синтаксические диаграммы. Описание конструкции в БНФ состоит из символов алфавита языка, названий более простых конструкций и двух специальных знаков:
«::=» — читается как «может быть заменено на»,
«|» — читается как «или».
При этом символы алфавита языка, которые часто называют терминальными символами или терминалами, записывают в неизменном виде. Названия конструкций языка (нетерминальные символы или нетерминалы), определяемых через некоторые другие символы, при записи заключают в угловые скобки (« »).
Например, правила построения конструкции , записанные в БНФ, могут выглядеть следующим образом:
Для отображения того, что конструкция может включать неограниченное количество цифр, использовано правило с левосторонней рекурсией. Многократное применение этого правила позволяет построить целое число с любым количеством цифр.
Синтаксические диаграммы отображают правила построения конструкций в более наглядной форме.
На такой диаграмме символы алфавита изображают блоками в овальных рамках, названия конструкций — в прямоугольных, а правила построения конструкций — в виде линий со стрелками на концах. При этом, если линия входит в блок, то в описываемую конструкцию должен входить соответствующий символ. Разветвление линии означает, что при построении конструкции возможны варианты.
На рис. 2.1 представлена синтаксическая диаграмма, иллюстрирующая первые два правила описания конструкции . Из диаграммы видно, что целое число может быть записано со знаком или без и включать произвольное количество цифр.
Для описания синтаксических конструкций своего языка Н. Вирт использовал именно синтаксические диаграммы, поэтому в тех случаях, когда словесное описание синтаксиса конструкции длинно и нечетко, мы будем использовать синтаксические диаграммы.
Алфавит языка программирования Borland Pascal 7.0 включает:
• строчные, прописные буквы латинского алфавита (a..z, A..Z) и знак подчеркивания ( _ ), который также во многих случаях считается буквой; кроме того, существенно то, что строчные и прописные буквы не различаются: а неотличимо от А, b — от В и т. д.;
• специальные знаки, состоящие из одного и двух символов:
< >( ) л @ $ #
• служебные слова (эти сонета-
ния считаются единым целым и их ^————
нельзя использовать в программе в рис. 2.1. Синтаксическая диаграмма
Из символов алфавита в соответствии с правилами синтаксиса строят различные конструкции.
Простейшей из них является конструкция . Эта конструкция используется во многих более сложных конструкциях для обозначения имен программных объектов (полей данных, процедур, функций и т. п.). В Borland Pascal идентификатор представляет собой последовательность букв латинского алфавита (включая символ подчеркивания) и цифр, которая обязательно начинается с буквы, например: аааа, Ы21, Parametr_l, _а и т. п. Синтаксическая диаграмма идентификатора приведена на рис. 2.2. Остальные конструкции будут рассмотрены в последующих разделах.
Семантику языка программирования закладывают в его компилятор. Таким образом, синтаксически корректная программа, написанная на языке программирования, после преобразования ее в последовательность машинных команд обеспечит выполнение компьютером требуемых операций.