Comment by hctaw

Good book on that is Introduction to the Theory of Computation by Michael Sipser.

One could argue it's from the very bottom up, not much practicum lies in that text.