முறைசார் மொழிகளை என்ன காரணம் முடியும்? பயன்பாடு உதாரணங்கள்

முறையான மொழி எது எப்படி அது இயற்கை வேறுபடுகிறது? அது எப்படி உருவானது? முறைசார் மொழிகளை என்ன காரணம் முடியும்? அது அவரை குறிக்க பயன்படுத்தப்படுகிறது?

முறையான மொழிகளின் தன்மை

எனவே நாம் ஒரு குழுவை நீங்கள் எப்படி அழைக்க செயற்கை மொழிகள், வெளிப்பாடுகள் கட்டுவது தொடர்பாக துல்லியமான விதிகள், அத்துடன் தங்கள் புரிதல் வகைப்படுத்தப்படுகின்றன இது. தொழில்துறை நோக்கங்களுக்காக பயன்படுத்தப்படும் முறைகள் முறைசார் மொழிகளை காரணமாக முடியும். அவர்கள் தெளிவான விதிகள் இணங்க கட்டப்பட்டுள்ளன, பண்புகள் மற்றும் ஆய்வுசெய்யப்பட்டதில் உறவுகளின், சீரான கச்சிதமான மற்றும் துல்லியமான காட்சி வழங்கும் பொருள் பகுதியில் அல்லது மாதிரியாக பொருட்களை. மதிப்பெண்கள் மதிப்பு மற்றும் பொருளை எந்த நடைமுறைக்கேற்ற அம்சங்கள் (சூழல் பயன்பாடு) மூலம் மாற்ற முடியாது. இந்த இலக்கணத்தை மாற்றம் மற்றும் சொற்பொருள் விளக்கம் விதிகள் முறையான மொழியில் முன்னிலையில் முடியும் நன்றி ஆகும். அவர்கள் பெரும்பாலும் கணிதம் ஒரு தளமாக பயன்படுத்தி கட்டப்பட்டுள்ளன. காரணமாக அது, வளர்ச்சி முழு நீட்டம் மீது, அடையாள வடிவ பல்வேறு பயன்படுத்தப்படுகிறது என்பதை கருத்துக்கள் மற்றும் பொருட்களை பல்வேறு பயன்படுத்தப்பட்டிருகிறது. முறைசார் மொழிகளை தேவை என்ன. அவர்கள் கணிசமாக தரவு குறைக்க முடியும். முன்னதாக, முறையான இயல் மொழிகளில் இணைந்து பயன்படுத்தப்பட்டு வருகின்றன, ஆனால் பொருள் மற்றும் கணித காரண ஒரு கண்டிப்பான தருக்க ஆய்வு செய்வதற்கான தேவை படிப்படியாக சிக்கல் கொண்டு, கடந்த கைவிட முடிவு செய்யப்பட்டது. இந்த செயல்முறை XX இல் நூற்றாண்டு வரை பதினேழாவது வரை நீடித்திருந்தது. அது கடந்த நூற்றாண்டின் முறைசார் மொழிகளை அடிப்படையில் மிகவும் பயனுள்ள கருதப்படுகிறது. பல்வேறு சிறப்பு கிளைகள் உருவாக்கப்பட்டன. எனவே, கணினி அறிவியல் மட்டுமே தத்துவார்த்த, ஆனால் ஒரு நடைமுறைசார்ந்த புள்ளியில் இருந்து இல்லை, குறிப்பாக முக்கியத்துவம் நிரலாக்க மொழிகள் மற்றும் தருக்க நுணுக்கம் உள்ளன.

வரையறை

முறைசார் மொழிகளை குறிப்பிடப்படுபவைதாம் என்ன, நாம் சுருக்கமாக விளக்கினார் ஏற்கனவே வேண்டும். ஆனால் அவர்களைப் பற்றி நாம் என்ன சொல்ல முடியும்? முறைசார் மொழி வெவ்வேறு வரையறைகள் நிறைய வழங்கப்படுகிறது. அவர்கள் அனைவரையும் பட்டியலிட, அது நிறைய நேரம் விட்டு, எனவே மிகவும் பிரபலமான பாருங்கள் எடுக்கும்:

1. மொழி பல வார்த்தைகளின் காரணமாகவே எளிய பட்டியல் - வழக்கமாக கட்டுமான இறுதி வகை மற்றும் ஒரு எளிய அமைப்பு உள்ளது என்று தான் பற்றி மரியாதையுடன் அப்படிச் சொல்வதற்கு.
2. ஒரு குறிப்பிட்ட முறைசார் இலக்கணம் உருவாக்கப்படும் சொற்கள்.
3. வழக்கமான வெளிப்பாடுகள் மூலம் உருவாக்கப்பட்ட அமைப்பு.
4. BPF வடிவமைப்பு உருவாக்கப்படும் சொற்கள்.
5. கட்டமைப்பு குறிப்பாக வரையறுக்கப்பட்ட தானியங்கலும் காட்டிக் கொடுத்து விடும்.

