This course is very interesting for me because of two reasons:
1. I unwittingly studied a formal method.
2. I smoothly got introduced to automata theory.