2.9 Paper
Consult the paper policy for
details of the turn-in and preparation process.
Choose one of the following options.
2.9.1 Parsing
Discuss the application of automata theory to the practical parsing of programming languages and/or human languages. A good place to start is to read about LALR parsers and follow the trail from there.
2.9.2 Verification
Discuss the application of automata theory to the verification of software. A good place to start is to read about model checking and logics like LTL.
2.9.3 Engineering
Discuss the practical application of automata theory and design to real-world engineering, including software engineering. It is tempting to limit your discussion to regular expressions, because they are ubiquitous. If you do this, you will automatically be marked down, unless you go deep into how practical regular expression engines are implemented and differ from the theory.