12 research outputs found
Towards a Uniform Theory of Effectful State Machines
Using recent developments in coalgebraic and monad-based semantics, we
present a uniform study of various notions of machines, e.g. finite state
machines, multi-stack machines, Turing machines, valence automata, and weighted
automata. They are instances of Jacobs' notion of a T-automaton, where T is a
monad. We show that the generic language semantics for T-automata correctly
instantiates the usual language semantics for a number of known classes of
machines/languages, including regular, context-free, recursively-enumerable and
various subclasses of context free languages (e.g. deterministic and real-time
ones). Moreover, our approach provides new generic techniques for studying the
expressivity power of various machine-based models.Comment: final version accepted by TOC
Ottawa County Times, Volume 9, Number 2: January 26, 1900
Weekly Democratic newspaper published in Holland, Michigan from 1892-1905.https://digitalcommons.hope.edu/oct_1900/1002/thumbnail.jp
Portland Daily Press: April 14, 1896
https://digitalmaine.com/pdp_1896/1089/thumbnail.jp
Integration Structures
The term "structure" in the title is used in the Bourbakist sense. Chapter 0 is devoted to the exposition of a certain notorious failure, or inadequacy, of currently used integration structures, including those presented in Book 5 of the Bourbaki treatise and in the well-known text of PR Halmos. In Section G of that chapter, the nature of the integration structures presented here is briefly described. This description is amplified somewhat in the pre-ambles to chapters 2, 3 and 4