Co-Büchi automaton
தானியங்கி கோட்பாட்டில், கோ-புச்சி தானியங்கி இயந்திரம் என்பது புச்சி தானியங்கி இயந்திரத்தின் ஒரு மாறுபாடு ஆகும். ஒரே வித்தியாசம் ஏற்றுக்கொள்ளும் நிபந்தனைஃ ஒரு கோ-புச்சி ஆட்டோமேட்டன் ஒரு ஓட்டம் இருந்தால் எல்லையற்ற வார்த்தையை ஏற்றுக்கொள்கிறது, அதாவது ஓட்டத்தில் எண்ணற்ற அடிக்கடி நிகழும் அனைத்து நிலைகளும் இறுதி நிலை தொகுப்பில் உள்ளன. இதற்கு மாறாக, ஒரு புச்சி ஆட்டோமேட்டன் ஒரு ரன் இருந்தால் ஒரு வார்த்தையை ஏற்றுக்கொள்கிறது, அதாவது குறைந்தபட்சம் ஒரு நிலை இறுதி நிலை தொகுப்பில் எண்ணற்ற அடிக்கடி நிகழ்கிறது. (வரையறுக்கப்பட்ட) கோ-புச்சி ஆட்டோமேட்டா (வரையறுக்கப்படாத) புச்சி ஆட்டோமேட்டாவை விட கண்டிப்பாக பலவீனமாக உள்ளது. முறையான வரையறை முறைப்படி, ஒரு தீர்மானகரமான இணை-புச்சி தானியங்கி என்பது பின்வரும் கூறுகளைக் கொண்ட ஒரு டப்பிள் ஆகும்ஃ இது ஒரு வரையறுக்கப்பட்ட தொகுப்பாகும். இன் கூறுகள் இன் நிலைகள் என்று அழைக்கப்படுகின்றன. இது எழுத்துக்கள் எனப்படும் ஒரு வரையறுக்கப்பட்ட தொகுப்பாகும். இது இன் மாற்றம் செயல்பாடு. ஒரு உறுப்பு, ஆரம்ப நிலை என்று அழைக்கப்படுகிறது. இது இறுதி மாநில தொகுப்பாகும். ஓட்டத்துடன் அந்த வார்த்தைகளை சரியாக ஏற்றுக்கொள்கிறது, இதில் எல்லையற்ற அடிக்கடி நிகழும் அனைத்து நிலைகளும் உள்ளன. தீர்மானிக்கப்படாத இணை-புச்சி தானியங்கி இயந்திரத்தில், மாற்றம் செயல்பாடு ஒரு மாற்றம் உறவுடன் மாற்றப்படுகிறது. ஆரம்ப நிலை ஒரு ஆரம்ப நிலை தொகுப்புடன் மாற்றப்படுகிறது. பொதுவாக, கோ-புச்சி ஆட்டோமேட்டன் என்ற சொல் நிர்ணயிக்கப்படாத கோ-புச்சி ஆட்டோமேட்டனைக் குறிக்கிறது. மேலும் விரிவான சம்பிரதாயத்திற்கு ω-தானியங்கி இயந்திரத்தையும் பார்க்கவும். ஏற்றுக்கொள்ளும் நிபந்தனை ஒரு இணை-புச்சி தானியங்கி இயந்திரத்தின் ஏற்றுக்கொள்ளும் நிபந்தனை முறையாக உள்ளது புச்சி ஏற்றுக்கொள்ளும் நிபந்தனை என்பது இணை-புச்சி ஏற்றுக்கொள்ளும் நிபந்தனையின் நிரப்பு ஆகும்ஃ பண்புகள் கோ-புச்சி தானியங்கி தொழிற்சங்கம், குறுக்கீடு, திட்டம் மற்றும் தீர்மானிப்பின் கீழ் மூடப்பட்டுள்ளன. ஃபைனைட் ஆட்டோமேட்டா