Presents an introduction to the basic models of computability to the undergraduate students. This book deals with Finite Automata and their properties. It provides a class of models and enables the analysis of context-free languages.
This book deals with a fascinating and important subject which has the
fundamentals of computer...
Topics in switching and finite automata theory have been an important part of
the curriculum in electrical engineering and computer science departments for
several decades. The third edition of this book builds on the comprehensive
foundation provided by the second edition and adds: significant new material
in the areas of CMOS logic;...
This volume contains the contributed papers and invited talks presented at the 1stInternationalWorkshoponAlgorithmicAspectsofWirelessSensorNetworks (ALGOSENSORS 2004), which was held July 16, 2004, in Turku, Finland, - located with the 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004). Wireless ad hoc sensor...
Connections between the theory of hyperbolic manifolds and the theory of
automata are deeply interwoven in the history of mathematics of this century.
The use of symbol sequences to study dynamical systems originates in the
work of Kocbe [Koc27, Koe29] and Morse [Mor87j, who both used symbol
saliences to code geodesies on a...
This book focuses on key theoretical topics of computing, in particular formal
languages and abstract machines. It is intended primarily to support the theoretical
modules on a computer science or computing-related undergraduate degree
scheme.
Though the book is primarily theoretical in nature, it attempts to avoid the...
There is a growing interest in large computing systems which operate
in a highly parallel manner, in computing machines which can construct
copies or variants of themselves, and in models for biological reproduc
tion. Cellular automata provide a common basis for investigations in
all these areas. The major pioneering work in...
The theory of computing provides students with a background in the fundamentals of computing with which to achieve a deeper understanding of contemporary computing systems. Computers are evolving and developing at a dizzying rate. Yet, the fundamentals of pattern matching and programming language design and implementation have remained...
Game playing is a powerful metaphor that fits many situations where interaction
between autonomous agents plays a central role. Numerous tasks
in computer science, such as design, synthesis, verification, testing, query
evaluation, planning, etc. can be formulated in game-theoretic terms. Viewing
them abstractly as games reveals the...
A range of new and innovative tools used for preformulation and formulation of medicines help optimize pharmaceutical development projects. Such tools also assist with the performance evaluation of the pharmaceutical process, allowing any potential gaps to be identified. These tools can be applied in both basic research and industrial...
Computer science, like other mathematical fields, cannot live without a tight relationship
with reality. However, such a relationship is, frankly, not very common.
This is probably why people so enthusiastically welcome a true meeting of theory
and practice. In that sense, the coming together of XML and tree automata theory
was a...
Currently, spatial analysis is becoming more important than ever because enormous volumes of spatial data are available from different sources, such as GPS, Remote Sensing, and others.
This book deals with spatial analysis and modelling. It provides a comprehensive discussion of spatial analysis, methods, and approaches related to...
Focuses on the role of the computer as a generative tool for music composition. Miranda introduces a number of computer music composition techniques ranging from probabilities, formal grammars and fractals, to genetic algorithms, cellular automata and neural computation. Anyone wishing to use the computer as a companion to create music will...