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
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
## 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
## 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