PRIL_2 (Синтаксический анализ языка НОРМА. Разбор описания)
Описание файла
Документ из архива "Синтаксический анализ языка НОРМА. Разбор описания", который расположен в категории "". Всё это находится в предмете "информатика" из , которые можно найти в файловом архиве . Не смотря на прямую связь этого архива с , его также можно найти и в других разделах. Архив можно найти в разделе "рефераты, доклады и презентации", в предмете "информатика, программирование" в общих файлах.
Онлайн просмотр документа "PRIL_2"
Текст из документа "PRIL_2"
Ïðèëîæåíèå 2 Ñèíòàêñèñ îïèñàíèé ÿçûêà Íîðìà
Íîòàöèÿ ñèíòàêñèñà
 íîòàöèè ñèíòàêñèñà, èñïîëüçóåìîé â äàííîì îïèñàíèè, ïðèìåíÿåòñÿ ðàñøèðåííàÿ ôîðìà Áýêóñà-Íàóðà.
Îáîçíà÷åíèÿ {A}*,{A}+,{A1...,An},[A] îçíà÷àþò
| {A}* | ::= | Æ|A|AA... |
| {A}+ | ::= | A|AA... |
| {A1...,An} | ::= | A1|...|An |
| [A] | ::= | Æ|A |
ãäå A-íåêîòîðûé îáúåêò ÿçûêà, Æ- ïóñòî, |- âûáîð îäíîé èç àëüòåðíàòèâ, ...- è òàê äàëåå.
Ïðè îïðåäåëåíèè ïðàâèë ÿçûêà ñèíòàêñè÷åñêèå ïîíÿòèÿ íàáèðàþòñÿ êóðñèâîì, à ñëîâà è ëèòåðû, âîñïðèíèìàåìûå áóêâàëüíî, ïðÿìûì øðèôòîì. Àëüòåðíàòèâíûå êîíñòðóêöèè ïåðå÷èñëÿþòñÿ, êàê ïðàâèëî, â ñòîëáèê, êàæäàÿ àëüòåðíàòèâà íà îòäåëüíîé ñòðîêå.
Èíîãäà èñïîëüçóþòñÿ ÷àñòè÷íî ïîä÷åðêíóòûå îáîçíà÷åíèÿ ñèíòàêñè÷åñêèõ êîíñòðóêöèé, íàïðèìåð, èìÿ-ìíîæåñòâà. Ñèíòàêñè÷åñêè ýòî îáîçíà÷åíèå èäåíòè÷íî îáîçíà÷åíèþ èìÿ, à ïîä÷åðêíóòàÿ ÷àñòü êîíñòðóêöèè íåñåò äîïîëíèòåëüíóþ ñåìàíòè÷åñêóþ èíôîðìàöèþ.
Îáîçíà÷åíèå ñïèñîê-ýëåìåíò çàìåíÿåò íåïóñòîé ñïèñîê ýëåìåíòîâ, ïåðå÷èñëåííûõ ÷åðåç çàïÿòóþ:
ñïèñîê-ýëåìåíò
ýëåìåíò{,ýëåìåíò}*
 êàæäîì êîíêðåòíîì ñëó÷àå îïðåäåëåíèå ýëåìåíòà ïðèâîäèòñÿ.
