کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
439296 690500 2007 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Invertible classes
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Invertible classes
چکیده انگلیسی

This paper considers when one can invert general recursive operators which map a class of functions F to F. In this regard, we study four different notions of inversion. We additionally consider enumeration of operators which cover all general recursive operators which map F to F in the sense that, for every general recursive operator Ψ mapping F to F, there is a general recursive operator in the enumerated sequence which behaves the same way as Ψ on F. Three different possible types of enumeration are studied.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 384, Issue 1, 24 September 2007, Pages 49-65