کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4952108 1442015 2017 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Algebraic structures computable without delay
ترجمه فارسی عنوان
ساختارهای جبری بدون تاخیر قابل محاسبه است
کلمات کلیدی
ساختار چند جمله ای، جبر خودکار، بازگشت اولیه
ترجمه چکیده
در این مقاله پیشنهاد می شود یک رویکرد سیستماتیک جدید برای مطالعه الگوریتم های ساختارهای جبری از طریق بازگشت اولیه استفاده شود. این رویکرد برای پر کردن فاصله بین تئوری ساختاری قابل توجیه انتزاعی و جبر قابل اجرا (به معنای چندجمله ای زمان، محاسبات یا خودکار) طراحی شده است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
ساختارهای جبری بدون تاخیر قابل محاسبه است
چکیده انگلیسی
In this article we suggest a new systematic approach to studying algorithms on algebraic structures via primitive recursion. The approach is designed to fill the gap between abstract computable structure theory and feasible (in the sense of polynomial-time, computational or automatic) algebra.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 674, 25 April 2017, Pages 73-98
نویسندگان
, , ,