Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

eBook Information

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science) ISBN  0817637192 Release Date  03 May 1994 Category  Computer Science Tags  automata,   logic,   formal,   circuit,   finite automata,   an introduction to formal languages and automata,   complexity,   finite automata and formal languages,   finite,   lex,   finite state machine,   automat,   "automata",   ogre,   formal languages,   theoretical,   formal languages and automata,   finite state,   an introduction to formal language and automata,   formal method,   automata theory and formal languages,   finite autamata,   progress,   automata theory,   formal language and automata,   This book @Amazon  View Tools Google Search Web flazx.com

Description The material in this book is situated at the juncture of the automata theory, logic, computational complexity and semigroup theory. The first part of the book is devoted to the algebraic characterization of the regular languages definable in many different logical theories. This includes older results of Büchi on monadic second-order language, and of McNaughton and Papert on first-order logic and star-free languages, as well as many more recent developments that have never been treated in book form. The second part presents the recently-discovered connections between the algebraic theory of the automata and the complexity theory of small-depth circuits. Other books on Computer Science Numerical Geometry of Non-Rigid Shapes (Monographs in Computer Science) Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science) Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science) Transactions on Rough Sets VIII (Lecture Notes in Computer Science) Advances in Web Information Systems Engineering: WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science) Combinatorial Optimization and Applications: Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings (Lecture Notes in Computer Science) Advances in Databases and Information Systems: 12th East European Conference, ADBIS 2008, Pori, Finland, September 5-9, 2008, Proceedings (Lecture Notes in Computer Science) Unconventional Computation: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings (Lecture Notes in Computer Science) Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture Notes in Computer Science) Smart Graphics: 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008, Proceedings (Lecture Notes in Computer Science) Engines of Logic: Mathematicians and the Origin of the Computer Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science) Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings (Lecture Notes in Computer Science) Embedded Computer Systems: Architectures, Modeling, and Simulation: 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings (Lecture Notes in Computer Science) Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science)