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

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

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


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

Источник: delete-it
Автор: Николай Максименко
Опубликовано пользователем: 805 (смотреть все)
Комментарии:
» » » Автоматизация дешифрирования алфавита обозначений