Exercise: Notational conventions
- Restore the parentheses and dots in the following:
-
\(\lambda f \lambda g \lambda h \lambda x.(f(g(h x)))\)
-
\(xxxx\)
-
\(\lambda x.x\lambda y.y\)
-
\(\lambda x.(x\lambda y.yxx)x\)
-
- Simplify the parentheses and dots in the following:
-
\((xy)\)
-
\((x(yz))\)
-
\(((xy)z)\)
-
\((\lambda x.x)\)
-
\((\lambda y.(\lambda x.x))\)
-
\((\lambda z.(x(\lambda y.(yz))))\)
-
\((x(\lambda z.(\lambda y.(yz))))\)
-
\((x(\lambda x.x))\)
-
\(((\lambda y.(\lambda x.x))(\lambda x.x))\)
-
\((((\lambda y.(\lambda x.x))(\lambda x.x))(xy))\)
-
\(((x(yz))((xy)z))\)
-
\((\lambda x.(\lambda y.(\lambda z.((xz)(yz)))))\)
-
\((((ab)(cd))((ef)(gh)))\)
-
\((\lambda x.((\lambda y.(yx))(\lambda v.v)z)u)(\lambda w.w)\)
-