Introduce the basic syntax of the Lambda Calculus, including variables, abstraction, and application. Demonstrate the process of beta-reduction and normal order evaluation. Provide a step-by-step evaluation of a specific lambda expression to illustrate how computation is achieved without a state machine.