عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 B946 1994
QA76
.
9
.
M35
B946
1994
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1461202892
(Number (ISBN
9781461202899
NATIONAL BIBLIOGRAPHY NUMBER
Number
b546205
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Finite Automata, Formal Logic, and Circuit Complexity
General Material Designation
[Book]
First Statement of Responsibility
by Howard Straubing.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston, MA
Name of Publisher, Distributor, etc.
Birkhäuser Boston : Imprint : Birkhäuser
Date of Publication, Distribution, etc.
1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(xii, 227 pages)
SERIES
Series Title
Progress in theoretical computer science.
CONTENTS NOTE
Text of Note
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].
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Book number
B946
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Howard Straubing.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Howard Straubing
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
