[cubefox]

That sounds pretty cool! Link:

https://www.nand2tetris.org/

Though I'm not sure whether they relate this approach to the traditional FSM/PDA/TM models of computing. There seems to be a disconnect between theoretical computer science (which uses the classical models) and more "practical" computer science which uses Boolean and sequential logic circuits as a model of computing .

[Gunax]

From what I remember: it does not. It's about building a practical computer.