Îïèñàíèÿ
îïèñàíèå:
îïèñàíèå-îáëàñòè
îïèñàíèå-èíäåêñîâ-îáëàñòåé
îïèñàíèå-ñêàëÿðíûõ-âåëè÷èí
îïèñàíèå-âåëè÷èí-íà-îáëàñòè
îïèñàíèå-èíäåêñíîé-êîíñòðóêöèè
îïèñàíèå-èíäåêñîâ-ðàñïðåäåëåíèÿ
îïèñàíèå-ïàðàìåòðîâ-îáëàñòè
îïèñàíèå-âõîäíûõ
îïèñàíèå-âûõîäíûõ
îïèñàíèå-âíåøíèõ
Îïèñàíèå îáëàñòåé
îïèñàíèå-îáëàñòè:
îïèñàíèå-áåçóñëîâíîé-îáëàñòè
îïèñàíèå-óñëîâíîé-îáëàñòè
îïèñàíèå-áåçóñëîâíîé-îáëàñòè
îïèñàíèå-ïðÿìîóãîëüíîé-îáëàñòè
îïèñàíèå-äèàãîíàëüíîé-îáëàñòè
îáëàñòü
íîâàÿ îáëàñòü áåç èìåíè
èìÿ-îáëàñòè
áåçóñëîâíàÿ-îáëàñòü
íîâàÿ îáëàñòü áåç èìåíè
èìÿ-áåçóñëîâíîé-îáëàñòè
èìÿ-îáëàñòè
èìÿ-áåçóñëîâíîé-îáëàñòè
èìÿ-óñëîâíîé-îáëàñòè
èìÿ-áåçóñëîâíîé-îáëàñòè
èìÿ-ïðÿìîóãîëüíîé-îáëàñòè
èìÿ-äèàãîíàëüíîé-îáëàñòè
Îïèñàíèå ïàðàìåòðîâ îáëàñòè
îïèñàíèå-ïàðàìåòðîâ-îáëàñòè
DOMAIN PARAMETERS ñïèñîê-çíà÷åíèå
çíà÷åíèå
èìÿ-ïàðàìåòðà-îáëàñòè=öåëîå áåç çíàêà
Îïèñàíèå èíäåêñîâ îáëàñòåé
îïèñàíèå-èíäåêñîâ-îáëàñòåé
INDEX ñïèñîê-èìÿ-èíäåêñà
Îïèñàíèå èíäåêñîâ ðàñïðåäåëåíèÿ
îïèñàíèå-èíäåêñîâ-ðàñïðåäåëåíèÿ
DISTRIBUTION INDEX èìÿ-èíäåêñà = ïðîñòîé-äèàïàçîí
[èìÿ-èíäåêñà=ïðîñòîé-äèàïàçîí]
ïðîñòîé-äèàïàçîí
öåë-êîíñòàíòà[..öåë-êîíñòàíòà]
Îïèñàíèå èíäåêñíîé êîíñòðóêöèè
îïèñàíèå-èíäåêñíîé-êîíñòðóêöèè
MACRO INDEX èìÿ-èíäåêñíîé-êîíñòðóêöèè
[ñïèñîê-ÿâíîå-èíä-âûðàæåíèå]
ÿâíîå-èíä-âûðàæåíèå
èìÿ-èíäåêñà[{+,-}êîíñò-âûðàæåíèå]
èìÿ-èíäåêñà = êîíñò-âûðàæåíèå
èìÿ-èíäåêñà = èìÿ-èíäåêñà [{+,-}êîíñò-âûðàæåíèå]
Îïèñàíèå âíåøíèõ èìåí
îïèñàíèå-âíåøíèõ-èìåí
EXTERNAL FUNCTION ñïèñîê-èìÿ-ôóíêöèè [òèï]
EXTERNAL PART ñïèñîê-èìÿ-ðàçäåëà
Îïèñàíèå îáëàñòåé
îïèñàíèå-îáëàñòè
îïèñàíèå-áåçóñëîâíîé-îáëàñòè
îïèñàíèå-óñëîâíîé-îáëàñòè
îïèñàíèå-áåçóñëîâíîé-îáëàñòè
îïèñàíèå-ïðÿìîóãîëüíîé-îáëàñòè
îïèñàíèå-äèàãîíàëüíîé-îáëàñòè
îáëàñòü
íîâàÿ îáëàñòü áåç èìåíè
èìÿ-îáëàñòè
áåçóñëîâíàÿ-îáëàñòü
íîâàÿ îáëàñòü áåç èìåíè
èìÿ-áåçóñëîâíîé-îáëàñòè
èìÿ-îáëàñòè
èìÿ-áåçóñëîâíîé-îáëàñòè
èìÿ-óñëîâíîé-îáëàñòè
èìÿ-áåçóñëîâíîé-îáëàñòè
èìÿ-ïðÿìîóãîëüíîé-îáëàñòè
èìÿ-äèàãîíàëüíîé-îáëàñòè
Îïèñàíèå áåçóñëîâíîé îáëàñòè
îïèñàíèå-ïðÿìîóãîëüíîé-îáëàñòè
ìíîãîìåðíàÿ-îáëàñòü
íîâàÿ-îáëàñòü
ìíîãîìåðíàÿ-îáëàñòü
îäíîìåðíàÿ-îáëàñòü
[ èìÿ-ìíîãîìåðíîé-îáëàñòè ]: ( îáëàñòü-ïðîèçâåäåíèå )
îáëàñòü-ïðîèçâåäåíèå
ñîñòàâëÿþùàÿ-îáëàñòü { ; ñîñòàâëÿþùàÿ-îáëàñòü }+
ñîñòàâëÿþùàÿ-îáëàñòü
ìíîãîìåðíàÿ-îáëàñòü
èìÿ-ïðÿìîóãîëüíîé-îáëàñòè
îäíîìåðíàÿ-îáëàñòü
[ èìÿ-îäíîìåðíîé-îáëàñòè ] : ( èìÿ-èíäåêñà = çíà÷åíèå )
çíà÷åíèå
äèàïàçîí
êîíñò-âûðàæåíèå
äèàïàçîí
êîíñò-âûðàæåíèå .. êîíñò-âûðàæåíèå
íîâàÿ-îáëàñòü
[èìÿ-íîâ-îáëàñòè :] íîâàÿ-îáëàñòü-áåç-èìåíè
íîâàÿ-îáëàñòü-áåç-èìåíè
èìÿ-áåçóñë-îáëàñòè / ñïèñîê-ìîäèôèêàöèÿ
ìîäèôèêàöèÿ
èìÿ-èíäåêñà=çíà÷åíèå
èìÿ-îäíîìåðíîé-îáëàñòè {{+,-} ôóíêöèÿ-ãðàíèö}+
ôóíêöèÿ-ãðàíèö
LEFT (êîíñò-âûðàæåíèå)
RIGHT (êîíñò-âûðàæåíèå)
èìÿ-ïðÿìîóãîëüíîé-îáëàñòè
èìÿ-îäíîìåðíîé-îáëàñòè
èìÿ-ìíîãîìåðíîé-îáëàñòè
èìÿ-íîâ-îáëàñòè
îïèñàíèå-äèàãîíàëüíîé-îáëàñòè
èìÿ-äèàãîíàëüíîé-îáëàñòè :
èìÿ-áåçóñëîâíîé-îáëàñòè / ñïèñîê-óñëîâèå-íà-èíäåêñ
Îïèñàíèå óñëîâíîé îáëàñòè
îïèñàíèå-óñëîâíîé-îáëàñòè
èìÿ-óñëîâíîé-îáëàñòè , èìÿ-óñëîâíîé-îáëàñòè:
èìÿ-îáëàñòè / óñëîâèå-íà-îáëàñòü
Îïèñàíèå âåëè÷èí
îïèñàíèå-ñêàëÿðíûõ-âåëè÷èí
VARIABLE ñïèñîê-èìÿ-ñêàëÿðà [òèï]
îïèñàíèå-âåëè÷èí-íà-îáëàñòÿõ
VARIABLE ñïèñîê-îïðåäåëåíèå-âåëè÷èí-íà-îáëàñò [òèï]
îïðåäåëåíèå-âåëè÷èí-íà-îáëàñòè
ñïèñîê-èìÿ-âåëè÷èíû-íà-îáëàñòè
DEFINED ON áåçóñëîâíàÿ-îáëàñòü
òèï
{REAL , INTEGER , DOUBLE}
