Префиксная эквивалентность

[Infer57]

Здравствуйте, есть проблема с поиском информации по теме "Префиксная эквивалентность. Классы префиксной эквивалентности." А также о связи префиксной эквивалентность с регулярными множествами.
Подскажите, пожалуйста, ресурсы или книги, в которых есть возможность найти какую-либо информацию.
Поиск по гуглу результатов не дал (возможно плохо искал, если так, то ткните, пожалуйста).

[george66]

Если имеются в виду кванторные префиксы формул, то Роджерс "Теория рекурсивных функций и эффективная вычислимость". Если дескриптивная теория множеств, то не знаю. Или ещё что-то?

[Infer57]

К сожалению, то что написал - это всё что мне известно
Даже не совсем понятно, что подразумевается под "классами префиксной эквивалентности"
Но спасибо за наводку, буду пытаться что-то отыскать, хотя бы близкое к этому