Cтраница 4
Следствие 9.3. Для стековых детерминированных читающих преобразователей над свободными группами разрешимы проблемы эквивалентности относительно результата по данным, памяти, данным-памяти и управлению. [46]
В данной статье мы изучаем транслируемость схем и связанные с ней проблемы эквивалентности, когда нужно определить, эквивалентны ли две схемы в заданном классе. В частности, мы затрагиваем вопросы развития методов решения этих проблем. Нам кажется, что должны существовать некоторые общие методы или по крайней мере можно задать общую форму для существующих хитростей. По существу каждый раздел настоящей статьи содержит применения таких частных методов исследования. [47]
В последнее время были получены новые результаты по исследованию алгоритмической разрешимости проблемы эквивалентности автоматов относительно полугрупп. [48]
Проблема эквивалентности для ( линейных) рекурсивных, схем сводится к проблеме эквивалентности для ( линейных) контекстно-свободных языков. [49]
Задача о представлении формы г формой g над F сводится к проблеме эквивалентности форм над F, ибо ( теорема Полла) для того, чтобы невырожденная К. [50]
Теорема 7.16. В классе LA ( / - распознавателей / - диаметра проблема эквивалентности разрешима. [51]