𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Applications of the theory of automata in enumeration

✍ Scribed by Howard Straubing


Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
698 KB
Volume
64
Category
Article
ISSN
0012-365X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The application of cellular automata to
✍ Roger Smith πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 769 KB

Two approaches to modelling surface erosion are described which can be used to explain the development of geomorphological features. The first approach uses non-linear wave theory and shows how surface gradient discontinuities can arise as the erosion of an initially smooth surface proceeds. For iso

Some applications of propositional logic
✍ Stefano Cavagnetto πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 154 KB

## Abstract In this paper we give a new proof of Richardson's theorem [31]: a global function __G__~𝔸~ of a cellular automaton 𝔸 is injective if and only if the inverse of __G__~𝔸~ is a global function of a cellular automaton. Moreover, we show a way how to construct the inverse cellular automaton

Applications of the Structure-Resonance
✍ Cyril PΓ‘rkΓ‘nyi; William C. Herndon; Ahmad S. Shawali πŸ“‚ Article πŸ“… 2010 πŸ› Wiley (John Wiley & Sons) βš– 61 KB πŸ‘ 1 views
Advances in the theory and application o
✍ Richie Ryan; Sheila Donegan; Joe Power; Kevin Altria πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 285 KB πŸ‘ 1 views
The Index Set of Injectively Enumerable
✍ Stephan Wehner πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 372 KB

## Abstract I introduce an effective enumeration of all effective enumerations of classes of r. e. sets and define with this the index set __IE__ of injectively enumerable classes. It is easy to see that this set is βˆ‘~5~ in the Arithmetical Hierarchy and I describe a proof for the βˆ‘~5~‐hardness of