A conceptual model of computers based on defining and evaluating functions. Of current ProgrammingLanguages?, LISP, Scheme and Haskell best expose this conceptual model.
One of the fundamental proofs in ComputerScience is that any result calculatable in LambdaCalculus is calculatable on a FiniteStateMachine.
2 pages link to LambdaCalculus:
