2
दो-तरफा नियतात्मक काउंटर ऑटोमेटा द्वारा मान्यता प्राप्त असमान भाषाएं
2dca का (दो-तरफ़ा निर्धारक एक-काउंटर ऑटोमेटा) (पीटरसन, 1994) निम्नलिखित एकांगी भाषा को पहचान सकता है: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} क्या 2dca द्वारा मान्यता प्राप्त कोई अन्य अनौपचारिक भाषा है? टिप्पणी है कि यह अभी भी अज्ञात है कि क्या 2dca ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = …