Ýòè ñâîéñòâà, è íåêîòîðûå äðóãèå îãðàíè÷åíèÿ, ïîçâîëÿþò ñòðîãî îáîñíîâàòü ðàçðåøèìîñòü ñèíòåçà âûõîäíîé ïðîãðàììû, òàê êàê â äîñòàòî÷íî îáùåé ïîñòàíîâêå ðåøåíèå ýòîé çàäà÷è ïðèâîäèò ê çíà÷èòåëüíûì ìàòåìàòè÷åñêèì òðóäíîñòÿì - îíà ìîæåò îêàçàòüñÿ NP-ïîëíîé ëèáî âîîáùå íåðàçðåøèìîé. Ñ äðóãîé ñòîðîíû, èññëåäîâàíèÿ, ñâÿçàííûå ñ ðàçðàáîòêîé è ïðèìåíåíèåì ÿçûêà Íîðìà ïîêàçûâàþò, ÷òî èìåþùèåñÿ îãðàíè÷åíèÿ ïðèåìëèìû ñ ïðàêòè÷åñêîé òî÷êè çðåíèÿ.
Èñõîäíàÿ ïðîãðàììà, íàïèñàííàÿ íà ÿçûêå ïðîãðàììèðîâàíèÿ Íîðìà, ïðåäñòàâëÿåòñÿ â èñõîäíîì ôàéëå ïî ñëåäóþùèì ïðàâèëàì:
- òåêñò êàæäîãî èç ðàçäåëîâ Íîðìà-ïðîãðàììû çàïèñûâàåòñÿ â áåñôîðìåííîì ïðåäñòàâëåíèè. Ïðè ïåðåíîñå îïèñàíèÿ èëè îïåðàòîðà íà ñëåäóþùóþ ñòðîêó çàïðåùàåòñÿ ðàçðûâàòü êëþ÷åâûå ñëîâà, èäåíòèôèêàòîðû, êîíñòàíòû, â îñòàëüíîì ïðàâèëà ïåðåíîñà ïðîèçâîëüíûå.
- êëþ÷åâûå ñëîâà, èäåíòèôèêàòîðû, êîíñòàíòû, îòäåëÿþòñÿ äðóã îò äðóãà ïðîáåëàìè, ñïåöèàëüíûìè ñèìâîëàìè, ñèìâîëàìè êîíöà ñòðîêè. Ïðîáåëû ÿâëÿþòñÿ íåçíà÷àùèìè ñèìâîëàìè: ãðóïïà ïðîáåëîâ òðàêòóåòñÿ êàê îäèí ïðîáåë.
- ñòðîêà, íà÷èíàþùàÿñÿ ñî çíàêà “!”, ÿâëÿåòñÿ êîììåíòàðèåì. Êîììåíòàðèè âíóòðè îïèñàíèé è âíå ðàçäåëîâ çàïðåùåíû.
- êîììåíòàðèè ìîãóò èñïîëüçîâàòüñÿ âíóòðè îïåðàòîðà ASSUME â ñëåäóþùèõ ñèòóàöèÿõ: ìåæäó çàãîëîâêîì îïåðàòîðà ASSUME è òåëîì îïåðàòîðà; ìåæäó ñîîòíîøåíèÿìè â òåëå îïåðàòîðà.
- êîììåíòàðèè ìîãóò èñïîëüçîâàòüñÿ âíóòðè êîíñòðóêöèè ITERATION â ñëåäóþùèõ ñëó÷àÿõ: âíóòðè áëîêà BOUNDARY...END BOUNDARY;
âíóòðè áëîêà INITIAL...END INITIAL;
âíóòðè òåëà èòåðàöèè.
- òåêñò ïðîãðàììû ïðåäíàçíà÷åííûé äëÿ òðàíñëÿöèè, çàêàí÷èâàåòñÿ ñòðîêîé ÅÎÐ: èíôîðìàöèÿ, ñëåäóþùàÿ äàëåå òðàíñëÿòîðîì íå îáðàáàòûâàåòñÿ.
- èíôîðìàöèÿ, ðàñïîëîæåííàÿ â èíòåðâàëå îò “?”, ñòîÿùåãî â ïåðâîé ïîçèöèè, äî çíàêà “?”, ñòîÿùåãî òàêæå â ïåðâîé ïîçèöèè, òðàíñëÿòîðîì íå îáðàáàòûâàåòñÿ. ýòà âîçìîæíîñòü ïîçâîëÿåò âûáèðàòü èç èñõîäíîãî ôàéëà òå ðàçäåëû, êîòîðûå íåîþõîäèìî òðàíñëèðîâàòü. . 2.2 Ñòðóêòóðà òðàíñëÿòîðà ñ ÿçûêà Íîðìà.
Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9
