No, we went Automata, Finite State Machines, regex, grammars, set-theoretical and other mathematical formalisms

It’s funny, I never associated formal languages as part of the theory of computation. We only learnt about them from the perspective of automata/state machine theory

Yeah, but there’s software that sucks less

LooooongCounter operator++(const LooooongCounter& c) {
    if(c.lowPart == ULONG_MAX) {
        c.highPart++;
        c.lowPart = 0;
    }
    else c.lowPart++;
}