Mathematical theory of computation

Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science.

This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model.

After a long period of research, development, test and trial, relational database management systems are at last being marketed in force.

Die 12.

Das erste Symposium Simulationstechnik wurde vom 26.

Die Arbeiten zu Bildverarbeitung und Mustererkennung sind ein Versuch, die Natur der Wahrnehmung zu begreifen und die menschliche Intelligenzleistung in einern schmalen Teilbereich zu unterstützen.

There is an established interest in integrating databases and programming languages.

Replacement systems, such as term rewriting systems, tree manipulat- ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization, abstract data types, algebraic simplification, and symbolic comput- ation.

The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular.

Both theoretical and practical considerations motivate the repre- sentation of objects as certain compositions of simpler ones.

"e;Specification and transformation of programs"e; is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

Automation is nothing new to industry.

The OrIgIn of this monograph is a course entitled "e;Semantics- directed Compiler Generation"e; which Professor Neil D.

The theory of parsing is an important application area of the theory of formal languages and automata.

Since the early seventies concepts of specification have become central in the whole area of computer science.

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.

A strong and fluent competency in mathematics is a necessary condition for scientific, technological and economic progress.

L systems are language-theoretic models for developmentalbiology.

Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an outburst ofresearch activity in parallel processing architectures andalgorithms.

C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results.

For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic.

Control technology is a new learning environment whichoffers the opportunity to take up the economic andeducational challenge of enabling people to adapt to newtechnologies and use them to solve problems.

This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW) on "e;Intelligent Systems: Safety, Reliability and Maintainability Issues"e; that was held in Kusadasi, Turkey during August 24- 28, 1992.

Die Zukunft der modernen Industriegesellschaft hängt letztlich nicht von ökonomischen, vielmehr von kulturellen und politischen Faktoren ab.

Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen.

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.

This monograph is the result of a course given to graduate students and to the faculty of the Dept.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.