Автоматизация дешифрирования алфавита обозначений

Приводимая ниже система аксиом и правил вывода, где есть произвольные выражения; есть выражение, формально содержащее выражение; есть произвольные операторы; есть формулы классического исчисления высказываний полна в смысле выводимости каждой истинной формулы для данного множества значений параметров.
По имеющимся в распоряжении автора сведениям перевод программ, составленных в операторной форме Янова — Ляпунова, в код программы для машины «Стрела» осуществляется только полуавтоматически. Каждый символ из последовательности должен быть заменен соответствующим числом. Затем последовательности чисел вводятся в машину, обрабатываются и преобразуются в готовую программу, аналогично тому как это делает программа ИТ.

Пусть нам дана схема программы в обозначениях Янова. Можно написать следующую последовательность преобразований. Предполагается, что дублирование каждого из операторов требует дополнительного объема запоминающего устройства. Рассмотрим результирующую блок-схему, которая составлена по следующей записи программы в обозначениях Янова для задачи на умножение матриц, и является менее удачной, хотя, в то же самое время, метод выполнения умножения менее стандартен, чем предыдущий. Читателю рекомендуется самостоятельно составить блок-схемы всех промежуточных этапов преобразования. В работе Джинела приведены аналогичные вышеизложенным соображения об эквивалентности программ, хотя в несколько» иной трактовке.
Тьюринг описал простую вычислительную машину с запоминающим устройством в виде бумажной ленты, способную считывать с нее и записывать на ней информацию и способную передвигать ленту вправо или влево в зависимости от значения записанных на ней символов. Моор дает аналогичные доказательства результатов, впервые полученных Тьюрингом.

Источник: delete-it