Type-0 ஐ அங்கீகரிப்பதற்கான தற்போதைய முறைகள் உள்ளதா? குவாண்டம் கணினிகள் அதை சாத்தியமாக்கும் என்று எதிர்பார்க்கிறோமா?
டைப்-0 மொழிகள், மீண்டும் மீண்டும் எண்ணக்கூடிய மொழிகள் என்றும் அழைக்கப்படுகின்றன, இவை சாம்ஸ்கி படிநிலையில் மிகவும் பொதுவான வகை மொழிகளாகும். இந்த மொழிகள் எந்த உள்ளீட்டு சரத்தையும் ஏற்க அல்லது நிராகரிக்கக்கூடிய டூரிங் இயந்திரங்களால் அங்கீகரிக்கப்படுகின்றன. வேறு வார்த்தைகளில் கூறுவதானால், ட்யூரிங் இயந்திரம் இருந்தால், ஒரு மொழியானது டைப்-0 ஆகும், அது எந்த சரத்தையும் நிறுத்தி ஏற்றுக்கொள்கிறது.
மொழிகளின் சாம்ஸ்கி படிநிலை என்ன மற்றும் அது எவ்வாறு முறையான இலக்கணங்களை அவற்றின் உருவாக்க சக்தியின் அடிப்படையில் வகைப்படுத்துகிறது?
மொழிகளின் சாம்ஸ்கி படிநிலை என்பது முறையான இலக்கணங்களை அவற்றின் உருவாக்கும் சக்தியின் அடிப்படையில் வகைப்படுத்தும் ஒரு வகைப்பாடு அமைப்பாகும். இது 1950 களில் புகழ்பெற்ற மொழியியலாளர் மற்றும் கணினி விஞ்ஞானி நோம் சாம்ஸ்கியால் முன்மொழியப்பட்டது. படிநிலையானது நான்கு நிலைகளைக் கொண்டுள்ளது, ஒவ்வொன்றும் வெவ்வேறு வகை முறையான மொழிகளைக் குறிக்கிறது. இந்த நிலைகள் Type-3 (Regular), Type-2 என அறியப்படுகின்றன