Интерпретатор алгоритмического языка

 

ОП ИСАНИЕ

ИЗОБРЕТЕН ИЯ

К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ

Союз Советских

Социалистических

Республик (11) 3455М (61) Дополнительное к авт, свид-ву— (22) ЗаЯвлено 25 05.72(21) 1789286/18-24 с присоединением заявки №(23) Пркоритет(43) Опубликовано15.10,74,Бюллетень № З8 (45) Дата опубликования описания 14.10,76 (51) M. Кл . QО6t 15/20

Государственный номнтет

Совета Мнннстроа СССР по делам нэобретеннй н аткрытнй (53) УДК 681,a86(088.8) (72) Автор изобретения

Г. Х. Бабич (71) Заявитель Всесоюзный научно-исслецовательский и конструкторский институт

"Цветмвтавтоматика" (54) ИНТЕРПРЕТАТОР АЛГОРИТМИЧЕСКОГО ЯЗЫКА

Изобретение относится к области архитектуры цифровых вычислительных машин, предназначенных цля решения задач с неполной информацией.

Известны интерпретаторы алгоритмического языка, содержащие ОпеРативное запоминаюшве устройство (ОЗУ), регистр адреса, выход которого соединен с адрвс ным входом ОЗУ:i регистр числа ОЗУ, раздельные входы и выходы которого, со- )Q ответствуюшив первой ацресной части, призначной части и второй адресной части, совцинены с соотввтствуюшими выходами и вхоцами ОЗУ; инцикатор нуля, поцключенный к выходу первой адресной еа части регистра числа ОЗУ; цешифратор, схему сравнения и основной коммутатор, полноразряцный выхоц которого соецинен с информационным выходом интерпретатора, а ацрвсный выхоц подключен к вхоцу реги- зе стра адреса, соециненные раздельными входами, соответствуюшими первой ацресной части, призначной части и второй адресной части с соответствуюп ими выходами регистра числа ОЗУ, i 26

Нецостатком известных устройств является низкое быстроцействие при решении зацач с неполной информацией.

Прецложенное устройство отличается от известных тем, что соцвржит: промежуточный регистр, раздельные вноцы которого, соотввтствуюшие первой адресной части, призначной части и второй ацресной части, соединены с соответствуюшими выходами основного коммутатора, кроме того, вхоц второй ацресной части промежуточного регистра соединен с выходом первой адресной части основного Ъ коммутатора: вспомогательный коммутатор, раздельные входы и выходы которого, соответствуюшие первой адресной части, призначной части и второй адресной части, соединены соответственно с раздельными выхоцами промежуточного регистра и раздельными вхоцами регистра числа

ОЗУ, кроме того, выхоцы вспомогательного коммутатора, соотввтствуюшие призначной час@и, совцинены с вхоцом Qeшифратора, выхоцы, соответствуютцие вто рой ацресиой части, соедйнены с вхоцом

446882 первой адресной части регистра числа

ОЗУ и вхоцом регистра адреса, вхоц которого поцключен также к выхоцу первой адресной части вспомогательного коммуt татора; схему сравнения признаков, вхоцы которой поцключены к призначным частям основного и вспомогательного комму таторов, а выход соединен с управляющим. выхоцом интерйретатора; регистр числа, полноразряцный выхоц которого совцинен с входами цешифратора, схемы сравнения и регистра числа ОЗУ; а выхоц регистра числа поцключен к вхоцу основного коммутатора и информационному входу интерпретатора; схему глубины марки, вхоцы которой поцключены к выхоцам .цешифратора; счетчик относительной глубины марки, вход которого соецинен с первым выхоцом схемы глубины марки, а выхоц соецинен с инцикатором нуля; счетчик абсолютной глубины марки, вход которого подключен к выхоцу второй ацресной части основного коммутатора и ко второму выхоцу схемы глубины марки, а первый выхоц счетчика поцключен к вхоцу инцика тора нуля и второй выхоц счетчика соецинен с вхоцом счетчика относительной глубины марки и с входом второй ацреоной части регистра числа ОЗУ; регистр просмотра, вход которого соединен с вы- 30 хоцами адресных частей основного комму татора, а первый выхоц регистра соединен с инцикатором нуля и второй выхоц регистра через схему просмотра соединен с вхоцом регистра ацреса и с адреснь|- 85 ми входами регистра числа ОЗУ; регистр адреса совокупности, вхоц которого соецинен с выходом первой ацресной части основного коммутатора, а выхоц через схему адреса соединен с вхоцом регистра 40 ацреса и ацресными входами регистра числа ОЗУ.

