Тег

Рекурсивный метод

Рекурсивный метод
Найденo 4 статьи
Научные теории, концепции, гипотезы, модели
Система Туэ
Систе́ма Ту́э, ассоциативное исчисление, названное по имени А. Туэ, который впервые сформулировал проблему распознавания равенства слов в ассоциативных системах (проблема Туэ; Thue. 1914). Если при задании системы Туэ допустимыми подстановками считать только подстановки правых частей соотношений вместо левых частей (т. е. исключить обратные подстановки), то получим полусистемы Туэ, которые фактически совпадают также с локальными каноническими системами Поста.
Математика
Термины
Перечислимое множество
Перечисли́мое мно́жество, множество, возникающее в результате развёртывания какого-либо конструктивного порождающего процесса. Такой процесс можно мыслить как процесс вычисления значений некоторого алгоритма с исходными данными в виде натуральных чисел, и потому, например, определению перечислимого множества натуральных чисел можно придать следующий точный вид: множество натуральных чисел называется перечислимым, если существует такая частично рекурсивная функция, что это множество является множеством её значений.
Математика