Finite Automata, Formal Logic, and Circuit Complexity

Finite Automata, Formal Logic, and Circuit Complexity
Author :
Publisher : Springer Science & Business Media
Total Pages : 235
Release :
ISBN-10 : 9781461202899
ISBN-13 : 1461202892
Rating : 4/5 (892 Downloads)

Book Synopsis Finite Automata, Formal Logic, and Circuit Complexity by : Howard Straubing

Download or read book Finite Automata, Formal Logic, and Circuit Complexity written by Howard Straubing and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 235 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Finite Automata, Formal Logic, and Circuit Complexity Related Books

Finite Automata, Formal Logic, and Circuit Complexity
Language: en
Pages: 235
Authors: Howard Straubing
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 subj
Logic and Automata
Language: en
Pages: 737
Authors: Jörg Flum
Categories: Mathematics
Type: BOOK - Published: 2008 - Publisher: Amsterdam University Press

DOWNLOAD EBOOK

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasi
Automata, Logics, and Infinite Games
Language: en
Pages: 377
Authors: Erich Grädel
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm a
Infinite Words
Language: en
Pages: 560
Authors: Dominique Perrin
Categories: Computers
Type: BOOK - Published: 2004-02-18 - Publisher: Academic Press

DOWNLOAD EBOOK

Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its applicatio
Computation Engineering
Language: en
Pages: 493
Authors: Ganesh Gopalakrishnan
Categories: Computers
Type: BOOK - Published: 2006-09-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Although it is critical in today’s world that students who take automata theory and logic courses retain what they have learned and understand how to use thei