Since 2007, I have been working on a project to integrate automata theory and process theory.

The motivation is to present students with a model of a computer in a basic course on the foundations of computer science, that relates more closely to computers as they know them.

A recent result in this project is the addition of interaction to the theorem of the equivalence of pushdown automata and context-free grammars.