کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4950638 1440714 2017 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Counting branches in trees using games
ترجمه فارسی عنوان
شمارش شاخه ها در درخت ها با استفاده از بازی ها
کلمات کلیدی
ماشین در درختان بی نهایت، بازی دو نفره، محدودیت کاردینالیت، مجموعه توپولوژیکی بزرگ،
ترجمه چکیده
ما اتوماتای ​​محدودی را که در درخت های باینری بی نهایت در حال اجرا هستند، مطالعه می کنیم. اگر چنین اتفاقی افتاده باشد، معمولا چنین اتفاقی می افتد. در این مقاله، ما مفهوم پذیرش اجرای را با اجازه دادن به یک مقدار مشخص از شاخه های رد می کنیم. دقیق تر ما معیارهای زیر را برای اجرا می پذیریم:
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
شمارش شاخه ها در درخت ها با استفاده از بازی ها
چکیده انگلیسی
We study finite automata running over infinite binary trees. A run of such an automaton is usually said to be accepting if all its branches are accepting. In this article, we relax the notion of accepting run by allowing a certain quantity of rejecting branches. More precisely we study the following criteria for a run to be accepting:
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 252, February 2017, Pages 221-242
نویسندگان
, ,