<p>The automata theory course is probably the lowest workload course in your list (compared to CS courses with programming and EE courses with labs). And it probably is not that hard for you if you got through upper level math courses like real analysis and abstract algebra previously. So dropping it would probably not lighten your workload as much as dropping one of the other courses.</p>