Modern (for last 30-40 years at least) way to write about programming is way more about tech than math. Alan Turing do really describe Mark I/II processor as 'state machine' concepts, and do it like ...