term-rewriting पर टैग किए गए जवाब

मान लें कि हमारे पास एक सरल भाषा है जिसमें शब्द शामिल हैं: truetrue\mathtt{true} falsefalse\mathtt{false} यदि शब्द हैं तो i f हैt1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 अब निम्नलिखित तार्किक मूल्यांकन नियमों को मानें: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} …

14 logic  semantics  proof-techniques  term-rewriting 

मैंने थोड़ा सा गूगलिंग कर लिया है और थोड़ा सा ऊपर आ गया हूं। मैं सोच रहा हूं कि कंप्यूटिंग पुनर्लेखन, शब्द पुनर्लेखन, और / या ग्राफ़ ग्राफ पुनर्लेखन के मुख्य कारण क्या हैं। जहाँ तक मैं बता सकता हूँ, यह सिर्फ कार्यात्मक कार्यक्रमों और (अनिवार्य) नियंत्रण के बारे में …

12 term-rewriting 

रिवाइटरिंग सिस्टम के रूप में नियमों का एक समूह है । अगर हम उस नियम को एक स्ट्रिंग लागू करते हैं, तो हम किसी विकल्प को के स्थान पर और इसके विपरीत से प्रतिस्थापित करते हैं।A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB एक शुरू करने स्ट्रिंग को देखते हुए हम प्राप्त कर सकते हैं …

11 computability  term-rewriting 

चलो हो में -Reduction -calculus। द्वारा -expansion परिभाषित करें ।→ बीटा→β\to_\beta बीटा β\betaλ λ\lambdaबीटा β\beta← बीटा ←β\leftarrow_\betaटी ' ← बीटा टी⟺टी → बीटा टी 't′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' क्या संगम है? दूसरे शब्दों में, क्या हमारे पास ऐसा कोई भी , यदि , तो मौजूद जैसे कि ?← बीटा←β\leftarrow_\beta …

10 lambda-calculus  term-rewriting