Concurrent MetateM
ஒருங்கிணைந்த மெட்டேட்எம் என்பது ஒரு பல முகவர் மொழியாகும், இதில் ஒவ்வொரு முகவரும் அது வெளிப்படுத்த வேண்டிய நடத்தையின் (அதிகரித்த) தற்காலிக தர்க்க விவரக்குறிப்புகளின் தொகுப்பைப் பயன்படுத்தி திட்டமிடப்படுகிறது. முகவரின் நடத்தையை உருவாக்க இந்த விவரக்குறிப்புகள் நேரடியாக செயல்படுத்தப்படுகின்றன. இதன் விளைவாக, தர்க்கரீதியான விவரக்குறிப்பு முதலில் குறைந்த அளவிலான செயல்பாட்டிற்கு மொழிபெயர்க்கப்பட வேண்டிய அமைப்புகளைப் போல தர்க்கத்தை செல்லாததாக்கும் ஆபத்து இல்லை. மெட்டேட்எம் கருத்தாக்கத்தின் வேர் கபாயின் பிரிப்பு தேற்றம் ஆகும்; எந்தவொரு தன்னிச்சையான தற்காலிக தர்க்க சூத்திரத்தையும் தர்க்கரீதியாக சமமான கடந்த கால → எதிர்கால வடிவத்தில் மீண்டும் எழுதலாம். ஒரு வரலாற்றுக்கு எதிராக தொடர்ந்து விதிகளை பொருத்தும் செயல்முறையின் மூலம் நிறைவேற்றம் தொடர்கிறது, மேலும் முன்னோடிகள் திருப்தி அடையும் போது அந்த விதிகளை செயல்படுத்துகிறது. எந்தவொரு உடனடி எதிர்கால விளைவுகளும் கடமைகளாக மாறுகின்றன, அவை பின்னர் திருப்திப்படுத்தப்பட வேண்டும், நிரல் விதிகளால் உருவாக்கப்பட்ட சூத்திரத்திற்கான ஒரு மாதிரியை மீண்டும் மீண்டும் உருவாக்குகின்றன. தற்காலிக இணைப்புகள் ஒருங்கிணைந்த மெட்டேடெமின் தற்காலிக இணைப்புகளை பின்வரும் இரண்டு பிரிவுகளாகப் பிரிக்கலாம்ஃ கடுமையான கடந்த கால இணைப்புகள்ஃ '●' (பலவீனமான கடைசி), '′' (வலுவான கடைசி), 'Â' (இருந்தது), 'Â' (இதற்கு முன்பு), எஸ் (முதல்), மற்றும் இசட் (ஜின்ஸ், அல்லது பலவீனமான முதல்). தற்போதைய மற்றும் எதிர்கால நேர இணைப்புகள்ஃ '(அடுத்த),' (எப்போதாவது), '(எப்போதும்), யு (வரை), மற்றும் டபிள்யூ (தவிர). இணைப்புக்கள் (இணைப்புக்கள்) ஒருமனதாக உள்ளன, மீதமுள்ளவை இருமனதாக உள்ளன. முந்தைய நேரத்தில் ρ உண்மையாக இருந்திருந்தால், கடந்த கால இணைப்புகள் பலவீனமானவை இப்போது திருப்தி அடைகின்றன. காலத்தின் தொடக்கத்தில் ρ விளக்கப்பட்டால், உண்மையான முந்தைய நேரம் இல்லை என்றாலும் அது திருப்தி அடைகிறது. எனவே "பலவீனமான" கடைசி. முந்தைய நேரத்தில் ρ உண்மையாக இருந்திருந்தால் வலுவான கடைசி ρ இப்போது திருப்தி அடைகிறது. நேரத்தின் தொடக்கத்தில் ρ விளக்கப்பட்டால், அது திருப்தியடையாது, ஏனெனில் உண்மையான முந்தைய நேரம் இல்லை. எனவே "வலுவான" கடைசி. முந்தைய காலத்தின் எந்த தருணத்திலும் ρ உண்மையாக இருந்திருந்தால், இப்போது திருப்தி அடைகிறதா? முந்தைய காலத்தின் ஒவ்வொரு கணத்திலும் ρ உண்மையாக இருந்தால் ஹெரெட்டோஃபோர்ர் ρ இப்போது திருப்தி அடைகிறது. முந்தைய எந்த தருணத்திலும் si உண்மையாகவும், அந்த தருணத்திற்குப் பிறகு ஒவ்வொரு தருணத்திலும் ρ உண்மையாகவும் இருந்தால் ρSsi இப்போது திருப்தி அடைகிறது. சின்ஸ், அல்லது ρZsi இப்போது திருப்தி அடைந்ததால் பலவீனமாக இருந்தால் (முந்தைய எந்த தருணத்திலும் si உண்மை மற்றும் அந்த தருணத்திற்குப் பிறகு ஒவ்வொரு தருணத்திலும் ρ உண்மை) அல்லது si கடந்த காலத்தில் நடக்கவில்லை. தற்போதைய மற்றும் எதிர்கால நேர இணைப்புகள் அடுத்த நேரத்தில் ρ உண்மையாக இருந்தால் அடுத்த ρ இப்போது திருப்தி அடைகிறது. இப்போது அல்லது எந்த எதிர்கால தருணத்திலும் ρ உண்மையாக இருந்தால் எப்போதாவது ρ இப்போது திருப்தி அடைகிறது. இப்போதும் எதிர்காலத்தின் ஒவ்வொரு தருணத்திலும் ρ உண்மையாக இருந்தால் எப்போதும் ρ இப்போது திருப்தி அடைகிறது. எந்த எதிர்கால தருணத்திலும் si உண்மையாகவும், அதற்கு முந்தைய ஒவ்வொரு தருணத்திலும் ρ உண்மையாகவும் இருந்தால் ρUsi இப்போது திருப்தி அடையும் வரை. ρWsi இப்போது திருப்தி அடையாவிட்டால் (எந்த எதிர்கால தருணத்திலும் si உண்மை மற்றும் ρ முந்தைய ஒவ்வொரு தருணத்திலும் உண்மை) அல்லது si எதிர்காலத்தில் நடக்காது. குறிப்புகள் வெளிப்புற இணைப்புகள் மெட்டாட்எம் மொழிபெயர்ப்பாளரின் ஜாவா செயல்பாட்டை இங்கிருந்து பதிவிறக்கம் செய்யலாம் செயற்கை நுண்ணறிவு