Explain the syntax and semantics of the lambda calculus, focusing on the rules of alpha conversion and beta reduction. Discuss the difference between normal order evaluation and applicative order evaluation. Provide examples of terms that terminate under one strategy but not the other, and explain the concept of normal form.