Co-Büchi automaton
ಆಟೋಮ್ಯಾಟಾ ಸಿದ್ಧಾಂತದಲ್ಲಿ, ಕೋ-ಬುಚಿ ಆಟೋಮ್ಯಾಟನ್ ಎಂಬುದು ಬುಚಿ ಆಟೋಮ್ಯಾಟನ್ನ ಒಂದು ರೂಪಾಂತರವಾಗಿದೆ. ಒಂದೇ ವ್ಯತ್ಯಾಸವೆಂದರೆ ಸ್ವೀಕರಿಸುವ ಷರತ್ತುಃ ಒಂದು ಓಟವು ಅಸ್ತಿತ್ವದಲ್ಲಿದ್ದರೆ ಕೋ-ಬುಚಿ ಆಟೋಮ್ಯಾಟನ್ ಅನಂತ ಪದವನ್ನು ಸ್ವೀಕರಿಸುತ್ತದೆ, ಅಂದರೆ ಅನಂತವಾಗಿ ಆಗಾಗ್ಗೆ ಓಟದಲ್ಲಿ ಸಂಭವಿಸುವ ಎಲ್ಲಾ ಸ್ಥಿತಿಗಳು ಅಂತಿಮ ಸ್ಥಿತಿಯಲ್ಲಿರುತ್ತವೆ. ಇದಕ್ಕೆ ತದ್ವಿರುದ್ಧವಾಗಿ, ಒಂದು ರನ್ ಇದ್ದರೆ ಒಂದು ಪದವನ್ನು ಬುಚಿ ಆಟೋಮ್ಯಾಟನ್ ಸ್ವೀಕರಿಸುತ್ತದೆ, ಅಂದರೆ ಕನಿಷ್ಠ ಒಂದು ಸ್ಥಿತಿಯು ಅಂತಿಮ ಸ್ಥಿತಿಯ ಗುಂಪಿನಲ್ಲಿ ಅನಂತವಾಗಿ ಆಗಾಗ್ಗೆ ಸಂಭವಿಸುತ್ತದೆ. (ನಿರ್ಣಾಯಕ) ಕೋ-ಬುಚಿ ಆಟೋಮ್ಯಾಟಾವು (ಅನಿರ್ದಿಷ್ಟ) ಬುಚಿ ಆಟೋಮ್ಯಾಟಾಗಿಂತ ಕಟ್ಟುನಿಟ್ಟಾಗಿ ದುರ್ಬಲವಾಗಿದೆ. ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನ ಔಪಚಾರಿಕವಾಗಿ, ಒಂದು ನಿರ್ಣಾಯಕ ಸಹ-ಬುಚಿ ಸ್ವಯಂಚಾಲಿತವು ಈ ಕೆಳಗಿನ ಘಟಕಗಳನ್ನು ಒಳಗೊಂಡಿರುವ ಒಂದು ಟುಪಲ್ ಆಗಿದೆಃ ಇದು ಒಂದು ಸೀಮಿತ ಗುಂಪಾಗಿದೆ. ಈ ಅಂಶಗಳನ್ನು ಸ್ಟೇಟ್ಸ್ ಆಫ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಇದು ಆಲ್ಫಾಬೆಟ್ ಆಫ್ ಎಂದು ಕರೆಯಲ್ಪಡುವ ಒಂದು ಸೀಮಿತ ಗುಂಪಾಗಿದೆ. ಇದು ಪರಿವರ್ತನೆಯ ಕಾರ್ಯವಾಗಿದೆ. ಇದು ಆರಂಭಿಕ ಸ್ಥಿತಿ ಎಂದು ಕರೆಯಲ್ಪಡುವ ಒಂದು ಅಂಶವಾಗಿದೆ. ಇದು ಅಂತಿಮ ಸ್ಟೇಟ್ ಸೆಟ್ ಆಗಿದೆ. ಓಟದೊಂದಿಗೆ ನಿಖರವಾಗಿ ಆ ಪದಗಳನ್ನು ಸ್ವೀಕರಿಸುತ್ತದೆ, ಇದರಲ್ಲಿ ಅನಂತವಾಗಿ ಆಗಾಗ್ಗೆ ಸಂಭವಿಸುವ ಎಲ್ಲಾ ಸ್ಥಿತಿಗಳು ಇರುತ್ತವೆ. ನಿರ್ಣಾಯಕವಲ್ಲದ ಸಹ-ಬುಚಿ ಸ್ವಯಂಚಾಲಿತದಲ್ಲಿ, ಪರಿವರ್ತನೆಯ ಕಾರ್ಯವನ್ನು ಪರಿವರ್ತನೆಯ ಸಂಬಂಧದಿಂದ ಬದಲಾಯಿಸಲಾಗುತ್ತದೆ. ಆರಂಭಿಕ ಸ್ಥಿತಿಯನ್ನು ಆರಂಭಿಕ ಸ್ಥಿತಿಯ ಗುಂಪಿನಿಂದ ಬದಲಾಯಿಸಲಾಗುತ್ತದೆ. ಸಾಮಾನ್ಯವಾಗಿ, ಕೋ-ಬುಚಿ ಆಟೋಮ್ಯಾಟನ್ ಎಂಬ ಪದವು ನಿರ್ಣಾಯಕವಲ್ಲದ ಕೋ-ಬುಚಿ ಆಟೋಮ್ಯಾಟನ್ ಅನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಹೆಚ್ಚು ಸಮಗ್ರವಾದ ಔಪಚಾರಿಕತೆಗಾಗಿ ω-ಆಟೋಮ್ಯಾಟನ್ ಅನ್ನು ಸಹ ನೋಡಿ. ಸಹ-ಬುಚಿ ಸ್ವಯಂಚಾಲಿತದ ಸ್ವೀಕಾರ ಷರತ್ತು ಔಪಚಾರಿಕವಾಗಿ ಬುಚಿ ಸ್ವೀಕಾರ ಷರತ್ತು ಸಹ-ಬುಚಿ ಸ್ವೀಕಾರ ಷರತ್ತಿನ ಪೂರಕವಾಗಿದೆಃ ಗುಣಲಕ್ಷಣಗಳು ಕೋ-ಬುಚಿ ಸ್ವಯಂಚಾಲಿತವನ್ನು ಒಕ್ಕೂಟ, ಛೇದನ, ಪ್ರಕ್ಷೇಪಣ ಮತ್ತು ನಿರ್ಣಯದ ಅಡಿಯಲ್ಲಿ ಮುಚ್ಚಲಾಗುತ್ತದೆ. ಸೀಮಿತ ಸ್ವಯಂಚಾಲಿತ