Formal Languages and Automata
Introduces Formal Languages and their application to Safety-Critical Systems and Proofs of Correctness. Discusses automata and their relationship to regular, context-free and phrase-structure languages. The computability theory is presented, including Turing machines, decidability and recursive functions.
|Faculty||Faculty of Engineering and Built Environment|
|School||School of Electrical Engineering and Computer Science|
Semester 1 - 2015
On successful completion of this course, students will be able to:
|Assumed Knowledge||Good programming skills. Knowledge of discrete mathematics.|
|Timetable||2015 Course Timetables for COMP6270|