Это позволяет повысить быстродействие при решении зацач с неполной инфор-. мацией.

Для описания работы интерпретатора рассмотрим алфавит и синтаксическое описание языка ДекАС.

Алфавит состоит из знаков. 50 (знак ):: = (буква (цифра) (знак пунктуации) .

Буквами являются заглавные русские и латинские буквы, а также пробел.

55 (знак пунктуации)

° I>I ioIc. I>I< I ) I+ I-I

Словарь языка ДекАС состоит из марок. (марка):: = (константа) I (ма - I 50 ка пунктуации) (константа )

&исло) 1 (бцк) ) (константа истинности) (бцк,) : : - (буква) )

j (бцк) (буква) ) (число) (бцк)) (бцк) (число)

Ф Ф (константа истинности) .. N / ( (марка пунктуации )::, 1 С } 1 ) j

Для кратности металингвистическое определение числа зцесь не привоцится, Буквенноцифровые константы (БЕК)

Z, I), P1 в записях на языке, структуры которых описаны ниже, могут иметь особое значение, поэтому в семантическом смысле они выцелены и называются марками операции.

Марка операции Е является признаком переменной и используется цля обозначения неизвестного. Марка 37 обозначает примитив, т. е. функцию, вычисление которой предусмотрено в вычислительной машине, построенной на базе прецлагаемого интерпретатора, Маркой обозначается функциональная зависимость, программа вычислений которой составляется программистом на языке ДекАС и может быть введена в библиотеку машины, Марка g применяется при записи функционалов.

Основу грамматики составляют совокупности. Совокупность есть конечное непустое множество последовательно записанных марок, среди которых константы не могут встречаться послецовательно.

