Finite automata, their limitations and capabilities, and Kleen’s theorem or regular expressions. Other types of automata and their events. Turing machine and computability, computable functions, and halting problems. Introduction to context-free languages. Syntactical analysis of such languages with application to translation. Note: For Computer Science Majors.