இதோ ஒரு எடுத்துக்காட்டு பார்க்கிறேன். நாம் முழு எழுத்துக்களை, இரண்டு இலக்கம் 1 மற்றும் 0. கடிதம் "ஓ" காட்ட கொடுக்கப்பட்ட உள்ளதாக வைத்துக்கொள்வோம், நாம் 1010001. இந்த இரண்டும் இணைந்து ஒரு முறைசார் மொழிக் பயன்படுத்துவது ஆகும் பயன்படுத்த. அது காலியாக வார்த்தைகள் பயன்படுத்த முடியும் (சரம் பூஜ்யம் நீளம் போது, எதுவும் இல்லை) நமக்கு மிகவும் பழக்கமான வடிவில் ஒரு சிறப்பு பதவி உடன். ஆனால் இன்னும் விரிவாக முறைசார் மொழிகளில் என்ன புரிந்து உதவ அடுத்த வழங்கப்படும் என்று 4 உதாரணங்கள்தொடங்குவதற்கு. அது என்ன செய்கிறது? வாசகரின் புரிந்துகொள்வதற்கு முறைசார் மொழிகளில் இயல்புகளைக் கொண்ட பல்வேறு இருந்தது. ஆனால் அவர்கள் எப்படி உருவாக்கப்படுகின்றன பற்றி இன்னும் கொஞ்சம்.

முறைசார் மொழிகளை கட்டுமான

ஒவ்வொரு மொழிக்கும் ஒரு முறை யாராவது உருவாக்கப்பட்டது என்று ஒரு வழக்கமான கட்டமைப்பில் உள்ளது. அவர்கள் வழக்கமாக ஒரே முறை கட்டமைக்கப்படுகின்றன:

1. தொடங்க, எழுத்துக்களை, அல்லது கட்டப்பட்டது மற்றும் மொழியில் பயன்படுத்தப்படும் வெளிப்பாடுகள் வேண்டும் என்று குறிப்பிட்ட எழுத்துக்கள் சில தொகுப்பு தேர்வு. முறையான மொழியின்படி ஒரு கணினி பயன்படுத்தி நிரல் எந்த வழி.
2. அது அர்த்தமுள்ள தண்டனை கட்டுவேன் என்று, பண்புகள் மற்றும் விதிகள் என்று இலக்கணத்தை விளக்கும்.
3. வார்த்தைகள் மற்றும் வெளிப்பாடுகள் சில விதிகள். இங்கே ஒரு விதி உள்ளது: கடிதங்கள் எந்த வரிசை வார்த்தைகள் எண்ண வேண்டும்.

முறையான மொழியின்படி தெளிவான விதிகள் என்று எந்த கட்டமைப்பிலும் குறிக்கிறது - அது நினைவில் கொள்ள வேண்டும். கட்டிட போது, அங்கு சில அம்சங்கள் உள்ளன. இவ்வாறு, கால "பாத்திரத்தை" பொருள் அடிப்படையில் மிகவும் பல செயல்பாட்டு உள்ளது, எனவே பெரும்பாலான ஒரு "கடிதம்" என சொல்லைப் பயன்படுத்தினார். ஆனால் அவர்களை அடியில் எங்களுக்கு வழக்கமான குறியீட்டில் மட்டுமே, ஆனால் அடைப்புக்குறிக்குள், சிறப்பு எழுத்துக்கள், மேலும் புரிந்துகொள்ள முடியும். இது முறைசார் மொழிகளை பொருந்தும்.

உதாரணம் 1

மேலும் "கால" மற்றும் கருத்தாக்கத்தைப் பயன்படுத்துகின்றன, இது போன்ற சந்தர்ப்பங்களில் 1 மற்றும் 0. கொண்டு ஆரம்பிக்கலாம் "சூத்திரம்." முதல் பொருளின் அனலாக் குறிப்பான ஒன்றைத் குறிக்கப் பயன்படுகின்றது பெயர் செயல்படுகிறது. முதலில் அவர்களை கீழ் மாறிலிகள் மற்றும் தனிப்பட்ட மாறிகள் புரிந்து. இவற்றில், இதையொட்டி, சில மொழித்திறன் செயல்பாடுகளில் பயன்படுத்தப்படும் பயன்படுத்தப்படும் மிகவும் சிக்கலான கட்டமைப்புகள், உருவாக்க. குழு அடிப்படையில் சூத்திரம் புரிந்து கீழ், ஒரு குறிப்பிட்ட நிரலாக்க மொழியில் இது பயன்படுத்த முடியும். இந்த "அறிவுரை" செயல்படுத்தப்படும், ஒரு நபர் விரும்பிய முடிவு கிடைக்கும்.

