کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950067 | 1440361 | 2016 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On the Representation of Semigroups and Other Congruences in the Lambda Calculus
ترجمه فارسی عنوان
در نمایندگی نیمه گروه ها و دیگر همپوشانی ها در محاسبات لامبدا
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
محاسبات لامبدا نیمه گروه ها، نمایندگی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We show that every semigroup with an RE word problem can be pointwise represented in the lambda calculus. In addition, we show that the free monoid generated by an arbitrary RE subset of combinators can be represented as the monoid of all terms which fix a finite set of points.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 325, 5 October 2016, Pages 299-304
Journal: Electronic Notes in Theoretical Computer Science - Volume 325, 5 October 2016, Pages 299-304
نویسندگان
Rick Statman,