I'm trying to understand more about $\lambda$-calculus through exercises so I'm stuck with this one:
$M$ a $\lambda$-term without normal form (we can't find a normal form, such as the term $(\lambda x. x x) (\lambda x. x x)$), and
$N$ a $\lambda$-term with a normal form.
Can we find an expression such as
that has a normal form?
Thanks for the help.