Journal ArticleDOI
Theories of Abstract Automata
Ira Pohl,Michael A. Arbib +1 more
About:
This article is published in Mathematics of Computation.The article was published on 1970-07-01. It has received 200 citations till now. The article focuses on the topics: Automata theory.read more
Citations
More filters
Journal ArticleDOI
Input-output parametric models for non-linear systems Part II: stochastic non-linear systems
TL;DR: Recursive input-output models for non-linear multivariate discrete-time systems are derived, and sufficient conditions for their existence are defined.
Book
Abstract and concrete categories : the joy of cats
TL;DR: This chapter discusses Categories and Functors, Topological Categories, Partial Morphisms, Quasitopoi, and Topological Universes, as well as partial Morphisms in Abstract Categories and Cartesian Closed Categories.
Journal ArticleDOI
An approach to the formal analysis of user complexity
David E. Kieras,Peter G. Polson +1 more
TL;DR: A formal approach to analysing the user complexity of interactive systems or devices is described, based on theoretical results from cognitive psychology, that permits quantification of the amount and complexity of the knowledge required and the cognitive processing load involved in using a system.
Book
Computability: An Introduction to Recursive Function Theory
TL;DR: The author explains how theorems such as Godel's incompleteness theorem and the second recursion theorem can be applied to the problem of computable functions.
Journal ArticleDOI
Fifty years of research on self-replication: an overview
TL;DR: The goal in this article is to present an overview of research carried out in the domain of self-replication over the past 50 years, starting from von Neumann's work in the late 1940s and continuing to the most recent research efforts.