Double pushout graph rewriting
கணினி அறிவியலில், இரட்டை புஷ்அவுட் வரைபட மறு எழுத்து (அல்லது டிபிஓ வரைபட மறு எழுத்து) என்பது வரைபட மறு எழுத்துக்கான கணித கட்டமைப்பைக் குறிக்கிறது. "வரைபட-இலக்கணங்கள்ஃ ஒரு இயற்கணித அணுகுமுறை" (1973) என்ற கட்டுரையில் வரைபடத்தை மீண்டும் எழுதுவதற்கான முதல் இயற்கணித அணுகுமுறைகளில் ஒன்றாக இது அறிமுகப்படுத்தப்பட்டது. வரைபடங்கள் அல்லாத கட்டமைப்புகளை மீண்டும் எழுத அனுமதிக்கவும், எதிர்மறை பயன்பாட்டு நிபந்தனைகளைக் கையாளவும், பிற நீட்டிப்புகளுடன் இது பொதுமைப்படுத்தப்பட்டுள்ளது. வரையறை ஒரு டிபிஓ வரைபட மாற்ற அமைப்பு (அல்லது வரைபட இலக்கணம்) ஒரு வரையறுக்கப்பட்ட வரைபடத்தைக் கொண்டுள்ளது, இது தொடக்க நிலை, மற்றும் வரையறுக்கப்பட்ட வரைபடங்கள் மற்றும் வரைபட காப்பமைவுகளின் பிரிவில் பெயரிடப்பட்ட இடைவெளிகளின் வரையறுக்கப்பட்ட அல்லது கணக்கிடக்கூடிய தொகுப்பு, இது வழித்தோன்றல் விதிகளாக செயல்படுகிறது. விதி இடைவெளிகள் பொதுவாக மோனோமார்பிசம்களால் ஆனவை என்று கருதப்படுகிறது, ஆனால் விவரங்கள் மாறுபடலாம். மறு எழுத்து இரண்டு படிகளில் செய்யப்படுகிறதுஃ நீக்குதல் மற்றும் கூட்டல். இடது புறத்தில் இருந்து ஒரு பொருத்தம் சரிசெய்யப்பட்ட பிறகு, வலது புறத்தில் இல்லாத முனைகள் மற்றும் விளிம்புகள் நீக்கப்படுகின்றன. பின்னர் வலது புறம் ஒட்டப்படுகிறது. க்ளூயிங் வரைபடங்கள் உண்மையில் வரைபடங்களின் பிரிவில் ஒரு புஷ்அவுட் கட்டுமானமாகும், மேலும் நீக்குதல் என்பது ஒரு புஷ்அவுட் நிரப்பைக் கண்டுபிடிப்பதற்கு சமம், எனவே இந்த பெயர். பயன்பாடுகள் இரட்டை புஷ்அவுட் வரைபட மறு எழுத்து நிலையான அளவு மற்றும் கலவையின் ஒரு வடிவத்தைக் கண்டறிந்து மாற்றுவதன் மூலம் வரைபட மாற்றங்களின் விவரக்குறிப்பை அனுமதிக்கிறது, அங்கு வடிவத்தின் ஒரு பகுதியை பாதுகாக்க முடியும். ஒரு விதியின் பயன்பாடு சாத்தியமான தீர்மானிக்கப்படாததுஃ பல தனித்துவமான பொருத்தங்கள் சாத்தியமாகும். இவை ஒன்றுடன் ஒன்று இணைக்கப்படாமல் இருக்கலாம் அல்லது பாதுகாக்கப்பட்ட உருப்படிகளை மட்டுமே பகிர்ந்து கொள்ளலாம், இதனால் இணையான சுதந்திரம் எனப்படும் ஒரு வகையான ஒற்றுமையைக் காட்டுகிறது, அல்லது அவை பொருந்தாது, இந்த விஷயத்தில் பயன்பாடுகள் சில நேரங்களில் தொடர்ச்சியாக செயல்படுத்தப்படலாம், அல்லது ஒன்று மற்றொன்றைத் தடுக்கலாம். இது மென்பொருள் வடிவமைப்பு மற்றும் நிரலாக்கத்திற்கான ஒரு மொழியாகப் பயன்படுத்தப்படலாம் (பொதுவாக வரைபடங்களைத் தேர்ந்தெடுப்பதை விட பணக்கார கட்டமைப்புகளில் செயல்படும் ஒரு மாறுபாடு). டிபிஓ வரைபட மறு எழுத்துக்கான நிறுத்தம் தீர்மானிக்க முடியாதது, ஏனெனில் போஸ்ட் கடிதப் பிரச்சினையை அதனுடன் குறைக்க முடியும். டிபிஓ வரைபடத்தை மீண்டும் எழுதுவது பெட்ரி வலைகளின் பொதுமைப்படுத்தலாகக் கருதப்படலாம். டி. பி. ஓ மறு எழுத்து எந்த வகைகளில் வேலை செய்யும் என்பதை விவரிக்க பொதுமைப்படுத்தல் கோட்பாடுகள் தேடப்பட்டுள்ளன. ஒரு சாத்தியக்கூறு ஒரு பிசின் வகை பற்றிய கருத்தாகும், இது பல மூடல் பண்புகளையும் அனுபவிக்கிறது. தொடர்புடைய கருத்துக்கள் எச். எல். ஆர் அமைப்புகள், அரை-பிசின் வகைகள் மற்றும்-பிசின் பிரிவுகள், பிசின் எச். எல். ஆர் பிரிவுகள் ஆகும். பிசின் வகை மற்றும் எச். எல். ஆர் அமைப்பு பற்றிய கருத்துக்கள் தொடர்புடையவை (இணை தயாரிப்புகளுடன் கூடிய பிசின் வகை ஒரு எச். எல். ஆர் அமைப்பு). எடுத்துக்காட்டாக, ஹைப்பர் கிராஃப், தட்டச்சு செய்யப்பட்ட கிராஃப் மற்றும் பண்படுத்தப்பட்ட கிராஃப் மறு எழுத்து ஆகியவற்றைக் கையாள முடியும், ஏனெனில் அவை பிசின் எச். எல். ஆர் அமைப்புகளாக வார்ப்பிக்கப்படலாம். குறிப்புகள் வரைபட வழிமுறைகள் வரைபடம் மீண்டும் எழுதுதல்