![]() ![]() Since we supply a single input tea, we only resolve the outer function with parameter P (leaving the brackets for some clarity):Īs for the final function, it still has the same problem that you are removing both functions, when only one input is given. P(x)))(tea) where now each lambda function is surrounded by brackets. The name of the placeholder does not matter as long as it is used consistently throughout the body of the function. ![]() P(x)(tea) this can be better represented as (λP. A bound variable is just a placeholder for a value. They dabbled in alternatives (for example the I calculus) but could not resolve the problem. The Lambda Calculus is a model of computation developed in the 1930s by the mathematician Alonzo Church. Like beta conversion -conversion eta conversion -conversion can be performed from left to. You can think of it of peeling off the outer one and exposing the inner. Not even the Lambda Calculus inventors were sure about this. New book on A++ and the Lambda Calculus available Eta Conversion. Since you have a single input, you only have to reduce one function - the first one, leaving the other. You are forgetting that you have a lambda function where the expression inside is another lambda function. We've substituted the x variable for Garfield and removed λx in the process leaving just the expression inside. katze(x)(Garfield) -> katze (Garfield) the reduction is correct. ![]() The notation for that is and you pick up the first variable that is given. When performing beta reduction, you substitute the bound variable to the lambda function with the value supplied. 1 Answer Sorted by: 0 When performing beta reduction, you substitute the bound variable to the lambda function with the value supplied. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |