|
Infer57 |
|
|
|
Здравствуйте, есть проблема с поиском информации по теме "Префиксная эквивалентность. Классы префиксной эквивалентности." А также о связи префиксной эквивалентность с регулярными множествами.
Подскажите, пожалуйста, ресурсы или книги, в которых есть возможность найти какую-либо информацию.
Поиск по гуглу результатов не дал (возможно плохо искал, если так, то ткните, пожалуйста).
|
|
|
|
 |
|
george66 |
|
|
|
Если имеются в виду кванторные префиксы формул, то Роджерс "Теория рекурсивных функций и эффективная вычислимость". Если дескриптивная теория множеств, то не знаю. Или ещё что-то?
|
|
|
|
|
|
Infer57 |
|
|
|
Последний раз редактировалось Infer57 11.04.2018, 09:11, всего редактировалось 1 раз.
К сожалению, то что написал - это всё что мне известно
Даже не совсем понятно, что подразумевается под "классами префиксной эквивалентности"
Но спасибо за наводку, буду пытаться что-то отыскать, хотя бы близкое к этому
|
|
|
|
|
