کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8960186 1646386 2018 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On store languages of language acceptors
ترجمه فارسی عنوان
در زبان های فروشگاه زبان گیرندگان
کلمات کلیدی
فروشگاه زبان ها، ماشین تورینگ، سازه های ذخیره سازی، فاکتور درست خودکار
ترجمه چکیده
به خوبی شناخته شده است؟ از هر دستگاه اتوماتیک خاموش - مجموعه ای از تنظیمات فروشگاه (محتوای حالت و پشته) که می تواند به عنوان یک گام میانجی در پذیرش محاسبات ظاهر شود، یک زبان معمولی است. در اینجا بسیاری از مدل های گیرندگان زبان با ساختارهای فروشگاه های مختلف مورد بررسی قرار می گیرند و همچنین به بررسی زبان های فروشگاه آنها می پردازیم. برای هر مدل، تلاش برای پیدا کردن ساده ترین مدل که زبان های فروشگاه خود را پذیرفته است. برخی از ارتباطات بین زبان های فروشگاه ماشین های یک طرفه و دو طرفه نشان داده شده است، همانطور که در ارتباط بین ماشین های غیرتمرنی و جسمی است. کاربرد خوبی از این نتایج زبان فروشگاه نیز ارائه شده است، نشان داده شده است روش عمومی برای اثبات خانواده پذیرفته شده توسط بسیاری از مدل های قطعی بسته تحت حق متعادل با زبان های منظم بسته شده، حل برخی از سوالات باز (و به طور قابل توجهی ساده مدارک برای دیگران شناخته شده) در ادبیات. محدودیت های پایین تر در مورد پیچیدگی فضایی ماشین های تورینگ برای داشتن زبان های غیر منظم فروشگاه به دست آمده است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
It is well known that the “store language” of every pushdown automaton - the set of store configurations (state and stack contents) that can appear as an intermediate step in accepting computations - is a regular language. Here many models of language acceptors with various store structures are examined, along with a study of their store languages. For each model, an attempt is made to find the simplest model that accepts their store languages. Some connections between store languages of one-way and two-way machines are demonstrated, as with connections between nondeterministic and deterministic machines. A nice application of these store language results is also presented, showing a general technique for proving families accepted by many deterministic models are closed under right quotient with regular languages, resolving some open questions (and significantly simplifying proofs for others that are known) in the literature. Lower bounds on the space complexity of Turing machines for having non-regular store languages are obtained.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 745, 12 October 2018, Pages 114-132
نویسندگان
, ,