এই খুব সুন্দর প্রশ্নের বেশ কয়েকটি দিক রয়েছে, তাই আমি সেই অনুসারে এই উত্তরটি গঠন করব।
1. বক্সযুক্ত প্রশ্নের উত্তর হ'ল না । আপনার বন্ধু দ্বারা প্রস্তাবিত শব্দটি প্রকৃতপক্ষে একটি পাল্টা নমুনা।Ω3=(λx.xxx)(λx.xxx)
আগে মন্তব্যগুলিতে এটি লক্ষ্য করা গিয়েছিল যে কারও কাছে "ওগ্রে" মতো প্রতিবিম্ব রয়েছে , যতক্ষণ না প্রশ্ন দুর্বল মাথা হিসাবে ফর্ম হিসাবে সীমাবদ্ধ থাকে। এ জাতীয় পদ শূন্য পদ হিসাবে পরিচিত । এগুলি এমন কোনও পদ যা কোনও প্রতিস্থাপনের অধীনে কোনও ল্যাম্বডায় কমে না।K∞=YK
যে কোনও স্থির বিন্দু সংমিশ্রণ (এফপিসি) , ওয়াই আমি একটি তথাকথিত নিঃশব্দ (একেএ "রুট-অ্যাক্টিভ") শব্দ: এর প্রতিটি হ্রাসটি আরও একটি রেডেক্সে কমিয়ে দেয়।YYI
নিঃশব্দ নয়; তন্ন তন্ন হয় Ω 3 - যেমন reducts তার সেট, যা পরিদর্শন দ্বারা স্পষ্ট হয়
{ Ω 3 ( λ এক্স । এক্স এক্স এক্স ) ⋯ ( λ এক্স । এক্স এক্স এক্স ) ⏟ ট | ট ∈ এন }K∞Ω3 −
{Ω3(λx.xxx)⋯(λx.xxx)k∣k∈N}
বরং একটি সুনির্দিষ্ট যুক্তি দিতে কেন fpcs সবার জন্য নিঃশব্দ হয় ওয়াই (প্রকৃতপক্ষে, কোন লুপিং combinator জন্য) - আড়ষ্ট এখনো আশা স্পষ্ট যথেষ্ট হতে পারে যা - আমি আপনার প্রশ্নের সুস্পষ্ট সাধারণীকরণ বিবেচনা করবে, পাশাপাশি নিঃশব্দ পদ সীমাবদ্ধ।YIY−−
নিঃশব্দ পদগুলি শূন্য পদগুলির একটি সাবক্লাস যা অবিশ্বাস্য শর্তাদির একটি সাবক্লাস। লম্বা ক্যালকুলাসে যথাক্রমে তুচ্ছ ব্যারারডাস্কি, লেভি-লঙ্গো এবং বি oh "ওহম গাছের সাথে মিল রেখে ল্যাংডা ক্যালকুলাসে" অর্থহীন "বা" অপরিজ্ঞাত "ধারণার জন্য এটি সম্ভবত সবচেয়ে জনপ্রিয় পছন্দ gether অর্থহীন পদগুলির ধারণার জালিয়াতি। পলা সেভেরি এবং ফের-জান দে ভ্রাইস বিশদ দ্বারা বিশদ বিশ্লেষণ করেছেন। [1] নিঃশব্দ পদগুলি এই জালির নীচের উপাদানটি গঠন করে, অর্থাৎ, "অপরিজ্ঞাত" এর সীমাবদ্ধ ধারণা not
2. আসুন একটি নিঃশব্দ মেয়াদ হতে, এবং ওয়াই সম্পত্তি যে একটি লুপিং combinator হতে ওয়াই আমি = এম ।MYYI=M
প্রথম আমরা যে তর্ক, একটি তাজা পরিবর্তনশীল জন্য , ওয়াই z- র আসলে মত অনেক দেখায় ওয়াই এম আপনি বর্ণিত, দ্বারা "ছড়ানো প্রাপ্ত z- র কিছু reduct প্রায়" এম ।zYzYMzM
চার্চ-Rosser, কসম এবং এম একটি সাধারণ reduct, have এম ' । একটি স্ট্যান্ডার্ড হ্রাস নিন R : Y I ↠ s M ′ । প্রতিটি subterm এম 'YIMM′R:YI↠sM′M′ এই হ্রাসের আওতায় একটি অনন্য সাবটার্মের সাথে মিলে যায় । যে কোনও subterm C [ N ] = M ′ , Y I ↠ C হিসাবে R কারণের জন্য [YI≡Yz[z:=I]C[N]=M′R , যেখানে মধ্যম লেগ একটি দুর্বল মাথা হ্রাস (এবং চূড়ান্ত লেগ অভ্যন্তরীণ ব্যবহারের জন্য)। এন- কে একটি জেড দ্বারা "রক্ষিত" হয়যদি এই দ্বিতীয় লেগেরসাথে আমি কিছুটা পুনর্নির্বাচিত আই পি চুক্তি করি তবে আমি প্রতিস্থাপনের বংশধর [ z : = I ] এর সাথে ।YI↠C[N0]↠whC[N1]↠iC[N]NzIPI[z:=I]
স্পষ্টতই, এম এর কিছু সাবটার্মগুলি রক্ষা করতে হবে, অন্যথায় এটিও নিঃশব্দ হবে। অন্যদিকে, সাবটার্মগুলি যা অবসানহীনতার জন্য প্রয়োজন তা রক্ষা না করা অবশ্যই সতর্ক থাকতে হবে, অন্যথায় এটি কোনও লুপিং সংযুক্তকারীটির অসীম বি \ "ওহম গাছ বিকাশ করতে পারে না।YM
এইভাবে একটি নিঃশব্দ শব্দটির সন্ধান করা যথেষ্ট, যেখানে প্রতিটি হ্রাসের প্রতিটি উপসত্তা, অ-সাধারণীকরণের জন্য প্রয়োজনীয়, এই অর্থে যে এই সাবটারমের সামনে একটি ভেরিয়েবল স্থাপন করা একটি স্বাভাবিককরণ শব্দটি দেয়।
বিবেচনা করুন , যেখানে ওয়াট = λ W । W আমি W W । এটি Ω এর মতো , তবে প্রতিটি পুনরাবৃত্তিতে আমরা পরীক্ষা করে দেখি যে আর্গুমেন্ট পজিশনে ডাব্লু এর উপস্থিতি একটি প্রধান ভেরিয়েবল দ্বারা "ব্লক" করা হয়নি, এটি একটি পরিচয় খাওয়ানোর মাধ্যমে। লাগানো aΨ=WWW=λw.wIwwΩWকোনও সাবটারমের সামনে জেড স্থাপন করা অবশেষে z P 1 ⋯ P k আকারের একটি সাধারণ রূপ ধারণ করবে, যেখানে প্রতিটি পি আমি হয় আমি , ডাব্লু বাএগুলিরএকটি " জেড- স্প্রিংলিং"। সুতরাং ΨzzP1⋯PkPiIWzΨ জেনারেলাইজড প্রশ্নের একটি পাল্টা নমুনা।
উপপাদ্য। কোন লুপিং combinator হয় যেমন যে ওয়াই আমি = Ψ ।YYI=Ψ
প্রমাণ। সব reducts সেট হয় { ডব্লিউ ডব্লিউ , ডব্লিউ আমি ওয়াট ওয়াট , আমি আমি আমি আমি ওয়াট ওয়াট , আমি আমি আমি ওয়াট ওয়াট ,Ψ । অর্ডার দিয়ে পরিবর্তনীয় করতে হলে Ψ , ওয়াই আমি এই এক কমাতে উচিত নয়। যুক্তি সব ক্ষেত্রে অভিন্ন; concreteness, যে অনুমান করা ওয়াই আমি ↠ আমি আমি ওয়াট ওয়াট ।{WW,WIWW,IIIIWW,IIIWW,IIWW,IWW}ΨYIYI↠IIWW
কোন মান হ্রাস উপাদান করা যেতে পারে
ওয়াই আমি ↠ W পি এন 4 , পি ↠ W প্রশ্ন এন 3 , প্রশ্ন ↠ W এন 1 এন 2 , এইভাবে ওয়াই আমি ↠ W এন 1 এন 2 এন 3 এন 4 এন 1 ↠ আই , এন 2 ↠ আই , এন 3YI↠sIIWW
YI↠wPN4,P↠wQN3,Q↠wN1N2,thus YI↠wN1N2N3N4N1↠I,N2↠I,N3↠W,N4↠W
YI↠wN1N2N3N4R0NiRi
[z:=I]
Rz0:Yz↠zk(M1M2M3M4)Ni≡Mi[z:=I]
R0YI↠Rz0[z:=I]Ik(N1⋯N4)↠kwN1⋯N4
Ri:Ni↠N∈{I,W}
Rzi:Mi↠NziRi:Ni↠Rzi[z:=I]Nzi[z:=I]↠IN
RiI-redexes which are created by the substitution Nzi[z:=I]. (In particular, since N is a normal form, so is Nzi.)
Nzi is what we called a "z-sprinkling of N", obtained by placing any number of zs around any number of subterms of N. Since N∈{I,W}, the shape of Nzi will be one of
zk1(λx.zk2(x))zk1(λw.zk2(zk3(zk5(zk7(w)zk8(λx.zk9(x)))zk6(w))zk4(w)))
So M1M2M3M4↠Nz1Nz2Nz3Nz4, with Nzi a z-sprinkling of I for i=1,2 and of W for i=3,4.
At the same time, the term Nz1Nz2Nz3Nz4 should yet reduce to yield the infinite fpc Bohm tree z(z(z(⋯))). So there must exist a "sprinkle" zkj in one of the Nzi which comes infinitely often to the head of the term, yet does not block further reductions of it.
And now we are done. By inspecting each Nzi, for i≤4, and each possible value of kj, for j≤2+7⌊i−12⌋, we find that no such sprinkling exists.
For example, if we modify the last W in IIWW as Wz=λw.z(wIww), then we get the normalizing reduction
IIWWz→IWWz→WWz→WzIWzWz→z(IIII)WzWz↠zIWzWz
(Notice that Ω admits such a sprinkling precisely because a certain subterm of it can be "guarded" without affecting non-normalization. The variable comes in head position, but enough redexes remain below.)
3.
The "sprinkling transformation" has other uses. For example, by placing z in front of every redex in M, we obtain a term N=λz.Mz which is a normal form, yet satisfies the equation NI=M. This was used by Statman in [2], for example.
4.
Alternatively, if you relax the requirement that YI=M, you can find various (weak) fpcs Y which simulate the reduction of M, while outputting a chain of zs along the way. I am not sure this would answer your general question, but there are certainly a number of (computable) transformations M↦YM which output looping combinators for every mute M, in such a way that the reduction graph of YM is structurally similar to that of M. For example, one can write
Y⌈M⌉z={z(Y⌈P[x:=Q]⌉z)Y⌈N⌉zM≡(λx.P)QM is not a redex and M→whN
[1] Severi P., de Vries FJ. (2011) Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. In: Beklemishev L.D., de Queiroz R. (eds) Logic, Language, Information and Computation. WoLLIC 2011. Lecture Notes in Computer Science, vol 6642.
[2] Richard Statman. There is no hyperrecurrent S,K combinator. Research
Report 91–133, Department of Mathematics, Carnegie Mellon
University, Pittsburgh, PA, 1991.