Лингвофорум

Общий раздел => Наука и техника => Математика => Тема начата: RawonaM от марта 24, 2012, 11:58

Название: Машина Тьюринга
Отправлено: RawonaM от марта 24, 2012, 11:58
Искал симулятор машины, наткнулся ;D



Кто-нибудь знает есть ли симулятор или хотя бы рисовалка автоматов?
Название: Машина Тьюринга
Отправлено: RawonaM от марта 24, 2012, 12:06
Нашел. http://ironphoenix.org/tril/tm/

Щас буду играться :)
Название: Машина Тьюринга
Отправлено: RawonaM от марта 24, 2012, 12:39
Цитата: оrang_baik от марта 24, 2012, 12:02
http://cmcmsu.no-ip.info/1course/
Спасибо орангбайк, ссылка очень полезная. Там хороший симулятор.
Название: Машина Тьюринга
Отправлено: Awwal12 от марта 24, 2012, 13:02
Чего там интересного?.. :donno: В сущности, любая программируемая машина может быть представлена как упрощенный случай машины Тьюринга.
Название: Машина Тьюринга
Отправлено: RawonaM от марта 24, 2012, 13:11
Где интересного? Мне эмулятор нужен, т.к. я уже задолбался в уме считать. Я тут нарисовал машину на страницу, иди блин води пальцами. В эмуляторе посчитал, прикольно.
Вот бы еще найти рисовалку, чтобы рисовать машины эти, чтобы виртуально сдавать задания. А то опять блин марки клеить и т.п.
Название: Машина Тьюринга
Отправлено: Тайльнемер от марта 25, 2012, 10:08
Цитата: RawonaM от марта 24, 2012, 13:11
Вот бы еще найти рисовалку, чтобы рисовать машины эти, чтобы виртуально сдавать задания.
А как вы их рисуете?
Мы всегда их писали буквами и значками.
Название: Машина Тьюринга
Отправлено: RawonaM от марта 25, 2012, 10:17
Цитата: Тайльнемер от марта 25, 2012, 10:08
Цитата: RawonaM от марта 24, 2012, 13:11Вот бы еще найти рисовалку, чтобы рисовать машины эти, чтобы виртуально сдавать задания.
А как вы их рисуете?
Мы всегда их писали буквами и значками.
Схема рисуется, как автомат, только на дугах больше информации.

Я кстати нашел классную рисовалку, которая одновременно умеет нарисованную машину перевести в формулы и засунуть ее тут же в эмулятор, в котором можно воспроизвести.
Название: Машина Тьюринга
Отправлено: RawonaM от марта 25, 2012, 10:19
Вот:
http://www.cs.columbia.edu/~zeph/software/BJDweck/

Чтобы долго не мучиться вот прямая ссылка на программу http://www.cs.columbia.edu/~zeph/software/BJDweck/TuringMachine.jar