Context free languages,
Non-deterministic Finite automata / DFA
Turing machines
Regular languages etc

In terms of software engineering. Abstract Syntax Trees (ASTs)

>>54757830
Good response.

>>54757798
Sounds like an excuse to give pseudocode its own field.

Useless

An excuse for some old cogs to keep their jobs

Nobody needs to know or care about this nonsense in 2016

CompSCI is software now because theoretical computer science is just useless

>>54757798
I have a theoretical degree in computer science.

theory > practice

>>54760011
Not entirely true.

For example, you can know all the possible formalism to apply to a generic concurrent program in order to avoid deadlocks; still, if you can't code shit, it's totally useless.

Same for algorithms: you can be so smart to come up with some new kickass data compression algorithm or ML training/classifier algorithm, but if you can't implement it, it almost useless.

So, yeah, it's pretty clear that theory is good only when applied in practice, not the other way around.

>>54760294
A lot of professors seem to be this way. Can't code