Машина Тьюринга для нахождения остатка от деления?

Question

[ZIK1337]

Под «единичной» системой счисления понимается запись неотрицательного
целого числа с помощью палочек – должно быть выписано столько палочек,
какова величина числа; например: 2 →∣ ∣, 5 →∣ ∣ ∣ ∣ ∣ ∣ , 0 → < пустое слово >.




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

div примерно так реализован:
копируется делитель слева от делимого (слева от "-"), и потом в цикле стираются по одной первой палочке у копии делителя и у делимого, как копия делителя кончилась - добавляется одна палочка в конец слова (после "=")
после вновь копируется делитель (слева от "-") и вновь вычитание, пока не кончится делимое

Comments

[ZIK1337]

Алексей Аминодов-Борисов, нет, там формулировка задания, для div у меня только таблица для МТ, и то от руки, описал словами алгоритм

задание текстом:
Под «единичной» системой счисления понимается запись неотрицательного
целого числа с помощью палочек – должно быть выписано столько палочек,
какова величина числа; например: 2 →∣ ∣, 5 →∣ ∣ ∣ ∣ ∣ ∣ , 0 → < пустое слово >.

Пусть слово имеет следующий вид: ∣∣ ⋯ ∣⊗ ∣∣ ⋯ ∣ (n и m палочек соответственно)
, где ⊗ – один из
знаков +, –, ×, /, ÷, ↑ или ↓, слева от которого указано n палочек, а справа –m
палочек. Реализовать соответствующую операцию в единичной системе
счисления (в качестве ответа выдать слово, указанное справа от стрелки):
д) взятие остатка: ∣∣ ⋯ ∣÷ ∣∣ ⋯ ∣→ ∣∣ ⋯ ∣ (n,m,k палочек соответственно)
( n≥ 0, m≥ 0, k = n mod m)

Answer 1

[ZIK1337]

Никто не знает, как остановиться, если остаток стал меньше делителя?
Пример:
Дано: |||/||

||-|||/||=
|-||/||=
-|/||=|
||-|/||=| - так у меня работает div, после "=" - целая часть при делении
и вот на этом шаге нужно остановиться и зафиксировать в ответ 1 (число между - и /)
но по алгоритму для div у меня сначала удалит еще по палочке, а потом уже закончит, когда увидит, что слева от / ничего нет:
|-/||=|
-/||=|
|

Answer 2

[xmoonlight]

Div сделать вышло, но там у меня при вычитании процесс не останавливается, когда остаток становится меньше делителя.

Сначала проверяем результат, затем - применяем его. У Вас - всё наоборот!

Comments

[ZIK1337]

выходит, что каждый раз проверять, какое число больше?

[xmoonlight]

ZIK1337, если нет другого алгоритма, где можно обойтись без такой проверки - ДА.

[ZIK1337]

xmoonlight, я другого не знаю, поэтому тут и спросил)

[xmoonlight]

ZIK1337, я - тоже, поэтому и дал такой ответ)
(я не исключаю, что могут быть другие варианты поиска остатка от деления, но мне они не известны)