Week 5 [2024-05-02 Thu] Posted: 0001-01-01 We discussed semantic automata. For futher information, consult: ELS chapter 8