Week 1 notes for Western SE 3310 Theoretical Foundations of Software Engineering Notes: SE 3310b .2cm Theoretical Foundations of Software Engineering 1cm Week 1: Introduction and Determisitic Finite Automata 0.5cm Set of Integers Set of Natural Numbers Set-Builder Notation Set Set Operations Tuple Cartesian Product Alphabet String Powers of an Alphabet Kleene Star String Concatenation (Operation) Formal Language Computation Finite State Machine Finite State Transducer Moore Machine Mealy Machine