Станок до универсальный: Универсальные станки купить по низкой цене в интернет-магазине 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. 25ниток/дюйм

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. 9 dB, (5dB)
Значение вибрации 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.

    Добавить комментарий

    Ваш адрес email не будет опубликован. Обязательные поля помечены *