Совокупности, называемые формами; имеют особое значение, так как только они являются разрешенными записями на языке. В то же время совокупности, не являющиеся формами, могут образовываться на промежуточных этапах интерпретации, Формы образуются в соответствии со следующими опрецелениями, (форма):: = (нонотанта) (форма, (форма) 1 (нормальнаа форма ((условная форма условная форма" ::= ((форма (форма)) <формар) 1а формар) ,(нормальная форма .: (форма > )

Если а и Ь - совокупности, то совокупность а, Ь называется сочета° ° ь

В уолоаноа форма анлл (а(ь) p) 446882 а называется называется, альтернатйвой истинности.

6 альтернативо" ложности, Р - прецикатом условия.

Важным цля интерпретации является понятие глубины марки в совокупности, и над скобки, равна разности межцу количест- 10 вом закрытых и открытых круглых скобок справа от нее. Правая глубина марки для случая открытой или закрытой круглой скобки равна глубине воображаемой допол нительной константы, ввеценной непосрец(Ь ственно справа или слева от этой скобки соответственно. ига если ее можно записать в вице

ЯО (2) 11 R " И(Е)

Здесь Е- — форма, не.содержащая эапя1 тых глубины Ов 0 и называемая g -ой канонической компонентой, а М (Е Ъцелое йоложительное число, называемое числом канонических компонент. Если в @ нет дн.аая" . вается недокомпозируе юй формой.

Опрецелим операцию постановки, являющуюся базовой при выполнении преобразований на языке ДекАС. Пусть имеем совокупности Е и, b причем

Е :=Е1 аЕВ т, е. совокупность состоит.из после цовательности совокупностей 8$> д, 9 при этом б и (или) Ю могут быть

1 2 пустыми.

Тогда операция замены 3 на Ь В 6 называется поцстановкой Ъ место д в Е . Например, если

=А,Б,В),К

=Б,В) 4б а:

Ь:: (El) то после подстановки Q вместо Q s S получим совокупность А, (П), К.

Формы, опрецеление которых цано вы 50 ше, являются. разрешенными конструкциями языка НекАС. Смысловые конструкции, с помощью которых записываются программы на етом языке, следующие бб

g неизвестное :: = (Д (инден1 тификатор) )

, функциональное выражение ) ()", g инцентификатор» )

I (обобщенное функциональное выражениф::= ВО (р((недекомпоэируемая форма) )

2 функциональное ацресное выражение);: = (Г, индентификатор P, Q ацресное слово ) ) (функциональная формулировка) функциональное выражение (аргументальная послецовательность) )

g функциональная ацресная формулировка) (нефункциональное ацресное выражение

«аргументная последовательность ) ) обобшенная функционааьная формулировка (С обобщенное функциональное выражение) (аргументная послецовательность ) (аргументная послецовательность ) }:: = (пусто) ) (аргументная последовательность, (аргумент), (значение аргумента) (примитивное выражение):: = ((), инцентификатор 7 ) (примитив программы);: = (D, HOll;

ПРОГРАММА) ( наименование устройства», наименование массива)

4 ,Гпримитив первого порядкаP;: = ((примитивное выражение (значение аргументаP ) (примитив второго порядка :: = ((примитивное выражение, значение аргумента), (вначвнне аргументат ) (инцентификатор :: = (нецокомпозируемая форма) g аргумент :: C недокомпозирумая форма (значение аргумента

9 недокомпозируемая форма> m библиотечный элемент);: = идентификатор ), (ссылка), пороговое условие

Ацресное слово используется цля задания ацресов начала ссылки и порогового

l условия, когца библиотечный элемент размещен в оперативной памяти в процессе интерпретации.

Отметим, что "иценяификатор", "аргумент", значение аргумента" синтаксически ицентичны, Недокомпоэируемая форма оцного и того же вица может являться либо тем, либо цругим,либо третьим в зависимости от места, на котором она расположена в записи на языке йекАС. Например, в функциональной формулировке ((F, ИМЯ1), (7., А), З7) неизвестное (4 А) является аргументом, значение которого есть 37, а в функциональной формулировке

446882

l0

7 ,((F, ИМЯ2), F, (."., А) ) это же неизвестное является значением аргумента, Марка в оцном случае . является маркой операции, а в другом - ;аргу . ментом, С помощью подставки выполняется оперения свитена являющаяся основой реелиэелии яэыке ЛекАС. Пусть G аргументная после цовательностьэ а у— ссылка соответствующей функциональной формулировки. Тогда можно построить форму 9/4», состоящую из формы о, в которой в процессе ее просмотра справа налево кажцое неизвестное, чем идентифи катор совпацает по крайней мере, с одним аргументом $g заменяется значением первого такого аргумента. Операции по строения формы $/P. называется синте-. зом. Например, если Ю есть

А,37,В, ((Р,К) М 5), (2., АК), А 24 a равно ((,А) g(Z, ВД р, ц, то ф равна (>1(((F, к),, 5)J(z, í

В интерпретаторе оперативное запоминающев устройство организовано по ассо м вввь. чает, что слово в памяти соцержит qoполнительную,ацресную инфоомацию, построенную в соответствии с хранящейся в нем смысловой информацией. Указание об ацресе слова, с которым по смыслу связа но цанное слово„называется ассоциатив-. ной связью (АС ), Структура ассоциативной памяти (АП) прецусматривает разделение каждого сло» ва на четыре части: левую, призначную, центральную и правую. центральная часть слова используется для хранения смысло-вой информации, т. е. кода, прецставляюь.. щего соответствующую марку. Призначная часть применяется цля указания некоторых отличительных особенностей марки, хранящейся в центральной части слова. К таким особенностям относится тип марки: число, бцк, пунктуация. Левая часть слова имеет размерность адреса и содержит ацрес слова, центральная часть которого хранит марку, расположенную в форме не посрецстввнно слева от цанной. Этот спо соб связи одного слова с цругим называется ассоциативной связью 1-го по яцка (Ас ».. Слепуя АС1 выполняется просмотр

1 формы справа налево.

Ассоциативная память разцвлена на списки. Список есть последовательность -

8 ! без повторений конечного числа слова.

Кажцов слово, за исключением последнего, содержит в левой части ацрес следующего слова, Послвцнев слово соцержит О в левой, части, В интерпретаторе применяются два вида списков: логические списки и список свободного хранения, В логическом спис е (в тех случаях,,когца не возникает неопрвцеленности;- мы

:,буцем цля кратности опускать слово "логический" ) кроме слов, соцержащих смысловую информацию, имеются цва цополнительных слова — указатель начала и укаа. Списки обозначаются заглавными латинскими буквами, а указатель начала и указатель конца — соответствующей прописной буквой с индексом 0 или с» .

B левой части указателя начала записывается ацрес первого слова списка, а левой части указателя конца » ацрес послецнего слова списка.

Список считывается пустым, если; центральные и правые части его слов не соцержат информации. Пустой список слецует: отличать cd 0 — списка который не со-, держит слов.

В кажцый момент времени в системе имеется оцин список свобоцного хранения

P . .Список F объединяет всю свободную ассоциативную память. Этот список является пустым. До начала выполнения операций все слова АП нахоцятся в списке . Лля построения логических списков требуемая емкость АП берется из списка, освобождаемая в процессе работы емкость возвращается обратно в этот список. В списке имеется только указатель начала

Первая часть слова имеется тогца, когца его центральная часть хранит марку пунктуации. Она имеет размерность ацрвса. Этот способ связи называввся ассоциативной связью 2-го порядка (АС2). Связи АС2 позволяют просматривать формы в послвцовательности, учитывающей структуру формы.

Для описания алгоритма АС2 ввецем понятие пары марки пунктуации 3 глубины 3 в форме

Если 3„. есть открытая, фигурная скобка,ее пара есть самая правая (т. е. ближайшая к Д, ) расположенная слева от Д; открытая круглая скобка глубины

446882 той в е, Пусть форма Я размещена в списке >

8, т. е. в Я установлены ACl, Тогца вписывание, т. е. способ заполнения правых частей слов, несущих марки пунк» туации, состоит в следующем.

Все слова 3, несущие марки пунктуации, имеют в правой части адрес соответствующей пары. Кроме того, правая часть указателя начала содержит адрес начальной запятой при условии, что она су-I 30 шествует, в противном случае правая часть равна нулю. Если в е имеются запятые глубины О, то в правой части сло-. ва, несущего самую правую из них, соцержится ацрес 5

Применение АС2 позволяет легко о6рашаться к требуемой канонической компоненте формы, а также к любой канонической компоненте формы, являющейся ев субформой.

Привецем пример формулы с указанием АС2

В) (Я, (ЗВЗ, Для обозначения частей слова приме- 50 няется операторная запись. Пусть есть ацрес цанного слова. Тогца его левая часть обозначается через центральная- С >, правая - Я, . Эти обозначения являются операторными. М

Возможно применение составных операторов и их степеней. Например, запись

С Ь 2с„означает содержимое центраной части слова, адрес которого соцержится в левой части слова, нахоцяшвгося (60

Если 4 есть закрытач фигурная скобка, ее пара есть марка, расположенная непосрецственно слева от самой правой слева от д„ открытой фигурной скобки глубины id, б

Если д„ есть запятая или открытая круглая скобка, ее пара есть самая левая запятая, закрытая скобка, открытая фигурная скобка или закрытая фигурная скобка на глубине Д справа от Д . 10

Если Д„- есть закрытая круглая скобка, ее пара есть самая правая открытая круглая скобка на глубине 4 слева от

Если B i содержит запятые глубины 0Ä 15 т. е. является цекомпозируемой, то самая левая :«.Mç них называется начальной запя10 по ацресу, (д, Если М есть О - список, -4Р О= "tr0= О rn gПриэначная, левая и правая часть слова занимают одну ячейку памяти, а центральная часть хранится в слецуюшей по ацресу ячейке.

Перейдем к рассмотрению алгоритмов интерпретации, основой которой являеч ся оценка форм с помощью синтеза. в ю.. й.юлюразование в соответствии с цоступным информационным контекстом, состоящим из совокупности программ и исходных цанных, применяемых при решении данной зацачи.

Оценка выполняется путем просмотра формы Ы в списке . справа налево и постепенного формирования ее значения Ь в списке М. Значение формы получается путем, замены вхоцяших в нее функциональных формулировок, обобщенных функциональных формулировок и примитивов иж значениями.

Значение / функциональной формулировки С. есть результат синтеза библиотечной формы, инцентификатор который совпацает с инцентификатором функционального выражения формы (; и ее аргументной послецовательности (если аргументная последовательность с Q отсутствует, то в качестве / принимается библиотечная форма). Если библиотека не соцержит требуемого библиотечного элемента, то значение формы С есть С. Значение обобщенной функциональной формулировки есть результат синтеза нецокомпозируемой формы, входящей в ее обобщение функционального выражение, и аргументной послецовательности.

С функциональной формулировкой может быть связано некоторое правило, называемое по оговым словием . Оно записывается в вице условной формы, которая всегда принимает значение или Й .

Ж

Пороговое условие оценивается на основан нии значений аргументов в функциональной формулировке. Если значение порого,вого условия есть, то оценка функциональной формулировки выполняется, в противном случае она остается без изменения. Пороговое условие и ссылка функциональной формулировки хранятся в библиотеке,Для уменьшения количества обращений к внешней памяти применяется специальный логический список P. Нервоначально

P есть О-список, Когца в процессе оценки формы Е встречается первое функциональное выражение, например V

)то производится обращение к библиотеке

446882 признак слова, адрес которого нахоцится в левой части слова, ацрес которого находится в правой части слова, ацрес которого . При помоши этой операции, в

2 частности выполняется просмотр формы, размвшвнный в списке, т. е. 1: = (,, Присвоение заданного значения части слова, определяемой по ацресу другого слова и оперативной формуле. Например, ClEA := Cl .означает, что центральной части слова, адрес которого находится в ле, вой части слова, являюшегося указателем конца списка M m присваивается центральная часть слова, адрес которого Сравнение на равенство зацанному значению части слова, определяемой по ад;ресу другого слов» и оперативной формуле.

Например. CLtn = (» означает сравнение центральной части спова, адрес которого

1 находится в левой части слова, являюшвгося указателем Ж -, с константой истинности и

Ф.

Вычисление правой глубины марки в совокупности. Глубина может быть абсолютной, исчисляемой относительно самой правой марки формы, храняшейся в списке, и относительной, исчисляемой относительно зацанной марки фррмы.

Дешифрация марок пунктуации, констант истинности, типа числа (целов, вешественное), марок операции и совокупностей (;(;(о; (к.

Опрецеление по равеаству нулю абсоL лютной глубины марки окончания просмот13

При этом произвоцится оценка функциональных формулировок, примитивов и т. п. Таким образом, по окончании просмотра списка Q a конце списка М размешается значение подпрограммы.

Условная форма вица (1} оценивается слвдуюшим образом.

Если . значение P есть Й, то (l ) эквивалентно значению ; если значение P есть У, то (1 ) принимаем 10

Ф

1 значение В ;, если значение Р не есть константа истинности, то форма (1 ) оста-,, ется беэ изменения.

Рассмотрим послвцовательность цействий при оценке (1 ). Если в процессе l6 просмотра списка,, P или g- встретилась закрытая фигурная скобка и если в списке М соответствуюшве значение

P = Ь(*, то закрытая фигурная скобка не добавляется к концу и просмотр процол- 20 жается с формы Ь . Если P = g, то ф закрытая фигурная скобка так же не добавляется к концу М, а просмотр перехо дит к форме. В обоих случаях совокуп- ность Я ) или У ) удаляется из с

25 списка М. Когда встречается открытая фигурная скобка, соответ"твуюшая закрытой фигурной скобке, цля которой Р = g то открытая фигурная скобка не присоединяется к концу списка М, а просмотр переходит к марке слева от открытой круглой скобки в (1 ), т. е. альтернатива истинности игнорируется.

Если значение P не есть константа

35 истинности, то обв альтернативы условий формы присоединяются к списку М, но необхоцимо ограничить оценку форм 4 и b, так как оценка обеих. альтернатив,м<» жет привести к бесконечному циклу. Поэтому в формах ц и Ь оцениваются только примитивы, а функциональные формулировки остаются без изменения.

В процессе оценки вложенных условных форм всякий раэ, когда встречаются круг- 45 лые скобки или открытая фигурная скобка, в интерпретаторе необходимо помнить, какой альтернативе в ближайшей условной форме принацлвжит эта марка и не вхоцит ли она в какую-нибудь условную форму, для которой значение Brae есть константа истинности, Если в процессе интерпретации нв хватает емкости памяти свободного хранения, т. в. список свобоцного хранения становится О-списком, то ацресные слова их функ- циональных ацрвсных выражений ц списках, М, Р и Q удаляются и выполняется специальная операция "мусоршик". Для это го в описанный алгоритм дополнительно вво- gp

14 дится операция пометки запятой списка Р, раэделяюшей идентификатор и ссылку. Эта .запятая помечается всякий раз при выборе элемента списка Р. После окончания просмотра списка Р метка гасится.В операции "мусор шик элементы списка P просматриваются справа налево. Когда встречается элемент с непомеченной запятой, то он удаляется из P за счет чего пополняется список F

Описанный алгоритм интерпретации строится на основе операций, послецовательность выполнения которых задается устройством микропрограммного управления и зависит от интерпретируемого текста на языке ДекАС.

Перечень основных операций алгоритма, Опрецеление значения части слова цанного списка по ацресу другого слова

"/"2 и операторной формуле Ф, т.е.

:»-Ф f" . Например, p . = i L д. оз2

2 1 2 начает, что величине )" присваивается

6 — схема сравнения, 28 — вхоц из устройства микропрограмЗб много управления.

Оперативное запоминающее устройство (ОЗУ) 1 прецназначено цля хранения текста программ и исходных данных на языке ДекАС и результата решения, получае40 мого в процессе интерпретации. ОЗУ управляется команцами, подаваемыми из устройства микропрограммного управления (УМПУ ), не вхоцяшего в прв длагаемый интерпретатор, причем команды ЗЙО,,ц ЗЬП> ЗЬ1, > 34,1>, управляют записью в ОЗУ соответственно всего числа (общая запись), его призначной; левой или правой части, а команды "f Q:; Су П!;, C t Я, — считыванием из ОЗУ соответст50 венно всего числа, вго приэначной, левой или правой части. Все блоки,интерпретатора работают поц управлением команц

УМПУ.

Интерпретатор работает совместно с

55 АУ, выполняющим, если это необходимо> вычисление значения примитива при уцов летворвнии вго ророгового условия, и с

УМПУ, поц управлением которого выполняются все элементарные цействия ин60 терпретатора.

2 - регистр адреса, 15 ра ценной кононичвской компоненты цекомпозируемой формы, размещенной в списке. Применяется, например, цля опрецеления окончания просмотра ссылки, размешенной в списке P.

Опрецеление по равенству нулю относительно глубины марки окончания просмотра цанной нецокомпоэирувмой формы, являюшейся субформой цругой формы. Применяется, например, цля определения окончания просмотра аргумента ав аргументной после цовательности.

Сравнение цвух нецокомпозируемых форм. Применяется, например, при поиске аргумента в аргументной послецовательности, совпацаюшего с ицентификатором цанного неизвестного.

Установление АС2 марки пунктуации после ее размещения в конце логического списка.

Следующие операции относятся непосредственно к операциям нац списками.

Давление слова к началу данного списка. Применяется при занесении «ова в

I магазинный список.

Удаление слова иэ начала цанного списка. Применяется при удалении слова из

MQ1 азинного cnHcjKB

Добавление слова к концу цанного списка.

Применяется, например, при занесении очерецной марки в список М, Уцаление совокупности с конца списка, начиная с зацанной марки. Применяется, например, цля удаления с конца списка М совокупности Я ), сформированной в процессе оценки условной формы, цля которой значение Я оказалось константой

l истинности. Для выполнения этой операции задается адрес марки, расположенной непосрецственно справа от цанной. В привеценном примере зацается ацрес марки, расположенной непосрецственно справа от закрытой круглой скобки. Выполнение цанной операции рассмотрено при описании работы интерпретатора.

Уцалвние из списка совокупности, цля которой задана самая левая марка и ацрес марки, расположенной непосредственно справа от самой правой марки. Применяется, например, для удаления из списка

М функциональной формулировки, слева от которой приписано ее значение.

Схема интерпретатора изображена на чертеже, где приняты слецующи обозначения;

1 - оперативное запоминающее устрой ство (ОЗУ), 16

3 - регистр числа ОЗУ, 4 - инцикатор нуля, 5 - основной коммутатор, 7 - цешифратор, 8 — схема сравнения признаков, 9 — промежуточный регистр, 10

1O - регистр просриотра, 1 1 - регистр ацреса совокупности, 12 - счетчик абсолютной глубины марки, 15

1 3 — регистр числа, 1 4 — вспомогательный коммутатор, 1 5 - схема глубины марки, 20 16 — счетчик относительной глубины марки, 1 7-1 9 — инцикаторы нуля, 20 - схема адреса, 25

21 — схема просмотра, 22 — вхоцы из устройства микропрограммного управления (УМПУ), 23, 24, 25 — выходы в УМПУ, 26, 27 - вход и выход в арифметическое устройство, 17

* Работу интерпретатора рассмотрим на примере выполнения операции уцалвния совокупности с конца списка М, начиная с заданной марки. Эта операция в оперативной форме записывается слецуюшим образом : г1 =Lt 0 (1) .

L ta "= 1 (2) (. л; = (3)

4f f = " g (4)

L п...в = " g =0 (5) зцесь:,ffL - указатель конца списка М, 446882

18 часть регистра 3 (пере цача

Г в регистр 3), Запись в ОЗУ 1 по сигналу 3Л Ь (выполненне (3)).

Перецача содержимого регистра 11 через вентильную схему 20 в регистр 2.

Считывание ио ОЗУ 1 по сигналу $5L, (определение L 1п )

1О Установка на регистр 2 ацреса

Запись в ОЗУ 1 по сигналу ЗВЬ (выполнение /4!)

Перецача соцержимого регистра 11 чв1б рез вентильную схему 20 в регистр 2.

Гашение левой части регистра 3.

Запись в ОЗУ 1 по сигналу 3 ta ti (выполнение /5/). — указатель начала списка

/ g свобоцного хранения, Г - промежуточная величина, 1 цля хранения которой используется левая часть регистра 9;

/ — ацрес марки, расположенной

2 непосрецстввнно справа от самой правой марки удаляемой совокупности устанавливается перец началом описыь, ваемой операции в регистре 11; — оператор обращения к левой части слова, Операция, описанная выражениями (1 ) - (5), выполняется слецующей цослвцоватвльностью элементарных действий интерпретатора.

Установка на регистр 2 ацреса

Этот ацрес хранится в УМПУ.

Считывание из ОЗУ 1 по сигналу С1Ь (определение 4(ц ).

Перецача соцержимого левой части регистра 3 через коммутатор 5 в левую часть регистра 9 1выполнение (1Ц

Установка на регистр 2 ацреса 1п о

Считывание из ОЗУ 1 по сигналу С1 Ь (опрецеление .Ь п)

Перецача соцержимого левой части регистра 3 через коммутатор 5 в регистр

2.

Передача соцержимого левой части регистра 9 через коммутатор 14 в левую часть регистра 3, Запись в ОЗУ 1 по сигналу 3 1 (выполнение -2)

Установка на регистр 2 ацреса /п

Перецача соцержимого регистра 11

j черве вентильную схему 20 в левую

Формула изобретения

Интерпре тор алгоритмического языка, соцержаший оперативное запоминающее устройство (ОЗУ); регистр ацреса, выхоц которого соецинен с ацресным вхоцом ОЗУ; регистр числа ОЗУ, разцельные входы и выхоцы которого„соответствующие первой адресной части, призначной части и вто-

IðîÀ адресной части, соединены с соответстьу. юшими выхоцами и вхоцами ОЗУ.;, инцикатор нуля, подключенный к выходу первой, ацресной части регистра числа ОЗУ, цешифратор, схему сравнения и основной коммутатор, полноразряцный выход которого соединен с информационным выходом интерпретатора, а ацресный выхоц поцклю1 чвн к входу регистра адреса, соециненные разцельныыи вхоцами, соответствующими первой ацресной части, призначной части и второй ацресной части с соответствующими выхоцами регистра числа ОЗУ, о тличаюшийся тем, что, сцелью повышения быстроцействия, он соцержит

4> промежуточный регистр, раздельные вхоцы которого, соответствующие первой ацресной части, призначной части и второй ацресной части, соецинены с соответствующими выхоцами основного коммутатора, кроме того, вхоц второй ацресной части промежуточного регистра соединен с выхоцом первой ацресной части основного коммутатора, вспомогательный коммутатор, разцельные входы и выхоцы которого, соответствующие первой ацресной части, призначной части и второй ацресной части соецинены соответственно с раэцельными выхоцами промвжуточноюо регистра и раздельными" вхоцами регистр

g) ра числа ОЗУ, кроме того, выходы вспомо446882

19 гательного коммутатора, соответствующие прпзначной части, соединены с,вхоцом дешифратора, выхоцы, соответствующие второй ацресной части, соецинены с входом первой ацресной части регистра числа ОЗУ и вхоцом регистра ацреса, вход которого подключен также к выхоцу первой адресной части вспомогательного коммутатора, схему сравнения признаков,вхоцы которой поцключены к призначным частям основного и вспомогательного комму4 таторов, а выхоц соединен с управляюшим выхоцом интерпретатора, регистр числа, полноразряцный выхоц которого соецинен с

I вхоцами цешифратора, схемы сравнении и регистра числа ОЗУ, а выхоц регистра числа поцключен к вхоцу основного коммутатора и информационному вхоцу интерпретатора, схему глубины марки, входы которой подключены к выхоцам цешифратора, счетчик относительной глубины марки, вхоц которого соецинен с первым выхоцом

20 схемы глубины марки, а выхоц соединен с индикатором нуля, счетчик абсолютной глу бины марки; вхоц которого поцключен к

: выходу ацресной части основного коммута тора и ко второму выхоцу схемы глубины марки, а первый выхоц счетчика поцключен к входу индикатора нуля и второй выхоц счетчика соецинен с вхоцом счетчика относительной глубины марки и с вхоцом

l0 второй ацресной части рЕгистра числа ОЗУ; регистр просмотра, вхоц которого соецинен с выхоцами адресных частей основного коммутатора, а первый выход регистра соединен с инцикатором нуля и второй выход регистра через схему просмотра соединен

16 с входом регистра адреса и с адресными входами регистра числа ОЗУ, регистр адреса совокупности, вход которого соединен с выходом первой адресной части основного коммутатора, а выход через схему адреса соединен с.входом регистра адреса и адресными входами регистра числа ОЗУ, 446882...дк .,импе

Ри

Редактор Н. Коган Текред В. Рыбакова Корректор Н. Аук

Заказ 1ф,ЯГ Изд. М 505 Тираж 624 Подписное

1.п

1п l1

1ni ,1n R

С-о с.п

Cl l

ГчR

ЦНИИПИ Государственного комитета Совета Министров СССР по делам изобретений и открытий

Москва, 113035, Раунгская наб„4

Предприятие сПатентэ, Москва, Г-59, Бережковская иаб„24

1 я цн

tz (F

D (R