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