প্রশ্ন ট্যাগ «term-rewriting»

ধরুন আমাদের কাছে একটি সহজ ভাষা রয়েছে যা শর্তাদি নিয়ে গঠিত: truetrue\mathtt{true} falsefalse\mathtt{false} যদি পদ তারপর তাই আমি চ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} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 …

14 logic  semantics  proof-techniques  term-rewriting 

আমি কিছুটা গুগলিং করেছি এবং কিছুটা ছোট হয়ে এসেছি। আমি ভাবছি যে বিজ্ঞানীরা, প্রোগ্রামারগণকে টার্ম রাইটিং, এবং / অথবা টার্ম গ্রাফ রাইটিংয়ের অধ্যয়ন করার প্রধান কারণগুলি কী? আমি যতদূর বলতে পারি এটি কার্যকরী প্রোগ্রাম এবং (অত্যাবশ্যক) প্রোগ্রাম নিয়ন্ত্রণ সম্পর্কে মৌলিক যুক্তিতে সহায়তা করে। স্পষ্টতই, এটি লজিস্টিয়ান এবং যারা গঠনমূলক বিমূর্ত …

12 term-rewriting 

পুনর্লিখন ব্যবস্থা হ'ল আকারে নিয়মের একটি সেট । আমরা একটি স্ট্রিং যে নিয়ম প্রয়োগ করেন আমরা কোনো সাবস্ট্রিং প্রতিস্থাপন মধ্যে একটি সাবস্ট্রিং সঙ্গে এবং তদ্বিপরীত।A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB একটি স্ট্রিং স্ট্রিং দেওয়া হয়েছে আমরা নিম্নলিখিত বিধিগুলি সহ সিস্টেমে পেতে :AAABBAAABBAAABBBAABBAABBAAB A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow AABB AAA↔ABAAA↔ABAAA \leftrightarrow AB BA↔ABBA↔ABBA \leftrightarrow …

11 computability  term-rewriting 

যাক →β→β\to_\beta হতে ββ\beta -reduction মধ্যে λλ\lambda -calculus। নির্ধারণ ββ\beta -expansion ←β←β\leftarrow_\beta দ্বারা টি'←βটি⟺টি →βটি't′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' । Is ←β←β\leftarrow_\beta একত্র প্রবহমান? অন্য কথায়, আমরা যে আছে কোন l , d, আরl,d,rl,d,r , যদি ঠ →*βঘ←*βRl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* r , তারপর অস্তিত্ব আছে তোমার দর্শন লগ করাuu যেমন …

10 lambda-calculus  term-rewriting