Languages and Problems. Regular Expressions and Languages. Fundamental Machines. Finite State Control Machines. Properties of Finite State Languages. Fundamental Machines. Stack and Tape Machines. Grammars. Computation Complexity. Circuit Complexity. Feasible Problems. Intractable Problems.