Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Logic, semigroups and automata on words

Logic, semigroups and automata on words This is a survey article on the connections between the “sequential calculus” of Büchi, a system which allows to formalize properties of words, and the theory of automata. In the sequential calculus, there is a predicate for each letter and the unique extra non logical predicate is the relation symbol <, which is interpreted as the usual order on the integers. Several famous classes have been classified within this logic. We briefly review the main results concerning second order, which covers classes like PH, NP, P, etc., and then study in more detail the results concerning the monadic second-order and first-order logic. In particular, we survey the results and fascinating open problems dealing with the first-order quantifier hierarchy. We also discuss the first-order logic of one successor and the linear temporal logic. There are in fact three levels of results, since these logics can be interpreted on finite words, infinite words or bi-infinite words. The paper is self-contained. In particular, the necessary background on automata and finite semigroups is presented in a long introductory section, which includes some very recent results on the algebraic theory of infinite words. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

Logic, semigroups and automata on words

Download PDF
42 pages

Loading next page...
 
/lp/springer-journals/logic-semigroups-and-automata-on-words-1HcorDcYdz

References (114)

Publisher
Springer Journals
Copyright
Copyright
Subject
Computer Science; Artificial Intelligence; Mathematics, general; Computer Science, general; Complex Systems
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/BF02127803
Publisher site
See Article on Publisher Site

Abstract

This is a survey article on the connections between the “sequential calculus” of Büchi, a system which allows to formalize properties of words, and the theory of automata. In the sequential calculus, there is a predicate for each letter and the unique extra non logical predicate is the relation symbol <, which is interpreted as the usual order on the integers. Several famous classes have been classified within this logic. We briefly review the main results concerning second order, which covers classes like PH, NP, P, etc., and then study in more detail the results concerning the monadic second-order and first-order logic. In particular, we survey the results and fascinating open problems dealing with the first-order quantifier hierarchy. We also discuss the first-order logic of one successor and the linear temporal logic. There are in fact three levels of results, since these logics can be interpreted on finite words, infinite words or bi-infinite words. The paper is self-contained. In particular, the necessary background on automata and finite semigroups is presented in a long introductory section, which includes some very recent results on the algebraic theory of infinite words.

Journal

Annals of Mathematics and Artificial Intelligence – Springer Journals

Published: Aug 13, 2005

There are no references for this article.