1. Restore the parentheses and dots in the following:
    1. \(\lambda f \lambda g \lambda h \lambda x.(f(g(h x)))\)

    2. \(xxxx\)

    3. \(\lambda x.x\lambda y.y\)

    4. \(\lambda x.(x\lambda y.yxx)x\)

  2. Simplify the parentheses and dots in the following:
    1. \((xy)\)

    2. \((x(yz))\)

    3. \(((xy)z)\)

    4. \((\lambda x.x)\)

    5. \((\lambda y.(\lambda x.x))\)

    6. \((\lambda z.(x(\lambda y.(yz))))\)

    7. \((x(\lambda z.(\lambda y.(yz))))\)

    8. \((x(\lambda x.x))\)

    9. \(((\lambda y.(\lambda x.x))(\lambda x.x))\)

    10. \((((\lambda y.(\lambda x.x))(\lambda x.x))(xy))\)

    11. \(((x(yz))((xy)z))\)

    12. \((\lambda x.(\lambda y.(\lambda z.((xz)(yz)))))\)

    13. \((((ab)(cd))((ef)(gh)))\)

    14. \((\lambda x.((\lambda y.(yx))(\lambda v.v)z)u)(\lambda w.w)\)

Updated: