Revision Lecture for CS143. If you are in CS259 (Formal Languages) then feel free to join as well for the notes, resources and Q&A sessions.
Content that will be covered (including but not limited too)
- DFA/ Right Linear Languages/ Regular Grammar
- PDA / Context-Free Languages / Context-Free Languages
- Logic (Propositional and Predicate Logic, Soundness and Completeness)
- Turing Machines (Church-Turing Thesis, Syntax and Semantics, decidability)