Устройство синтаксического контроля программ

Союз Советских Социалистических РеспубликК АВТОРСКОМУ СВИДЕТЕЛЬСТВУ ависимое от авт. свидетельства ,Л 1.1967 ( 1206093/18-24) Заявлен ч. 4 присоединением заявки Ъо.11 ПК С 06 УДК 681.3 иорцтст ам Комитет по бретеиий и цтии Опубликовано 03.11.1969. БОллстеиь ЛЪ Дата опубликования описанця 1 Л 11.196 7(088,8 при Совете МииистСССР Авторыизобретени. Михайлов и Е, Л. Ющенк нститут кибернетики АН Украинской С аявитель СТРОИСТВО СИНТАКСИЧЕСКОГО КОНТР ПРОГРАММ исправлений и дополнений в связи с исправлениями и дополнениями в исходном алгоритмическом языке,Само устройство для практического языка почти полностью занимает шкаф В.11. Однако при современной тенденции снабжения ма- ШИИЕСКОЛЬКМп с 1 ЛГОРИТ)ИЧЕСКИХ 1 И ЯЗЫКаМИ построение такого устройства может оказаться нецелесообразным.В предложенном устройстве эти недостатк устранены благодаря использованию схемы сравнения и долговременной памяти, выходной регистр которой связан с регистром адреса этой памяти и схемой сравнения, связанной со входным регистром проверяемой программы и стсковой памятью, которая связана с регистром адреса долговременной пам чти. 1 а чертеже показано предлагаехОе устройство.Устройство состсхемы сравнениядолговременной падреса ) и стэкоВ ДЗУ 4 записьвиде одного масразбит на нскоторКОТОРЬ 1 Х )асПОЛсЧГсЦОЕ сц 1 С,101 члЮЕ Предлагаемое устройство относится к ооласти использования в вычислительной технике алгоритмических языков и служит для проверки послсдовательностеи символов, построенных на определенной совокупности правил, называемых грамматикой языка.Извсстно устройство, использующее пршцип синтаксических карт для схемной синтаксической проверки вводимых в машину программ, записанных на алгоритмическом язы п ке. Оно содержит входной регистр, дешифратор основных синтаксических понятй, регистр поля анализа, логическую схему обнаружения синтаксически неверной конструкции в проверяемой программе, логическую схему 1; перехода на новое поле анализа, лоп чсскую схему формирования поля анализа, стековую память, блок счетчиков и блок внешней индикации. Однако в этом устройстве схема обнаружения синтаксически неверной конструкции в проверяемой программе, схема перехода на новое поле анализа и схема формирования поля анализа для практически используемых алгоритмических языков весыа громоздки и составляют 90 - 95 уо оборудования всего устройства, Поэтому при пе)еходс на новый алгоритмический язык, пмеющи другие синтаксические карты, замена логи Сских схем практически сводится к построеншо но- ВОГО уст 1)ойства, 3 ат 1)уднен О также Вцсссц ис 30 Оит из входноГО реГистра 1, ), выходного регистра 3, амяти 4 (ДЗУ), регистра вой памяти 6.вастся грамматика языка в сива. Весь массив условно ыс подуровни, в каждом из чстся несколько (определецТов массива, Каждый элеМСПТ )сССП 32 Зс 1 ИПМЯСТ ОЛИО СЛО 30 )ЗУ Псостоит пз семи с.Слу 1 ощ;х чйстсЙ: КО, С,БОЛс 1 51 З 1 КЛ ,3 ЛИП)ЛСТ10";П РЯЗР 51;013, ГДС П - П(.ЛС ТСР)10 Б 5Б я;ыкс);ГРЗНЯК ЗЯИИСИ Б СТСКОВО Пс 11 ЯТ 1(занимаетразряд);призиак чтения из стековой пам 5 ги(занимаетразря.); 10признак окончания некоторого полуровия мйссива (занимаетразряд);прпзияк т 010, 1 то символ Б Я 1 эОГОэлсмспта массива может быгь последним Б и,)ограммс, здиисяпиои л Лаии 0)л г О р и 1") и 1 КО 1 я 3 ы 1(с :л и и )яС 1Па.3 Р 5 Л);ддрсс ячдл д сооБстствуюцсго ЛлпПО. ЭЛС)1 С 1 Гу ИО,урОБИ 51 МЗСС 3 Я(ЗйииМйет В ООЩСМ СЛсС (О)Ц Рййрядов, где 1. -- Ллиил Всего массивл);адрес соотстствуОщсго данному элементу элемспта массива, у которого вЯ:) стоит признак записи в стско:у оПд,"51 Ь; 25пмс О, ссл и Б 3 пст п ризи якс чтспп 51из стс(Свой пя)яти (Б ооще) СгучйсК тяк жс зйнпмяст 10 Ц раз)5 ЛО 3Э.С)1 СПТс ) ЯССИВс) . 1 ) 1 с-Е 7 -30Таки) ооразом, в общем случае элемент УКсЗЛН НОГО МЯССИВЯ ГРЯ 3 ЯТИКП с 1 ЗЫКс 1 ЗЯ 1 и- мает от -)-4+2 ор Ц) разрядов.Устройство работает следуюцим Образом.В Начале ссковая память свободна, регистр адреса отмечает а;рсс начального по;уровия масспвй,котороо В 1( Зйпп йны Оль Си.- волоь, которые могут быть первы:и в программе Лаииого алгоритмического языка.Псрвын сп)вол провс;)яс)О Нрогрй1 Ь зйписьБссСя пс Б:о по рспстр 1. Гослс э 00 пз ДЗУссптывйстс 5 пср 3 ы: элс)сп на 1 с 1 льпо О ПО,5 рОВП м Ясси 13 Я 1 Я 1)ы: ОЛПОП регистр 5, и с помоптью схемы ) ирозвоЛггся (рЯВпес ,одл Я Пд в хоН 03 р(ч,и" рс ( колом и д рсЧст рс 1.ГСЛ И М.ЛЗЛ П П ЫС .ОЛ 1 ПС СР 3 ПИ, П(Ь, 10 К КОЛ Я; РССс П с Я НРПО ЯВ 5 ЕТСЯ , Тип И Ис П СП 1 ТЬВЛСТС 5 СЛЕ,МОЩП Э;С)1(И Ид)1 ЬПОО поп 3 ро 3 Н 51 мсСси Бстиси с ВП 5 и роЛОГжл ются;О элсмситл, у которого Б Ю стоит ири- ЗпйК, ЛИОО ЛО ЭССНТй,ОО;)ОГО ОЛ 15 Пс реГис 1 ре 5 со 3 пял с КО;О) Пд рсГис 1 рс 1. В псрво)1 сл сслс Вьргбятывастся сип 1 ял си- таксиСоко ошибки (СОШ), так как ии один 55 из элементов в 1," начального подуровня массива ис сравнился с первым символом проверяемой программы. Папомиим, что и 1(1 иа- чяльнОГО ПОЛрОВп 51 .1 яссп 3 я злпис 2 пы колы сп)Вслов кс 10 рь 1 с МОГст ОЬ 1 ть пс)вы)п Б 60 ПРОГРс)МЕ ЛЛННОГО ЯЛГОРИТ)ПЧССКО 0 51 ЗЫКЯ.Если первый символ проверяемой программы ис сравиилсл ии с одним из символов данноГо иолурошя, то значит он ошибочпо написан ПСРБЬМ, 1. С. Пя и 1 СЯП СППТсКСПЕСКИ ПСВЕРПО.Во тором случае, ког,а код Р Нл регистре 4 совиял с колом иа репстре 1, па регисгр д псрсписы 13 йстс 51 код Я 6 с 1 Зых 01 нОГО рсГпстрдтем слмым записывается алрсс пачальИО 0 ЭЛС)СИ 1 с ПО;УРОБН 5 МЯССИВЯ,КОТОРО 0 в Л 1 запислиы коды символов, которые в проверяемой программе могут ПЛти следом за символом па регистре 1.Госле эого иа регистр 1 вызывается следуОщий символ проверяемой програ)лы, спова счГгываются иа выходной регистрэлсмепты подуровня, отмечаемого адресом на регистре,),Якже пропзволитс 5 срявение Р СИТаИ 1 Х КОЛОБ С КОДО)1 Пд РЕГИСТР(И . Л. лиялоЧио опислпному.:.) И;(ЙСЬИ 51 (ООТВС СТБУ 10 Т Э)С)1 СПТЯ)1 ) 3 С. Спвс,.1,3 3 1, М (ООрЫ; О СМ (Т 3)ПрИЗИЯ- к1 ), 1(4.В сл) дс, соли элемат иа регистре 3. У которого 1( совпал с ко;ом иа регистре 1,;местК 2 ирпзий( Записи в сСКОБ,о пй)5 ть записи кола 1(6 на регистр 6 пре;шествует Зс 1 ПИСЬ ССГщС 0 ЗиаС 3 П 51 КОЛЯ Ня рСГИСТрС 6 Б с 1 с(03 ю па 15 ть В Остальио.1 лсЙстВНЯ не 0,ИЧ 310 ТС 5 ОТ ОПИСЯННЫХ.В случае, если элемент на регистре 3, у которого 1(1 совпал с колом иа регистре 1, имест в ИЗ признак, то записи ко.а 156 на регистр 6 прслшсствуст сравнение кода иа верПиис стсковой памяти с кодом 1(7 а регистре ).Если послслПс коды совпали, то солержи;,ое всрхпс ячейки стека удаляется и производятся опсапные выше действия по переписи кода па регистр 6 и т, л, Если этп колы ис совпали, то к содержимому регистра 6 прибав.15 стс 5 Слиипиа и действия производятся с Новым слслующм) элементом лаииого полуровия мдссива.В копие проверки послс,пии с;)30, прОВср 5 е)10 Й прорй)1)1 ы Об 5 зятегы 0 лог)кен сряВ- П ИТЬСЯ С Тсльи)1 Э.1 С)1 СИТО)1 СООТБСТСТВУЮЩЕГО ПОЛУРОБИ 51 МДССБЯ, У КООРО 0 В Й ) Па ВХОЛПО) )сПсрс) сопт ири.3 Н я к. В про 1 и Вн 031 С)Яд( И;ОВСрС)Л 5 ПрОГрйММ СЧИТЛЕ(5 Не;Спи(дпой чо тлкжс соотвстствуег условию Б 11 Рйоо КИ СПГис 1,1 с Сип 1 ЯКСИСС 1(ОИ ОПП 10 КИ.) 1 Р с Л 3 с 1 и 3 0 0 Р с т с и и 51Ъ с ройс 1 БО си птя 1(спчсскОГО контроля про- ГРЯММ, От.иППОГББС тСМ, ЧтО, С ИЕЛЬЮ УИ- рощсиил устройства, умсиьшеня с;о габаритов и повышения иадежиост синтаксического оитроля, оио солержит схема сравнения и Ос О 3 РССНИУЮ Па)ЯтЬ, ВЬХОЛИО РЕПСтР которой связан с регистром адреса этой ЛолГовре)сппоп ий)1 яти и схс;10 Й сраБисН 51, сВЯ. заииой с Бхолпым регистром проверяемой проГраммы 1 с)скозой памятью, которая в свою очередь свлзапа с регистром адреса Лолговремсииой иямяти.236861 Составитель В. М. ШумскийТсхрсд Т. П. Курилко Ксррсктор Г, И. Плешакова Редактор Л. А. Утехина Типография, пр. Сапунова, 2 3 аказ 1173,16 Тираж 480 ПодписноеЦНИИПИ Комитета по делам изобретений и открытий при Совете Минист 1)он СССРМосква, Центр, пр. Серова, д. 4