Полупрозрачная система
-
Определение и свойства системы полу-Тьюринга
- Система полу-Тьюринга — это система перезаписи строк, которая имитирует машину Тьюринга.
- Она включает в себя правила перезаписи, которые удаляют символы из строки, и правила, которые добавляют символы.
- Система полу-Тьюринга является полуавтоматической системой, в которой монадические слова заканчиваются на ту же переменную, что и другие термины.
-
Связь с другими понятиями
- Полуавтоматическая система является особым типом постканонической системы.
- Она эквивалентна неограниченным грамматикам Хомского, которые иногда называют грамматиками полу-Тьюринга.
-
Важность и развитие
- Системы Semi-Thue были разработаны для создания универсальных вычислительных моделей.
- Они были частью программы по созданию систем, которые позволили бы автоматизировать процесс доказательства математических теорем.
-
Квантовая система Туэ
- В квантовых вычислениях понятие квантовой системы Туэ может быть развито.
- Правила перезаписи в квантовой системе Туэ двунаправлены и сохраняют количество символов из заданного подмножества.
-
История и значение
- Системы Semi-Thue были разработаны для добавления дополнительных конструкций к логике.
- Они позволили выразить общие математические теоремы на формальном языке и автоматизировать процесс их доказательства.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: