Следующие страницы ссылаются на «Проверка эквивалентности программ при помощи двухленточных автоматов»: