>>14282189Boolean algebra is at least a little more interesting than automata theory. Automata theory and formal languages sounds like it would be cool, but most of it is boring as shit, especially the way it is taught. Everything is just about proving the existence of certain normal forms or showing that one machine is equivalent to another.
Boolean algebra is actually interesting on it own, especially the more advanced stuff concerning ultrafilters and posets and other stuff. Automata theory gets a bit more interesting when you look at the more applied stuff, however. In particular, there are a lot of interesting connections between automata and dynamical systems and semigroups and monoids and stuff like that.
