Co-Büchi automaton
آٹومیٹا تھیوری میں، شریک بوچی آٹومیٹن بوچی آٹومیٹن کی ایک قسم ہے۔ فرق صرف قبول کرنے کی شرط میں ہے: ایک کو-بوچی آٹومیٹن ایک لامحدود لفظ کو قبول کرتا ہے اگر کوئی رن موجود ہو، اس طرح کہ لامحدود طور پر اکثر رن میں آنے والی تمام ریاستیں فائنل اسٹیٹ سیٹ میں ہوں۔ اس کے برعکس، ایک بوچی آٹومیٹن کسی لفظ کو قبول کرتا ہے اگر کوئی رن موجود ہو، اس طرح کہ کم از کم ایک حالت حتمی حالت سیٹ میں لامحدود طور پر واقع ہوتی ہے۔ (تعیناتی) کو-بوچی آٹومیٹا (غیر تعیناتی) بوچی آٹومیٹا سے سختی سے کمزور ہیں۔ رسمی تعریف رسمی طور پر، ایک تعیناتی شریک بوچی آٹومیٹن ایک ٹپل ہے جو مندرجہ ذیل اجزاء پر مشتمل ہوتا ہے: ایک محدود سیٹ ہے۔ کے عناصر کو اسٹیٹس آف کہا جاتا ہے۔ ایک محدود سیٹ ہے جسے الفابیٹ آف کہا جاتا ہے۔ کی منتقلی فنکشن ہے۔ ایک عنصر ہے، جسے ابتدائی حالت کہا جاتا ہے۔ حتمی اسٹیٹ سیٹ ہے۔ دوڑ کے ساتھ بالکل ان الفاظ کو قبول کرتا ہے، جس میں تمام لامحدود اکثر واقع ہونے والی ریاستیں ہوتی ہیں۔ غیر متعین شریک بوچی آٹومیٹن میں، ٹرانزیشن فنکشن کو ٹرانزیشن ریلیشن سے تبدیل کیا جاتا ہے۔ ابتدائی حالت کو ابتدائی حالت سیٹ سے تبدیل کیا جاتا ہے۔ عام طور پر، اصطلاح شریک بوچی آٹومیٹن سے مراد غیر متعین شریک بوچی آٹومیٹن ہے۔ مزید جامع رسم و رواج کے لیے ω-آٹومیٹن بھی دیکھیں۔ قبولیت کی شرط شریک بوچی آٹومیٹن کی قبولیت کی شرط باضابطہ طور پر ہے۔ بوچی قبولیت کی شرط شریک بوچی قبولیت کی شرط کی تکمیل ہے: پراپرٹیز شریک بوچی آٹومیٹا یونین، چوراہے، پروجیکشن اور عزم کے تحت بند ہیں۔ فائنائٹ آٹومیٹا