Синтаксичне визначення - Велика Енциклопедія Нафти та Газа, стаття, сторінка 1
Синтаксичне визначення
Синтаксичні визначення точно встановлюють, які структури мають сенс у цій мові; ці визначення стосуються правильної побудови слів, виразів та операторів. Семантичні пояснення свідчать, який сенс вкладається у різні структури. Граматичні форми стосуються правильних взаємозв'язків між різними конструкціями, особливо операторами. [1]
Синтаксичні визначення можна сильно вкоротити, використовуючи спеціальну мета-металінгвістичну символіку. [2]
Синтаксичне визначення умовного оператора допускає лише з одного оператору як до символу інакше, і поело пего - одне із цих операторів і вибирається до виконання залежно від виконання умови. Однак у ряді випадків для виконання потрібно вибрати досить змістовний етап вичіс-депкй, який може складатися з кількох операторів. [3]
Синтаксичне визначення поняття опису масивів тут не даватимемо, а розглянемо опис масивів на ряді прикладів. [4]
З синтаксичного визначення тіла процедури слід також, що може оформлятися як коду. Поняття коду в мові Алгол не визначається. Його синтаксис та семантика задаються у конкретних вхідних мовах. Введення коду викликане прагненням розширити можливості мови Алгол, оскільки деякі операції та алгоритми цією мовою не реалізуються. До них, наприклад, відносяться операції, що виконуються над частинами машинних слів, та деякі інші. Найчастіше тіла процедур, які здійснюють такі дії, записуються безпосередньо мовою конкретної машини. [5]
Згідно з цим синтаксичним визначенням, міткою оператора може бути будь-який ідентифікатор. Якщо ми хочемо назватиоператор деяким ім'ям (ідентифікатором), то пишемо перед цим оператором даний ідентифікатор і відокремлюємо його від оператора двокрапкою. [6]
Відповідно до цього синтаксичного визначення міткою оператора може бути будь-який ідентифікатор. Якщо треба назвати оператор деяким ім'ям (ідентифікатором), то пишемо перед цим оператором даний ідентифікатор і відокремлюємо його від оператора двокрапкою. Такий оператор називається поміченим. [7]
Однак у фортрані синтаксичні визначення даються в іншому вигляді - просто наводиться вигляд тієї конструкції, яка утворює поняття, що визначається, причому окремі компоненти цієї конструкції, що не є літерами алфавіту, вказуються за допомогою їх умовних позначень. Зате такий спосіб забезпечує кращу наочність визначається структури, що є його перевагою в порівнянні з мовою металінгвістичних формул, який до того ж не був ще відомий до моменту появи фортрану. У подальшому викладі ми не відходитимемо від прийнятого у фортані способу опису синтаксису, тим більше що він є загальноприйнятим у всіх матеріалах, що належать до цієї мови. [8]
Перш ніж давати синтаксичне визначення оператора процедури, розглянемо приклад. [9]
Зауважимо, що, рекурсивно застосовуючи це синтаксичне визначення, ми отримаємо, що змінна як найлівіше свого символу повинна мати букву. [10]
У табл. 2.1 перераховані метасимволи, що використовуються для синтаксичних визначень. [11]
Як видно з приперев і відповідно до синтаксичного визначення, будь-який окремий оператор, укладений в операторні дужки, буде вже складовим оператором, а тим самим і безумовним. Ця обставина дозволяє фактично використовувати в умовних операторах безпосередньо за умовою такожумовні оператори і оператори циклу - для цього достатньо укласти їх в операторні дужки. [12]
Що стосується блоку, то, як видно з його синтаксичного визначення, він тісно пов'язаний із поняттям опису. [13]
У цьому та наступному розділах пояснюються терміни, згадані у цьому синтаксичному визначенні. [14]
Зауважимо, що з розгляді текстової константи ми сутнісно вперше зустрілися із синтаксичним визначенням у фортані, і, очевидно, це визначення дано інакше, ніж у алголе. [15]