Bücher immer versandkostenfrei
Finite Automata, Formal Logic, and Circuit Complexity als Buch (gebunden)
PORTO-
FREI

Finite Automata, Formal Logic, and Circuit Complexity

Auflage 1994. HC runder Rücken kaschiert. Sprache: Englisch.
Buch (gebunden)
The study of the connections between mathematical automata and for­ mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computi … weiterlesen
Dieser Artikel ist auch verfügbar als:
Buch (gebunden)

138,99 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von 3 bis 5 Werktagen
Finite Automata, Formal Logic, and Circuit Complexity als Buch (gebunden)

Produktdetails

Titel: Finite Automata, Formal Logic, and Circuit Complexity
Autor/en: Howard Straubing

ISBN: 0817637192
EAN: 9780817637194
Auflage 1994.
HC runder Rücken kaschiert.
Sprache: Englisch.
Birkhäuser Boston

3. Mai 1994 - gebunden - 244 Seiten

Beschreibung

The study of the connections between mathematical automata and for­ mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first­ order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Research on the log­ ical aspects of the theory of finite-state automata, which is the subject of this book, began in the early 1960's with the work of J. Richard Biichi on monadic second-order logic. Biichi's investigations were extended in several directions. One of these, explored by McNaughton and Papert in their 1971 monograph Counter-free Automata, was the characterization of automata that admit first-order behavioral descriptions, in terms of the semigroup­ theoretic approach to automata that had recently been developed in the work of Krohn and Rhodes and of Schiitzenberger. In the more than twenty years that have passed since the appearance of McNaughton and Papert's book, the underlying semigroup theory has grown enor­ mously, permitting a considerable extension of their results. During the same period, however, fundamental investigations in the theory of finite automata by and large fell out of fashion in the theoretical com­ puter science community, which moved to other concerns.

Inhaltsverzeichnis

I Mathematical Preliminaries.
- I.1 Words and Languages.
- I.2 Automata and Regular Languages.
- I.3 Semigroups and Homomorphisms.- II Formal Languages and Formal Logic.
- II.1 Examples.
- II.2 Definitions.- III Finite Automata.
- III.1 Monadic Second-Order Sentences and Regular Languages.
- III.2 Regular Numerical Predicates.
- III.3 Infinite Words and Decidable Theories.- IV Model-Theoretic Games.
- IV.1 The Ehrenfeucht-Fraïssé Game.
- IV.2 Application to FO[

Mehr aus dieser Reihe

zurück
The Graph Isomorphism Problem
Buch (gebunden)
von J. Kobler, U. Sc…
Algorithms for Random Generation and Counting: A Markov Chain Approach
Buch (gebunden)
von A. Sinclair
The Graph Isomorphism Problem
Buch (gebunden)
von J. Kobler, U. Sc…
Algorithms for Random Generation and Counting: A Markov Chain Approach
Buch (gebunden)
von A. Sinclair
Polynomial and Matrix Computations
Buch (gebunden)
von Dario Bini, Vict…
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.