Станок до универсальный: Универсальные станки купить по низкой цене в интернет-магазине OZON
alexxlab | 17.04.2023 | 0 | Разное
Универсальный токарный станок CW61140B (Anyang), China
CW61140B | Anyang
Серия: CW61Макс. диаметр обработки над станиной 1400мм
Макс. диаметр обработки над суппортом 1015мм
Скорость вращения шпинделя 3.15об/мин — 315об/мин
Макс. вес заготовки 6000кг
Варианты систем и механизмов:
Расстояние между центрами:
1500мм
2000мм
3000мм
4000мм
5000мм
6000мм
8000мм
Цена и условия
Цена по запросу
Получить КП
* Цена рассчитана на основе параметров: конфигурация оборудования — стандартная, город доставки — Москва. Стоимость товара и условия продажи не являются публичной офертой. Нажмите здесь для выбора конфигурации систем и элементов.
Характеристики
Производительность
Нажмите для выбора конфигурации:
Опция
Опция
Опция
Опция
Опция
Опция
Опция
Расстояние между центрами
1500мм
2000мм
3000мм
4000мм
5000мм
6000мм
8000мм
Макс. диаметр обработки над станиной
1400мм
Макс. диаметр обработки над суппортом
1015мм
Ширина станины
755мм
Макс. вес заготовки
6000кг
Шпиндельная бабка
Скорость вращения шпинделя
3.15об/мин — 315об/мин
Диапазон скоростей шпинделя
21шт / 12шт
Конус отверстия в шпинделе
№140 метрический
Торец шпинделя
A2-15
Диаметр отверстия шпинделя
130мм
Мощность двигателя шпинделя
22кВт
Подачи
Диапазон продольных подач
0.1мм/об — 12мм/об — 56шт
Диапазон поперечных подач
0. 05мм/об — 6мм/об — 56шт
Ускоренные перемещения
3740мм/мин / 1870мм/мин
Диапазон нарезаемых резьб
Количество метрических резьб
44шт
Шаг нарезания метрической резьбы
1мм — 120мм
Количество дюймовых резьб
31шт
28ниток/дюйм — 0.25ниток/дюйм
Количество модульных резьб
45шт
Шаг нарезания модульной резьбы
0.5модуль — 60модуль
Количество питчевых резьб
38шт
Шаг нарезания питчевой резьбы
0.5D.P. — 56D.P.
Суппорт
Угол поворота плиты
90°
Ход верхней салазки
300мм
Ход нижних поперечных салазок
580мм
Сечение инструмента
45мм x 45мм
Задняя бабка
Макс.
300мм
Диаметр пиноли
160мм
Коническое отверстие пиноли задней бабки
КМ6
Двигатели и источник питания
Напряжение
380В / 50Гц
*Технические характеристики могут быть изменены без предварительного уведомления.
Тяжелый универсальный токарный станок CW61100B с диаметром обработки над станиной 1400мм.
Станок предназначен для высокоточной черновой, получистовой и чистовой обработки деталей типа “вал” большого диаметра длиной до 12 метров, а так же крупногабаритных деталей таких, как крышки, фланцы, диски, шкивы и т.д. Выполняет токарную обработку внутреннх и внешних поверхностей цилиндрических деталей, нарезание внутреннеих и внешних конусов, нарезание метрической, дюймовой, модульной, питчевой резьб. Так же может выполнять работы по сверлению и рассверливанию отверстий, нарезанию канавок.
Особенности:
- Вес обрабатываемой заготовки 6000кг;
- Диаметр обработки над станиной 1400мм;
- Большой диаметр отверстия в шпинделе: 130мм;
- Максимальная длина заготовки: 1500mm/2000mm/3000mm/4000mm/5000mm/6000mm/8000mm/10000mm/12000mm;
- Максимальная длина обработки: 1300mm/1800mm/2800mm/3800mm/4800mm/5800mm/7800mm/9800mm/11800mm;
- Может оснощаться двухосевым УЦИ;
Серия
CW61100
CW61100B
CW61125B
CW61140B
CW61160B
CW6163B
CW6180
CW6180B
CW6194B
Производительность
Макс. диаметр обработки над станиной
1000мм
1000мм
1250мм
1400мм
1640мм
630мм
800мм
800мм
940мм
Макс. диаметр обработки над суппортом
680мм
615мм
865мм
1015мм
1250мм
350мм
480мм
520мм
660мм
Ширина станины
600мм
755мм
755мм
755мм
755мм
550мм
600мм
550мм
550мм
Макс. вес заготовки
2000кг
6000кг
6000кг
6000кг
6000кг
1500кг
2000кг
1500кг
1500кг
Шпиндельная бабка
Скорость вращения шпинделя
6об/мин — 750об/мин
3.15об/мин — 315об/мин
3.15об/мин — 315об/мин
3.15об/мин — 315об/мин
3.15об/мин — 315об/мин
7.5об/мин — 1000об/мин
6об/мин — 750об/мин
6об/мин — 800об/мин
6об/мин — 800об/мин
Диапазон скоростей шпинделя
18шт / 6шт
21шт / 12шт
21шт / 12шт
21шт / 12шт
21шт / 12шт
18шт
18шт / 6шт
18шт
18шт
Конус отверстия в шпинделе
№120 метрический
№140 метрический
№140 метрический
№140 метрический
№140 метрический
№120 метрический
№120 метрический
№120 метрический
№120 метрический
Торец шпинделя
—
A2-15
A2-15
A2-15
A2-15
C11
—
C11
C11
Диаметр отверстия шпинделя
—
130мм
130мм
130мм
130мм
100мм
—
100мм
100мм
Мощность двигателя шпинделя
11кВт
22кВт
22кВт
22кВт
22кВт
11кВт
11кВт
11кВт
11кВт
Подачи
Диапазон продольных подач
0. 1мм/об — 24.32мм/об — 64шт
0.1мм/об — 12мм/об — 56шт
0.1мм/об — 12мм/об — 56шт
0.1мм/об — 12мм/об — 56шт
0.1мм/об — 12мм/об — 56шт
0.1мм/об — 24.32мм/об — 64шт
0.1мм/об — 24.32мм/об — 64шт
0.1мм/об — 24.32мм/об — 64шт
0.1мм/об — 24.32мм/об — 64шт
Диапазон поперечных подач
0.05мм/об — 12.16мм/об — 64шт
0.05мм/об — 6мм/об — 56шт
0.05мм/об — 6мм/об — 56шт
0.05мм/об — 6мм/об — 56шт
0.05мм/об — 6мм/об — 56шт
0.05мм/об — 12.16мм/об — 64шт
0.05мм/об — 12.16мм/об — 64шт
0.05мм/об — 12.16мм/об — 64шт
0.05мм/об — 12.16мм/об
Ускоренные перемещения
4000мм/мин / 4000мм/мин
3740мм/мин / 1870мм/мин
3740мм/мин / 1870мм/мин
3740мм/мин / 1870мм/мин
3740мм/мин / 1870мм/мин
4000мм/мин / 4000мм/мин
4000мм/мин / 4000мм/мин
4000мм/мин / 4000мм/мин
4000мм/мин / 4000мм/мин
Диапазон нарезаемых резьб
Количество метрических резьб
50шт
44шт
44шт
44шт
44шт
50шт
50шт
50шт
50шт
Шаг нарезания метрической резьбы
1мм — 240мм
1мм — 120мм
1мм — 120мм
1мм — 120мм
1мм — 120мм
1мм — 240мм
1мм — 240мм
1мм — 240мм
1мм — 240мм
Количество дюймовых резьб
26шт
31шт
31шт
31шт
31шт
26шт
26шт
26шт
26шт
Шаг нарезания дюймовой резьбы
14ниток/дюйм — 1ниток/дюйм
28ниток/дюйм — 0.
28ниток/дюйм — 0.25ниток/дюйм
28ниток/дюйм — 0.25ниток/дюйм
28ниток/дюйм — 0.25ниток/дюйм
14ниток/дюйм — 1ниток/дюйм
14ниток/дюйм — 1ниток/дюйм
1ниток/дюйм — 14ниток/дюйм
14ниток/дюйм — 1ниток/дюйм
Количество модульных резьб
53шт
45шт
45шт
45шт
45шт
53шт
53шт
53шт
53шт
Шаг нарезания модульной резьбы
0.5модуль — 120модуль
0.5модуль — 60модуль
0.5модуль — 60модуль
0.5модуль — 60модуль
0.5модуль — 60модуль
0.5модуль — 120модуль
0.5модуль — 120модуль
0.5модуль — 120модуль
0.5модуль — 120модуль
Количество питчевых резьб
24шт
38шт
38шт
38шт
38шт
24шт
24шт
24шт
24шт
Шаг нарезания питчевой резьбы
28D.P. — 1D.P.
0.5D.P. — 56D.P.
0.5D.P. — 56D.P.
0.5D.P. — 56D.P.
0.5D.P. — 56D.P.
28D.P. — 1D.P.
28D.P. — 1D.P.
1D. P. — 28D.P.
28D.P. — 1D.P.
Суппорт
Угол поворота плиты
90°
90°
90°
90°
90°
—
90°
—
—
Ход верхней салазки
200мм
300мм
300мм
300мм
300мм
200мм
200мм
200мм
200мм
Ход нижних поперечных салазок
500мм
520мм
580мм
580мм
630мм
440мм
500мм
540мм
570мм
Сечение инструмента
32мм x 32мм
45мм x 45мм
45мм x 45мм
45мм x 45мм
45мм x 45мм
32мм x 32мм
32мм x 32мм
32мм x 32мм
32мм x 32мм
Задняя бабка
Макс. ход пиноли задней бабки
250мм
300мм
300мм
300мм
300мм
250мм
250мм
250мм
250мм
Диаметр пиноли
100мм
160мм
160мм
160мм
160мм
100мм
100мм
100мм
100мм
Коническое отверстие пиноли задней бабки
КМ6
КМ6
КМ6
КМ6
КМ6
КМ5
КМ6
КМ5
КМ5
Двигатели и источник питания
Напряжение
380В / 50Гц
380В / 50Гц
380В / 50Гц
380В / 50Гц
380В / 50Гц
380В / 50Гц
380В / 50Гц
380В / 50Гц
380В / 50Гц
KBU 35 Q Универсальный магнитный станок для корончатого сверления (до 35 мм)
Небольшой односкоростной универсальный магнитный станок для корончатого сверления с мощным ходом, правое и левое вращение, максимальная функциональность, обеспечивающая гибкость при выполнении работ на строительной площадке.
- Сверхпрочная износостойкая конструкция станка с защитным шлангом с подшипником, обеспечивающим возможность вращения кабеля двигателя, для жестких условий применения на промышленных предприятиях и в мастерских.
Идеальное соотношение массы и мощности благодаря компактной, легкой конструкции и мощному двигателю FEIN на 1 100 Вт со стабильной частотой вращения и электронным тахометром. Для надежной и экономичной работы.
Правое и левое вращение, электронная регулировка частоты вращения и диапазон хода шпинделя 260 мм открывают универсальные возможности применения: корончатое сверление, спиральное сверление, нарезание резьбы, а также зенковка и развертка.
Маленький и легкий.
Простые и интуитивно понятные элементы управления, расположенные в поле зрения пользователя.
Удобный визуальный индикатор удерживающей силы магнита.
Высокая удерживающая сила магнита.
Фиксатор наклона.
Дополнительный выключатель электромагнита в сверлильной стойке.
Встроенный бачок для смазочно-охлаждающей жидкости.
Установка рукоятки подачи с любой стороны.Устройство запоминания частоты вращения Memory Function.
Защитный выключатель.
Технические характеристики
ОБЩИЕ ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ |
Номинальная потребляемая мощность | 1 100 Вт |
Эффективная мощность | 550 Вт |
Скорость вращения под нагрузкой | 130 – 520 об/мин |
Макс. Ø корончатого сверла | 35 мм |
Макс. Ø корончатого сверла HSS | 35 мм |
Макс. глубина сверления корончатого сверла | 50 мм |
Макс. Ø спирального сверла | 16 мм |
Нарезание резьбы до | M 14 |
Макс. Ø зенковки | 31 мм |
Макс.![]() | 16 мм |
Зажим для корончатого сверла | QuickIN |
Замена корончатого сверла | без инструмента |
Ход | 135 мм |
Полный диапазон хода | 260 мм |
Усилие удерживания магнитом | 10 000 Н |
Размеры магнитной стойки | 175 x 80 мм |
Кабель с штекером | 4 м |
Вес согласно EPTA | 10,70 кг |
УРОВЕНЬ ВИБРАЦИИ/УРОВЕНЬ ШУМА |
Уровень шума LpA, (Погрешность измеренного значения KpA) | 82,3 dB, (5 dB) |
Уровень звуковой мощности LWA, (Погрешность измеренного значения KWA) | 93.3 dB, (5dB) |
Пиковый уровень звука LpCpeak, (Погрешность измеренного значения KpCpeak) | 95.![]() |
Значение вибрации 1 αhv 3-ход, (Погрешность измеренного значения Kα) | αh,D <2,5 m/s², (1,5 m/s²) |
Оснащение
- Индикация удерживающей силы магнита
- Правое/левое вращение
- Снижение числа оборотов с помощью электроники
- Функция памяти
- Тахоэлектроника для регулирования скорости вращения
- Датчик наклона
КОМПЛЕКТ ПОСТАВКИ |
Емкость для СОЖ | 1шт |
Ремень для крепления | 1шт |
Крючок для стружки | 1шт |
Центровочных штифта | 1шт |
Устройство защиты от прикосновения | 1шт |
Чемоданчик | 1шт |
Разница между машиной Тьюринга и универсальной машиной Тьюринга
Улучшить статью
Сохранить статью
- Последнее обновление:
10 января 2023 г.
Улучшить статью
Сохранить статью
Машина Тьюринга была впервые описана Аланом Тьюрингом в 1936 году. В первую очередь она была изобретена для исследования вычислимости данной задачи. Он принимает грамматику типа 0, которая является рекурсивно-перечислимым языком. Машина Тьюринга имеет ленту бесконечной длины, на которой мы можем выполнять операции чтения и записи. Бесконечные ячейки машины Тьюринга могут содержать входные символы и пробелы. У него есть головной указатель, который может двигаться в любом направлении, он указывает на ячейку, где считывается ввод.
Универсальная машина Тьюринга имитирует машину Тьюринга. Универсальную машину Тьюринга можно рассматривать как подмножество всех машин Тьюринга, она может соответствовать или превосходить другие машины Тьюринга, включая себя. Универсальная машина Тьюринга похожа на единую машину Тьюринга, у которой есть решение всех вычислимых задач. Он содержит описание машины Тьюринга в качестве входных данных вместе с входной строкой, запускает машину Тьюринга на входных данных и возвращает результат.
Разница между машиной Тьюринга и универсальной машиной Тьюринга заключается в следующем:
Turing Machine | Universal Turing Machine | |
1. | Это математическая модель. Универсальная машина Тьюринга похожа на единую машину Тьюринга, имеющую решение всех вычислимых задач | |
2. | Программу можно сравнить с машиной Тьюринга | Программируемая машина Тьюринга называется универсальной машиной Тьюринга |
3. | Временным хранилищем машины Тьюринга является лента. Бесконечные ячейки машины Тьюринга могут содержать входные символы и пробелы. | Универсальная машина Тьюринга содержит описание машины Тьюринга в качестве входных данных вместе со входной строкой, запускает машину Тьюринга на входных данных и возвращает результат.![]() |
4. | Машины Тьюринга помогают нам понять фундаментальные ограничения мощности механических вычислений | Хотя она была разработана по теоретическим причинам, она помогла в разработке компьютеров с хранимой программой. вычислимы |
6. | Не минимизирует пространственную сложность | Минимизирует пространственную сложность |
7, | Функция перехода, которую выполняет машина Тьюринга, определяется как }, где δ — функция перехода | Функция перехода Q × T → Q × T × {L, R}, где Q — конечное множество состояний, T — лента алфавита |
8. | В теории множеств точка Посмотреть, все машины Тьюринга образуют набор всех устройств, которые принимают грамматику типа 0 | Универсальная машина Тьюринга является подмножеством всех машин Тьюринга |
Статьи по теме
Что нового
Мы используем файлы cookie, чтобы гарантировать вам иметь лучший опыт просмотра на нашем веб-сайте. Используя наш сайт, вы
подтверждаете, что вы прочитали и поняли наши Политика в отношении файлов cookie и Политика конфиденциальности
Универсальная машина Тьюринга
Универсальная машина Тьюринга Манолис Камвисселис – [email protected]Машина Тьюринга — это математический инструмент, эквивалентный цифровому компьютер. Это было предложено математиком Тьюрингом в 30-х годах, и с тех пор является наиболее широко используемой моделью вычислений в вычислимость и теория сложности.
Модель состоит из отношения ввода-вывода, которое машина вычисляет. Входные данные подаются в двоичной форме на ленте машины, а вывод состоит из содержимого ленты, когда машина останавливается.
Что определяет способ изменения содержимого ленты? конечный автомат (или FSM, также называемый конечным автоматом) внутри Машина Тьюринга. FSM определяется количеством состояний, в которых он имеет и переходы между ними.
На каждом шаге текущее состояние и символ читаются на
лента определяет следующее состояние, в котором будет находиться FSM, символ, который
машина выведет на ленту (возможно прочитанную, оставив
содержание без изменений), и в каком направлении движется голова, влево
или вправо.
Проблема с машинами Тьюринга в том, что другая машина должна строиться для каждого нового вычисления, которое должно быть выполнено, для каждого отношение ввода-вывода.
Вот почему мы вводим понятие универсальной машины Тьюринга. (UTM), который наряду с вводом на ленту принимает описание машины M. Затем UTM может имитировать M на остальное содержимое входной ленты. Универсальная машина Тьюринга Таким образом, можно имитировать любую другую машину.
Я узнал о машинах Тьюринга в первом семестре второго года обучения в
Массачусетский технологический институт (осень 96), в 6.004 (Вычислительные структуры), лучший класс когда-либо
задумал. Была поздняя ночь, когда я начал свою задачу.
Написание машины Тьюринга для вычисления некоторой операции. Чтобы проверить свой результат, я
подумал, что могу написать универсальную машину Тьюринга на схеме, чтобы помочь мне сделать
мой проблемный набор. Затем я мог бы передать ему свое описание и пример ввода, и
он бы имитировал любую машину для меня. К моему удивлению, через два часа
программа работала, и я мог приступить к остальной части моего набора задач (вы можете
читайте дальше или просто скачайте код схемы).
;; ;; 22.10.96 3:00-5:00: Манолис Камвисселис - [email protected] ;; ;; Программа, используемая для проверки решений набора задач 6.004. ;; Моделирование машины Тьюринга ;; глобальные переменные, используемые процедурами. ;; Они меняются на каждом этапе и должны быть повторно инициализированы перед запуском другого ;; например, запустив: (настройка начального состояния ленты с графом состояний (определить *машину* '()) ; машина в настоящее время работает (определить *состояние* 's1) ; состояние, в котором находится текущая машина (определить *позиция* 0) ; положение, в котором лента читается (определить *ленту* #()) ; лента, на которой в данный момент работает текущая машина ;; Следующая процедура берет граф состояний (см. примеры ниже) и превращает его в ;; на машину, где каждое состояние представлено только один раз, в списке, содержащем: ;; структура вида: ;; ((состояние (in out move next-state) (in out move next-state) (in out move next-state)) ;; (состояние2 (следующее состояние на выходе)) ;; (state3 (in out move next-state) (in out move next-state))) ;; ;; За каждым именем состояния следует список комбинаций входов (читается на ленте) ;; и соответствующий вывод (записанный на ленте), направление движения (влево или вправо), ;; и следующее состояние, в котором будет находиться машина.;; ;; Вот машина, возвращенная (инициализировать флип) (как определено в конце этого файла) ;; ;; ((s4 (0 0 л ч)) ;; (s3 (1 1 r s4) (0 0 l s3)) ;; (s2 (0 1 l s3) (1 0 r s2)) ;; (s1 (0 1 r s2) (1 1 л s1))) (определить (инициализировать граф состояний) (определить (расширить состояние машины на ходу) (если (нуль? состояние на вынос) машина (пусть ((текущее состояние (первые готовые состояния)) (соответствует #f)) (расширить (начать (для каждого (лямбда) (состояние) (если (равно? (состояние-имя-состояние) (автомобиль-состояние)) (начало (набор! соответствует #t) (set-cdr! состояние (против (cdr cur-состояние) (состояние cdr))))) машина) (если совпадает машина (минусы (список (имя состояния текущее состояние) (текущее состояние cdr)) машина))) (cdr готов к работе))))) (расширить '() граф состояний)) ;; Настройка — это удобная процедура для инициализации и тестирования нового графика. ;; Он позаботится о чтении графика и инициализации глобальных переменных. ;; Как только это будет сделано, все, что нужно сделать, это запустить программу (выполнить) или переместить шаг ;; пошагово (step) для отладки (определить (установить позицию состояния ленты) (установить! *машина* (инициализировать граф состояний)) (набор! *лента* лента) (установить! *состояние* состояние) (установить! *позиция* позиция)) ;; Ниже приведены процедуры, реализующие машину Тьюринга.
;; Он может писать, читать, двигаться и т.д. (определить (установить состояние! состояние) (установить! *состояние* состояние)) (определить (установить позицию! позицию) (установить! *позиция* позиция)) (определить (сделать-переместить-сделать-сделать) (состояние ((равно? сдвинуть, чтобы сделать 'R) (сдвинуть вправо)) ((равно? переместить, чтобы сделать 'L) (переместить влево)) (иначе (ошибка "я не знаю, какой ход сделать: " ход-сделать)))) (определить (переместить вправо) (установить! *позиция* (+ *позиция* 1))) (определить (переместить влево) (установить! *позиция* (- *позиция* 1))) (определить (записать вывод) (набор векторов! *лента* *позиция* вывод)) (определить (прочитать) (вектор-ссылка *лента* *позиция*)) ;; Следующие конструкторы и селекторы реализуют данные ;; структуры, используемые программой. ;; Состояние: '(s1 (0 1 r s2) (1 1 l s1)) ;; (см. выше) (определить название автомобиля) (определить спецификацию состояния cdr) ;; возвращает ==> '((0 1 r s2) (1 1 л s1)) ;; (список спецификаций) ;; спецификация: (ввод-вывод переходит в следующее состояние) ;; Он определяет для данного входа, выхода, направления движения и ;; следующее состояние.
(определить спец-вход автомобиля) (определить спецификацию-результат cdr) ;; результат: (выходное перемещение в следующее состояние) ;; Это все, что мы должны вывести из состояния и ввода, ;; чтобы иметь возможность продолжить нашу программу. (определить результат-выход автомобиля) (определить результат-движение кадра) (определить результат-состояние caddr) ;; Эта процедура просматривает нашу *машину*, чтобы найти состояние ;; чье имя ему дано, и возвращает состояние со всеми ;; его спецификаций. (определить (получить имя состояния по имени) (определить (вспомогательные состояния готовности) (если (нуль? состояние на вынос) (ошибка "Ссылка на неопределенное состояние" имя) (если (равно? (имя-состояния (состояния-в-движение)) имя) (автомобили готовы к работе) (помощник (cdr states-to-go))))) (помощник *машина*)) ;; Эта процедура вызывается с выводом предыдущей процедуры (состояние) ;; и ввод (чтение с ленты), и он возвращает действия для выполнения ;; (что писать, куда двигаться, в какое состояние переходить), в виде: ;; (текущее состояние (выходное направление движения, следующее состояние)) (определить (ввод состояния «что делать») (определить (вспомогательные спецификации для ввода) (если (нуль? спецификации на будущее) (ошибка "Обнаружен неопределенный ввод в состояние\n Вы не сказали мне, что делать в состоянии" (состояние-имя-состояние) 'с' вводом ввода) (если (равно? (спецификация (автомобиля на вынос)) ввод) (список (состояние-название состояния) (спецификация-результат (текущие характеристики автомобиля))) (помощник (cdr specs-to-go) input)))) (вспомогательный ввод (состояние спецификации состояния)) ;; пример: ;; (получить-что-делать (получить-состояние-по-имени 's1) 0) ;; ;Значение: (s1 (1 r s2)) ;; следующие селекторы имеют дело с выводом get-what-to-do ;; что делать имеет форму: (текущее состояние (выходное движение, следующее состояние)) (определить, что выводить caadr) (определить куда переместить кадастр) (определить (что делать дальше) (машина (кддадр что делать))) ;; Отправка вывода (чтобы пользователь знал, что происходит) (определить (описать-переместить состояние ввода-вывода) (новая линия) (display (list 'input: input' output: output 'move: move' state: state 'position: *position*': (читать)))) (определить (описать текущую позицию) (новая линия) (отобразить (список *лента* *состояние* *позиция* (прочитано)))) (определить (возврат текущей позиции) (список *лента* *позиция* *состояние*)) ;; и вот процедуры, которые заставляют все работать ;; Как только глобальные переменные установлены соответствующим образом (либо автоматически ;; работающий (настройка.
..) или вручную (для отладки), вызвав процедуру ;; (шаг) заставит машину Тьюринга выполнить одно действие. (определить (шаг) (пусть* ((что-делать (получить-что-делать (получить-состояние-по-имени *состояние*) (читать))) (вывод (что-выводить-что-делать)) (переместить (куда-переместить-что-делать)) (состояние (что-следующее-состояние, что-делать))) ; (описать-движение входного результата выходного состояния перемещения) (записать вывод) (делай-двигайся-двигайся) (установить состояние! состояние) (опишите текущее положение))) ;; Все, что (запуск) делает, это вызов (шаг), пока состояние не станет «остановленным» (здесь 'h) (определить (выполнить) (если (равно? *состояние* 'h) (возврат текущей позиции) (начать (шаг) (бежать)))) ;; А вот собственно тесты, относящиеся к поставленной задаче ;; flip переворачивает унарное число 01111110 на 10000001. (определить флип '( (с1 1 1 л с1) (с1 0 1 Р с2) (s2 1 0 R s2) (s2 0 1 л s3) (s3 0 0 L s3) (с3 1 1 Р с4) (s4 0 0 л Н))) (определить ленту1 (список->вектор '(_ _ _ _ _ _ _ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _))) ;; Мы запустим тест на ленте 1 (см.
выше), начиная с состояния s1 и с позиции 17 ленты (произвольный выбор). (установка флип-ленты 1 s1 17) (бегать) ;; Вот результат: ;; (я взял на себя смелость стереть строки, где только двигался указатель, не меняя ;; входы, выходы, состояние, но только положение на ленте (как вы можете заметить в самой правой части вывода). ;; (#(_ _ _ _ _ _ _ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) с1 16) ;; (#(_ _ _ _ _ _ _ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) с1 7) ;; (#(_ _ _ _ _ _ _ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 8) ;; (#(_ _ _ _ _ _ _ 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) с2 9) ;; (#(_ _ _ _ _ _ _ 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 10) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 11) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 12) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 13) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 14) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 15) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 16) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 17) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 18) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) с2 19) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) с2 20) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 21) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 22) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 23) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 24) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 25) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s2 26) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s3 25) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s3 7) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) s4 8) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) ч 7) ;; (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) ч 7) ;Значение: (#(_ _ _ _ _ _ _ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) 7 ч) ;; это второй А задачи 1 ;; Он принимает унарное число и удваивает его: 011110 -> 0111111110.