Conjunctive grammar
கான்ஜுக்டிவ் இலக்கணங்கள் முறையான மொழிக் கோட்பாட்டில் ஆய்வு செய்யப்படும் முறையான இலக்கணங்களின் ஒரு வகுப்பாகும். அவை அடிப்படை வகை இலக்கணங்களை, சூழல் இல்லாத இலக்கணங்களை, ஒரு இணைப்பு செயல்பாட்டுடன் விரிவுபடுத்துகின்றன. வெளிப்படையான இணைப்பைத் தவிர, இணை இலக்கணங்கள் ஒரு ஒற்றை முடிவற்ற சின்னத்திற்கான பல விதிகளால் குறிப்பிடப்படும் மறைமுகமான இணைப்பை அனுமதிக்கின்றன, இது சூழல் இல்லாத இலக்கணங்களில் வெளிப்படுத்தக்கூடிய ஒரே தர்க்கரீதியான இணைப்பாகும். குறிப்பாக, மொழிகளின் குறுக்குவெட்டைக் குறிப்பிட இணைப்பைப் பயன்படுத்தலாம். பூலியன் இலக்கணங்கள் என்று அழைக்கப்படும் இணை இலக்கணங்களின் மேலும் விரிவாக்கம் கூடுதலாக வெளிப்படையான மறுப்பை அனுமதிக்கிறது. ஒரு இணை இலக்கணத்தின் விதிகள் ஒரு முடிவற்ற வடிவத்தில் உள்ளன, மேலும், மற்றும் (முறையே முனைய மற்றும் முடிவற்ற சின்னங்களின் வரையறுக்கப்பட்ட தொகுப்புகள்) குறியீடுகளால் உருவாக்கப்பட்ட சரங்கள். முறைசாரா முறையில், அத்தகைய விதி ஒவ்வொரு சரத்தின் மீதும் குறிப்பிடப்படும் ஒவ்வொரு சொல்லியல் நிபந்தனைகளையும் திருப்திப்படுத்துகிறது என்று வலியுறுத்துகிறது, எனவே வரையறுக்கப்பட்ட நிபந்தனையை பூர்த்தி செய்கிறது. முறையான வரையறை ஒரு இணை இலக்கணமானது 4-டப்பிள் மூலம் வரையறுக்கப்படுகிறது, அங்கு ஒரு வரையறுக்கப்பட்ட தொகுப்பு; ஒவ்வொரு உறுப்பும் ஒரு முடிவற்ற சின்னம் அல்லது மாறி என்று அழைக்கப்படுகிறது. ஒவ்வொரு மாறியும் வாக்கியத்தில் வெவ்வேறு வகையான சொற்றொடர் அல்லது உட்பிரிவைக் குறிக்கிறது. மாறிகள் சில நேரங்களில் சொற்பொருள் பிரிவுகள் என்றும் அழைக்கப்படுகின்றன. இது வாக்கியத்தின் உண்மையான உள்ளடக்கத்தை உருவாக்கும் முனையங்களின் வரையறுக்கப்பட்ட தொகுப்பாகும். முனையங்களின் தொகுப்பு என்பது இலக்கணத்தால் வரையறுக்கப்பட்ட மொழியின் எழுத்துக்கள் ஆகும். இது ஒரு வரையறுக்கப்பட்ட தயாரிப்புகளின் தொகுப்பாகும், ஒவ்வொன்றும் மற்றும் சிலவற்றின் வடிவமாகும். உறுப்பினர்கள் இலக்கணத்தின் விதிகள் அல்லது தயாரிப்புகள் என்று அழைக்கப்படுகிறார்கள். முழு வாக்கியத்தையும் (அல்லது நிரல்) குறிக்கப் பயன்படுத்தப்படும் தொடக்க மாறி (அல்லது தொடக்க சின்னம்) ஆகும். அது ஒரு அங்கமாக இருக்க வேண்டும். ஒரே இடது புறத்திற்கு அனைத்து வலது கை பக்கங்களையும் ஒரே வரியில் பட்டியலிடுவது பொதுவானது, அவற்றைப் பிரிக்க | (குழாய் சின்னம்) பயன்படுத்துகிறது. விதிகள் மற்றும் எனவே இவ்வாறு எழுதப்படலாம். ஒரு இணை இலக்கணத்தால் குறிப்பிடப்பட்ட மொழியின் இரண்டு சமமான முறையான வரையறைகள் உள்ளன. ஒரு வரையறை இலக்கணத்தை ஒன்றிணைப்பு, குறுக்கீடு மற்றும் இணைப்புடன் கூடிய மொழி சமன்பாடுகளின் அமைப்பாகக் குறிப்பிடுவதையும் அதன் குறைந்தபட்ச தீர்வைக் கருத்தில் கொள்வதையும் அடிப்படையாகக் கொண்டது. மற்ற வரையறை சோம்ஸ்கியின் சூழல் இல்லாத இலக்கணங்களின் உற்பத்தி வரையறையை இணைத்தல் மற்றும் இணைத்தல் ஆகியவற்றின் மீது சொற்களை மீண்டும் எழுதுவதைப் பயன்படுத்தி பொதுமைப்படுத்துகிறது. எந்தவொரு சரத்திற்கும், அது போன்ற ஒரு விதி இருந்தால் மற்றும், அல்லது அது போன்ற ஒரு சரம் இருந்தால், நேரடியாக விளைச்சல் என்று எழுதப்படுகிறது. நாம் உருவாக்கும் என்று சொல்லும் எந்த சரத்திற்கும், அப்படி இருந்தால், எழுதப்படுகிறது. ஒரு இலக்கணத்தின் மொழி என்பது அது உருவாக்கும் அனைத்து சரங்களின் தொகுப்பாகும். எடுத்துக்காட்டு இலக்கணம், தயாரிப்புகளுடன்,,,,, ஒருங்கிணைந்ததாகும். ஒரு பொதுவான வழித்தோன்றல் இது என்பதைக் காட்டலாம். மொழி சூழல் இல்லாதது அல்ல, சூழல் இல்லாத மொழிகளுக்கான பம்பிங் லெம்மாவால் நிரூபிக்கப்பட்டுள்ளது. இணை இலக்கணங்களின் வெளிப்பாட்டு சக்தி சூழல் இல்லாத இலக்கணங்களை விட அதிகமாக இருந்தாலும், இணை இலக்கணங்கள் பிந்தையவற்றில் சிலவற்றைத் தக்க வைத்துக் கொள்கின்றன. மிக முக்கியமாக, லீனியர்-டைம் ரிகர்சிவ் டிசென்ட், கியூபிக்-டைம் ஜெனரலைஸ் செய்யப்பட்ட எல்ஆர், கியூபிக்-டைம் காக்-கசாமி-யங்கர், அதே போல் மேட்ரிக்ஸ் பெருக்கத்தைப் போலவே வேகமாக இயங்கும் வாலியண்டின் வழிமுறை உள்ளிட்ட முக்கிய சூழல் இல்லாத பாகுபடுத்தல் வழிமுறைகளின் பொதுமைப்படுத்தல்கள் உள்ளன. கோட்பாட்டு பண்புகள் சூழல் இல்லாத மொழிகள் அல்லது அவற்றின் வரையறுக்கப்பட்ட குறுக்குவெட்டுகளுக்கு ஏற்கனவே தீர்மானிக்க முடியாத ஒரு பண்பு, இணை இலக்கணங்களுக்கும் தீர்மானிக்க முடியாததாக இருக்க வேண்டும்; இவற்றில் பின்வருவன அடங்கும்ஃ வெறுமை, வரையறை, ஒழுங்குமுறை, சூழல்-சுதந்திரம், சேர்க்கை மற்றும் சமநிலை. இணைந்த மொழிகளின் குடும்பம் ஒன்றிணைப்பு, குறுக்கீடு, ஒருங்கிணைப்பு மற்றும் க்ளீன் நட்சத்திரத்தின் கீழ் மூடப்பட்டுள்ளது, ஆனால் சரம் ஒத்தமைவு, முன்னொட்டு, பின்னொட்டு மற்றும் அடி மூலக்கூறு ஆகியவற்றின் கீழ் அல்ல. நிரப்பு மற்றும் ε-இலவச சரம் ஒத்த உருவத்தின் கீழ் மூடல் இன்னும் திறந்த சிக்கல்கள் (2001 நிலவரப்படி). ஒரு எழுத்து எழுத்துக்களின் மீது இலக்கணங்களின் வெளிப்பாட்டு சக்தி ஆராய்ச்சி செய்யப்பட்டுள்ளது. இந்த வேலை மிகவும் பொதுவான வடிவத்தின் மொழி சமன்பாடுகளைப் படிப்பதற்கு ஒரு அடிப்படையை வழங்கியது. ஒத்திசைக்கப்பட்ட மாற்று புஷ் டவுன் ஆட்டோமேட்டா ஐசிகோவிட்ஸ் மற்றும் கமின்ஸ்கி ஆகியோர் ஒத்திசைக்கப்பட்ட மாற்று புஷ் டவுன் ஆட்டோமேட்டா (SAPDA) எனப்படும் புதிய வகை புஷ் டவுன் ஆட்டோமேட்டாவை (PDA) அறிமுகப்படுத்தினர். வரையறுக்கப்படாத பி. டி. ஏக்கள் சூழல் இல்லாத இலக்கணங்களுக்கு சமமானதைப் போலவே அவை இணை இலக்கணங்களுக்கு சமமானவை என்பதை நிரூபித்தன. குறிப்புகள் குறிப்புகள் வெளிப்புற இணைப்புகள் தொழில்நுட்ப அறிக்கை பதிப்பு (பி. டி. எஃப்) முறையான மொழிகள்