First Page | Document Content | |
---|---|---|
Date: 2014-12-18 08:35:34Finite-state machine Computing Mathematics Deterministic pushdown automaton Automata theory Models of computation Nondeterministic finite automaton | On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday.Add to Reading ListSource URL: markburgess.orgDownload Document from Source WebsiteFile Size: 248,32 KBShare Document on Facebook |