Co-Büchi automaton
অটোমেটা তত্ত্বে, একটি কো-বুচি অটোমেটন হল বুচি অটোমেটন-এর একটি রূপ। একমাত্র পার্থক্য হল গ্রহণযোগ্য শর্তঃ একটি কো-বুচি অটোমেটন একটি অসীম শব্দ গ্রহণ করে যদি একটি রান বিদ্যমান থাকে, যেমন অসীমভাবে প্রায়শই দৌড়ে আসা সমস্ত অবস্থা চূড়ান্ত অবস্থা সেটের মধ্যে থাকে। এর বিপরীতে, একটি বুচি অটোমেটন একটি শব্দ গ্রহণ করে যদি একটি রান থাকে, যেমন কমপক্ষে একটি অবস্থা অসীমভাবে প্রায়শই চূড়ান্ত অবস্থা সেটের মধ্যে ঘটে। (নির্ধারিত) কো-বুচি অটোমাটা (অনির্ধারিত) বুচি অটোমাটার তুলনায় কঠোরভাবে দুর্বল। আনুষ্ঠানিক সংজ্ঞা আনুষ্ঠানিকভাবে, একটি নির্ধারক সহ-বুচি অটোমেটন হল একটি টুপল যা নিম্নলিখিত উপাদানগুলি নিয়ে গঠিতঃ এটি একটি সীমাবদ্ধ সেট। এর উপাদানগুলিকে বলা হয় এর অবস্থা। এর বর্ণমালা নামে একটি সীমাবদ্ধ সেট। এর ট্রানজিশন ফাংশন। এর একটি উপাদান, যাকে প্রাথমিক অবস্থা বলা হয়। এটি চূড়ান্ত স্টেট সেট। দৌড়ের সাথে ঠিক সেই শব্দগুলি গ্রহণ করে, যেখানে অসীমভাবে প্রায়শই ঘটে যাওয়া সমস্ত অবস্থা রয়েছে। একটি অ-নির্ধারক সহ-বুচি অটোম্যাটনে, ট্রানজিশন ফাংশনটি একটি ট্রানজিশন সম্পর্ক দ্বারা প্রতিস্থাপিত হয়। প্রাথমিক অবস্থাটি একটি প্রাথমিক অবস্থা সেট দ্বারা প্রতিস্থাপিত হয়। সাধারণত, কো-বুচি অটোমেটন শব্দটি অ-নির্ধারক কো-বুচি অটোমেটনকে বোঝায়। আরও ব্যাপক আনুষ্ঠানিকতার জন্য ω-অটোমেটন দেখুন। গ্রহণযোগ্যতা শর্ত একটি সহ-বুচি অটোমেটন এর গ্রহণযোগ্যতা শর্ত আনুষ্ঠানিকভাবে বুচি গ্রহণযোগ্যতা শর্ত হল সহ-বুচি গ্রহণযোগ্যতা শর্তের পরিপূরকঃ বৈশিষ্ট্য কো-বুচি অটোমাটা ইউনিয়ন, ছেদ, অভিক্ষেপ এবং নির্ধারণের অধীনে বন্ধ থাকে। সীমাবদ্ধ স্বয়ংক্রিয় তথ্য