Регистр-машина [RM]: программное обеспечение RM

Программное обеспечение RM позволяет создавать приложения RM. Оно работает с включенным JavaScript в большинстве современных браузеров.

Больше информации о поступлении к алгоритмическому мышлению Inge Schwank
- формально-символический уровень: Registermaschine
- активно-гаптический/иконно-динамический уровень: Dynamische Labyrinthe


Реализация совместно с Инге Шванком: Штеффена Фогеля
Обратная связь: Inge Schwank


Определение: модульные программы RM

Пусть i ∈ ℕ, i > 0. Далее:
Ri обозначение регистра и регистровой машины;
[Ri] обозначение содержимого регистра i, это может быть любое натуральное число.

Синтаксис

Семантика


Структурирование на подпроблемы --- Определение: подпрограмма RM

Синтаксис

Семантика


Мера сложности --- функция шага вычисления

Если функция f вычисляется программой RM Pf функция номера шага вычисления RS Pfможет быть использована для определения усилий, необходимых для вычисления. В расчет усилий включаются все исполненные элементарные команды, то есть все необходимые для расчета случаи выполнения Ai i Si.
Пример:
С помощью Pa: (1S1A2) можно вычислить функцию a(x1,x2)=x1+x2.
В этом случае вычислительные усилия зависят только от x1, но не от x2 ab.
Результаты арифметической шаговой функции для Pa:
RSPa(x1)=2x1  

Быстрый старт

Есть два разных режима: Чтобы переключиться между этими двумя режимами, необходимо ввести (синтаксически) правильную программу РМ в прямоугольное белое поле, свободное, за исключением одной черной точки.
Изменение вносится с помощью переключателя «Инициализировать программу» / «Редактировать программу», который находится слева вверху, непосредственно под заголовком «Программа RM».


RM-программа

Регистр


Основная программа требует больше регистров, чем было создано.
R1:
R2:
R3:
R4:
Установите значения регистра на:

Программа

.

Подпрограмма

Загружать программы по умолчанию при инициализации

История программы

(со стеком рекурсии)

Шаги расчета: 0

Программа может попасть в бессконечный цикл, так как в стек рекурсии вносится много конфигураций без вызова Ai либо Si. Пожалуйста, проверьте приложение и, если вы хотите, чтобы оно продолжилось, снова нажмите одну из кнопок Шаг.

Программа пытается вызвать неопределенную подпрограмму. Выделите режим редактирования программы и определите подпрограмму.

Рулевое управление

Параметры

Проверяйте программы по мере ввода
Показать количество шагов расчета
Показать историю программы

Сохранение и загрузка программ

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

Предопределенные подпрограммы RM

Обратите внимание, что эти предопределенные подпрограммы RM могут быть перезаписаны вашими собственными определениями.

вызов RM-программа Значение
Li<i> (iSi). погасить
Ti<j> (jSjAi). транспортировать
Ki<j> (jSjAiAh)(hShAj). копировать
Ae<i,j> Ke<i>Ke<j>. нормированное сложение
Me<i,j> Kh<i>(hShKe<j>). нормированное умножение

Инструкции



Letzte Änderung: 27. März 2023.
Copyright: Universität zu Köln
Datenschutzerklärung; Impressum