کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422006 684999 2008 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On Finite-time Computability Preserving Conversions
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
On Finite-time Computability Preserving Conversions
چکیده انگلیسی

A finite-time computable function is a partial function from Σω to Σω whose value is constructed by applying finite number of list operations ‘cons’ and ‘head’ to the argument. A finite-time computability preserving conversion α:X→Y for X,Y⊂Σω is a bijection which preserves finite-time computability. We show that all the finite-time computability preserving conversions with the domain Σω are extended sliding block functions.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 221, 25 December 2008, Pages 299-308