I did EE, before switching to CS, and we covered state machines for digital design in some depth, without learning automata theory. So, I don't think it's stric

I did EE, before switching to CS, and we covered state machines for digital design in some depth, without learning automata theory. So, I don't think it's strictly necessary to know Theory of Computation to be able to model state practically and effectively.