Weighted automata on infinite words in the context of Attacker-Defender games

این مقاله به چندین بازی مهاجم-مدافع دولت نامحدود با اهداف قابل دسترس اختصاص داده شده است. ما غیر قابل انکار بودن بررسی یک استراتژی برنده در چندین بازی ریاضی کم بعدی از جمله بازی های پخش پذیری برگر، بازی های کلمه و بازی های برادلی ثابت می کنیم. برای اثبات این نتایج، ما یک مدل اتوماتای ​​وزنی که بر روی کلمات نامحدود عمل می کنیم را در نظر می گیریم و ثابت می کنیم که این مسئله جهانی برای این کلاس جدید ماشین های وزنی غیر قابل تشخیص است. ما نشان می دهیم که با استفاده از رمزگذاری غیر استاندارد از مسائل مربوط به مکاتبات پست نامحدود، مسئله جهانشمول قابل حل نیست.