اتوماتون بوچی

اتوماتون بوچی (زبان انگلیسی: Büchi automaton) را می‌توان به عنوان اتوماتونی در نظر گرفت که می‌توانند رشته‌های نامتناهی الفبا را بپذیرد. این اتوماتون اولین بار توسط ژولیوس ریچارد بوچی (Julius Richard Büchi) منطق‌دان سوئیسی در سال ۱۹۶۲ معرفی شد.[۱] اگر ω را به عنوان مجموعه اعداد طبیعی و Σ رابه عنوان الفبا در نظر بگیریم یک کلمه نامتناهی (یا یک ω-کلمه) را می‌توان به عنوان یک تابع از ω به Σ در نظر گرفت به این ترتیب مجموعه تمام کلمه‌های نامتناهی را با نشان می‌دهیم.

Julius Richard Büchi

تعریف

یک اتوماتون بوچی قطعی ۵ تایی   است که در ان:

  • Q مجموعه ای محدود از حالات است.
  • Σ مجموعه‌ای محدود از نمادها است که الفبای A یا الفبای ورودی خوانده می‌شود.
  •   تابع انتقال است.
  •   عضوی از Q است و حالت ابتدایی نامیده می‌شود
  •   مجموعه حالات قبول یا پایانی خوانده می‌شود.

فرض کنید   یک اتوماتون بوچی متناهی باشد در این صورت یک تعمیم طبیعی از مفهوم اجرا (نسبت به اتوماتون قطعی متناهی) می‌تواند مطرح شود که به این صورت است که یک اجرا روی یک کلمه نامتناهی   را به صورت دنبالهٔ   تعریف می‌کنیم که از s شروع می‌کنیم و با   به   و سپس با   به   و… می‌رویم. به عنوان مثال در این اتوماتون:

 
A non-deterministic Büchi automaton that recognizes (0∪۱)*0ω

اگر   در اینصورت   یه اجرای A است.

در این صورت می‌گوییم ماشین A رشته σ را قبول می‌کند اگر اجرایی وجود داشته باشد که در ان حداقل یکی از حالات قبول را به تعداد نامتناهی دیده باشیم.

در اتوماتون بوچی غیرقطعی به‌جای تابع انتقال، رابطهٔ انتفال مطرح است و مانند NFA هر حالت تحت رابطهٔ انتقال به مجموعه ای از حالات منجر می‌شود و به‌جای حالت آغازی مجموعه از حالات ابتدایی در نظر گرفته می‌شود. در حالت کلی وقتی کلمه اتوماتون بوچی را به تنهایی به کار می‌بریم منظورمان اتوماتون بوچی غیرقطعی است.

زبان‌های قابل تشخیص توسط اتوماتون بوچی

مجموعه تمام ω-کلمه‌های را که یک بوچی اتوماتون قبول می‌کند زبان ان بوچی اتوماتون می‌گویند. حالا یک زبان   را بوچی تشخیص پذیر می‌گوییم اگر بوچی اتوماتون M ای پیدا شود که   . یک زبان بوچی تشخیص پذیر است اگر و فقط اگر یک زبان امگا‌ی منظم باشد. مثلاً   .

ویژگی‌های بستاری

فرض کنید A,B دو بوچی اتوماتون باشند و C یک اتوماتون متناهی باشد در این داریم:

  1. اجتماع:بوچی اتوماتونی هست که   را تشخیص می‌دهد
  2. اشتراک:بوچی اتوماتونی هست که   را تشخیص می‌دهد
  3. اتصال:بوچی اتوماتونی هست که   را تشخیص می‌دهد
  4. ω-بستار:اگر  کلمهٔ تهی را نداشته باشد بوچی اتوماتونی هست که   را تشخیص می‌دهد
  5. مکمل:بوچی اتوماتونی هست که   را تشخیص می‌دهد

انواع

کاربرد

از بوچی اتوماتون معمولاً در وارسی مدل به عنوان یه نسخه نظریه ماشینی از یک فرمول در منطق موقت خطی استفاده می‌شود.

جستارهای وابسته

منابع

  1. Büchi, J.R. (1962). "On a decision method in restricted second order arithmetic". Proc. International Congress on Logic, Method, and Philosophy of Science. 1960. Stanford: Stanford University Press: 1–12.
  • Y. Choueka: “Theories of automata on !-tapes: A simplified approach”, Journal of

Computer and System Sciences 8 (1974) No. 2, 117–141.