உதாரணம் 2

ஒரு தலைகீழ் (¬), பிரிப்பைக் இல்லையென்பதால் தொடரும் உதாரணமாக தர்க்கம் கவனியுங்கள் (∧), இணைந்து (∨) மற்றும் சம்மந்த (⇒) மற்றும் பலர். படங்களை வருகிறது பதிவு கொடுக்கப்பட்ட முடியும்:

1. ஏ;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

பாத்திரங்களாக ஏ, பி, சி, மாறிகள் பதிலாக மற்றும் நீங்கள் தருக்க நடவடிக்கைகளை. இந்த வகை முறைசார் மொழிகளை எங்கே விண்ணப்பிக்க? இத்தகைய பொதுக் பரவலான பயன்பாடு நிரலாக்க மொழிகள், கணிதம், உறவுகள், தருக்க மற்றும் கணித செயல்பாடுகளை, அல்லது பாகங்கள் இருந்ததாக அவற்றின் புரோகிராமர் குறிப்பிடுவதுண்டு காணப்படுகிறது.

எடுத்துக்காட்டு 3

ஒரு மிகவும் சிக்கலான தருக்க சூத்திரங்கள் பார்க்கிறேன்:

¬ (A∨¬S) ⇔ ¬A∧S = 1

நாங்கள் முறைசார் மொழிகளை வேண்டும் அதனால் தான். அது வார்த்தைகளில் விவரித்தார் என்றால் என்ன கற்பனை நடந்திருக்கும்? இப்போது, ஒரு சமன்பாட்டை அடிப்படையாகக் கொண்டதாகும் நாங்கள் முடிவுகளை ஊகிக்க. அர்த்தமுள்ள வெளிப்பாடுகள் முறையான மொழியில் பெறலாம் சில விதிகளை முன் உருவாக்கம், மாற்றம் மற்றும் அவர்கள் செய்யப்படுகின்றன இதில் சூத்திரங்கள் மற்றும் விதிமுறைகளை "புரிதல்" மரியாதைக்குரிய போது மட்டுமே:

1. கட்டுமான கால சூத்திரங்கள் மற்றும்;
2. சொற்பொருள் அம்சம் மற்றும் விளக்கத்தின் ஆய்வு;
3. சூத்திரங்கள் மற்றும் பிற கால ஒன்றின் வரிசை.

ஒவ்வொரு முறைசார் மொழிக் நன்கு நிறுவப்பட்ட விதிகளை அமைக்க வேண்டும்.

எடுத்துக்காட்டு 4

காரணமாக விதிகள் மற்றும் சூத்திரங்களுக்கான மொழியின் வாக்கிய வெளியீடு விதிகள் இருப்பதற்கு ஒரு சமவுருவுள்ள மாற்றம் மாதிரிகள் முடியும். எனவே அது மட்டும் பிரதிபலிப்பு (பிரதிநிதித்துவம்) முன்பே உள்ளது என்று அறிவு ஒரு குறிப்பிட்ட உடல் எனவும் முடிவு செய்யப்பட்டது, ஆனால் புதிய தகவல் பெறலாம். மேலும், மாற்றம், எனினும், மற்றும் இடத்தில் தெளிவான மற்றும் கடுமையான விதிகள் படி எடுக்கும், அதனால் தானியங்கு முடியும். இதே மாதிரியான நுட்பம் பயன்படுத்தப்படுகின்றன நிபுணர் அமைப்புகள், அறிவு அடிப்படையுடன், மற்றும் மென்பொருள் முடிவை ஆதரிக்கும் பொருட்கள்.

முடிவுக்கு

முறைசார் மொழிகள் பரவலாக அறிவியலாக பயன்படுத்தப்படு்ம் குறிப்பாக கலை கட்டியில் அடுக்கப்பட்டிருக்கும். அறிவியல் ஆராய்ச்சி மற்றும் நடைமுறை நடவடிக்கைகளை மேற்பார்வையிடுதல் போது அவர்கள் பிந்தைய கணிசமான வெளிப்படையான திறன்களை பார்வையில், இயற்கை கையாள முடியும். ஆயினும் முறைசார் மொழிகளை மேலும் துல்லியமாக அறிவு தெரிவிப்பதற்கு முடியும் மனிதகுலத்தின் மூலம் ஈட்டிய தகவலின் நோக்கம் பரிமாற்றம் முன்னெடுக்க.