Эквивалентность двух моделей вычислимости в алгебраических системах
Эквивалентность двух моделей вычислимости в алгебраических системах
Сибирские электронные математические известия, 23, 2, стр. 766-778 (2026)
Аннотация:
In this paper, we study two models of computability over an arbitrary algebraic structure: list-superstructure computability by Ashaev, Belyaev and Myasnikov, and computability of Moschovakis. We prove equivalence of these models for the classes of primitive computable functions. Also we expand the notion of partial computable function in the list-superstructure computability to prove its equivalence to the notion of computable function in the Moschovakis model.
Ключевые слова: generalized computability, list-superstructure, Moschovakis model.
