Синтактично определение - Голямата енциклопедия на нефта и газа, статия, страница 1
Синтактично определение
Синтактичните дефиниции уточняват точно кои структури имат смисъл в даден език; тези дефиниции се отнасят до правилната конструкция на думи, изрази и оператори. Семантичните обяснения показват какво значение се влага в различните структури. Граматичните форми се занимават с правилните връзки между различните конструкции, особено между операторите. [1]
Синтактичните дефиниции могат да бъдат значително съкратени с помощта на специална мета-металингвистична символика. [2]
Синтактичната дефиниция на условния оператор позволява само по един оператор, и двата преди символа в противен случай, а след това - един от тези оператори се избира за изпълнение в зависимост от условието. Въпреки това, в редица случаи за изпълнение е необходимо да се избере достатъчно смислен етап на изчисление-откриване, който може да се състои от няколко оператора. [3]
Тук няма да даваме синтактична дефиниция на концепцията за описание на масив, а ще разгледаме описанието на масиви, като използваме няколко примера. [4]
От синтактичната дефиниция на тялото на процедурата също следва, че тя може да бъде под формата на код. Концепцията за код в езика Algol не е дефинирана. Синтаксисът и семантиката му са посочени на конкретни входни езици. Въвеждането на кода беше причинено от желанието да се разширят възможностите на езика Algol, тъй като някои операции и алгоритми не се изпълняват на този език. Те включват например операции, извършвани върху части от машинни думи и някои други. Най-често телата на процедурите, които извършват такива действия, са написани директно на езика на определена машина. [5]
Съгласно тази синтактична дефиниция всеки идентификатор може да служи като етикет на изявление. Ако искаме да назовемоператор с някакво име (идентификатор), тогава записваме този идентификатор преди този оператор и го отделяме от оператора с двоеточие. [6]
Съгласно тази синтактична дефиниция всеки идентификатор може да служи като етикет на изявление. Ако е необходимо да назовем оператора с някакво име (идентификатор), тогава записваме този идентификатор преди този оператор и го отделяме от оператора с двоеточие. Такъв оператор се нарича етикетиран. [7]
Във Fortran обаче синтактичните дефиниции са дадени в различна форма - те просто дават формата на конструкцията, която формира дефинираното понятие, а отделните компоненти на тази конструкция, които не са букви от азбуката, се обозначават с техните символи. От друга страна, този метод осигурява по-добра визуализация на дефинираната структура, което е неговото предимство пред езика на металингвистичните формули, който освен това все още не е бил познат при появата на Fortran. В следващата презентация няма да се отклоняваме от метода за описание на синтаксиса, възприет във Fortran, особено след като той е общоприет във всички материали, свързани с този език. [8]
Преди да дадем синтактична дефиниция на израз на процедура, нека разгледаме един пример. [9]
Имайте предвид, че прилагайки тази синтактична дефиниция рекурсивно, получаваме, че променливата трябва да има буква като най-ляв знак. [10]
В табл. 2.1 изброява метасимволите, използвани за синтактични дефиниции. [единадесет]
Както може да се види от скобите и в съответствие със синтактичната дефиниция, всеки отделен оператор, затворен в операторни скоби, вече ще бъде съставен оператор и следователно безусловен. Това обстоятелство ни позволява действително да използваме и в условни изрази директно след условиетоусловни оператори и оператори за цикъл - за това е достатъчно да ги оградите в операторни скоби. [12]
Що се отнася до блока, както се вижда от неговата синтактична дефиниция, той е тясно свързан с концепцията за описание. [13]
Този раздел и следващият раздел обясняват термините, използвани в тази синтактична дефиниция. [14]
Имайте предвид, че когато разглеждаме текстова константа, по същество се срещнахме за първи път със синтактична дефиниция във Fortran и, очевидно, тази дефиниция е дадена по различен начин, отколкото в Algol. [15]