Кто-нибудь знает какой-либо хороший справочник по значению симуляции прямолинейности? В настоящее время я глубоко знаком с универсальной средой составления (UC) Canetti, но я не могу найти какой-либо хороший справочник по значению прямолинейного моделирования. Любая помощь приветствуется.
источник
Не существует формального определения того, что значит быть симулятором прямой линии. Это только интуитивная идея, которую можно использовать для неформального описания вещей. Я очень скептически отношусь к тому, можно ли вообще определить, что значит не перематывать машину. Действительно, перемотка машины сама по себе является неформальным термином! Что мы на самом деле имеем в виду, перематывая машину, так это то, что мы можем исследовать множество возможных путей выполнения машины из данного состояния. Формальные аргументы основаны на количестве таких казней, которые нам нужно изучить, прежде чем мы сможем получить люк или другую информацию, которая нам нужна для дальнейшего продолжения нашего доказательства.
источник