Reaction-diffusion and excitable media are amongst most intriguing substrates. Despite apparent simplicity of the physical processes involved the media exhibit a wide range of amazing patterns: from target and spiral waves to travelling localisations and stationary breathing patterns. These media are at the heart of most natural processes,...

Logic networks and automata are facets of digital systems. The change of  the design of logic networks from skills and art into a scientific discipline was possible by the development of the  underlying mathematical theory called the Switching Theory. The fundamentals of this theory come from the attempts towards an algebraic...

• Formal Methods in Software Development,
• Process Algebra,
• Timed Automata,
...

Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of finite-state devices in all aspects of computational linguistics, including dictionary encoding, text processing, and speech processing. This...

This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and complexity. As integers are...