https://github.com/petrenko-alex/turing-machine

[Архив 2015] Реализация Машины Тьюринга / Turing machine realization
https://github.com/petrenko-alex/turing-machine

cpp logic logic-programming logical-operators qt turing-machine turing-machine-simulator visualstudio2015

Last synced: about 1 month ago
JSON representation

[Архив 2015] Реализация Машины Тьюринга / Turing machine realization

• Host: GitHub
• URL: https://github.com/petrenko-alex/turing-machine
• Owner: petrenko-alex
• License: mit
• Created: 2020-07-09T18:36:39.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-09-08T16:30:22.000Z (over 5 years ago)
• Last Synced: 2025-06-12T01:43:59.666Z (12 months ago)
• Topics: cpp, logic, logic-programming, logical-operators, qt, turing-machine, turing-machine-simulator, visualstudio2015
• Language: C++
• Homepage:
• Size: 340 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Turing Machine

Эмулятор детерминированной [Машины Тьюринга](https://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D0%A2%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%B0) на С++ и Qt.

Возможности:

* Наглядное отображение ленты машины, таблицы переходов, текущего состояния и символа ленты

*	Пошаговое выполнение

*	Автоматическое выполнение и остановка

* Импорт/экспорт ленты из файла/в файл

* Импорт/экспорт состояния управляющего устройства из файла/в файл

*	Ручное редактирование ленты

*	Ручное редактирование управляющего устройства

*	Валидация входных данных

[Особенности работы](docs/details.md)

Проект написан на языке C++ с использованием Qt 5. Скомпилирован в Visual Studio 2015. Platform Toolset v140. Qt5.9.

![Default state](/img/default-state.png)

![Ready state](/img/ready-state.png)

![Finish state](/img/finish-state.png)

![Validation error](/img/validation-error.png)