کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6873878 1440709 2018 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On the compressibility of finite languages and formal proofs
ترجمه فارسی عنوان
در فشردگی زبانهای محدود و اثبات های رسمی
ترجمه چکیده
ما یک ترتیب ناپایدار زبانهای محدودی را ایجاد می کنیم و این و چندین نتیجه دیگر را در مورد پیچیدگی زبان و زبان درخت به اثبات رسمی انتقال می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
در فشردگی زبانهای محدود و اثبات های رسمی
چکیده انگلیسی
We construct an incompressible sequence of finite word languages and transfer this and several other results about the complexity of word and tree languages to formal proofs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 259, Part 2, April 2018, Pages 191-213
نویسندگان
, ,