# Languages, Automata, and Logic

@inproceedings{Thomas1997LanguagesAA, title={Languages, Automata, and Logic}, author={Wolfgang Thomas}, booktitle={Handbook of Formal Languages}, year={1997} }

The subject of this chapter is the study of formal languages (mostly languages recognizable by finite automata) in the framework of mathematical logic.

## 1,046 Citations

### Automata and Logics for Concurrent Systems: Five Models in Five Pages

- Computer ScienceCIAA
- 2015

This work surveys various automata models of concurrent systems and their connection with monadic second-order logic: finite automata, class memory automata%, nested-word automata!, and message-passing automata.

### Model Checking Using Automata Theory

- Computer Science
- 2000

This chapter describes the theory of LTL model checking using w- automata theory, which allows applying various known results about automata to the automatic verification of programs.

### An Introduction to Finite Automata and their Connection to Logic

- Computer ScienceModern Applications of Automata Theory
- 2012

An introduction to the syntactic monoid, and as an application give a proof of the equivalence of first-order definability and aperiodicity of finite automata and monadic second-order logic.

### Boolean Algebras of Regular Languages

- Mathematics, Computer ScienceLATA
- 2011

Some of the Boolean algebras of regular languages of finite and infinite words are characterized up to isomorphism. It is shown that classes of regular languages related to such characterizations are…

### Automata, Logic, and XML

- Computer ScienceCSL
- 2002

We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and…

### Monitor Logics for Quantitative Monitor Automata

- Computer ScienceMFCS
- 2017

A new logic called Monitor Logic is introduced and it is shown that it is expressively equivalent to Quantitative Monitor Automata.

### Some connections between universal algebra and logics for trees

- Mathematics, Computer ScienceArXiv
- 2017

The goal of this paper is to present this problem and similar ones using the language of universal algebra, highlighting potential connections to the structural theory of finite algebras, including Tame Congruence Theory.

### Nominal Monoids

- MathematicsTheory of Computing Systems
- 2013

It is proved that, under certain conditions, a language of data words is definable in first-order logic if and only if its syntactic monoid is aperiodic.

### On the Relationship between-automata and Temporal Logic Normal Forms

- Computer Science
- 2001

This normal form for temporal logic formulae developed for use with execution and clausal resolution in temporal logics is shown how it can represent, syntactically, -automata in a high-level way.

### Automata and semigroups recognizing infinite words

- Mathematics, Computer ScienceLogic and Automata
- 2008

The various acceptance modes of automata, and two algebraic proofs of McNaughton's theorem on the equivalence between Buchi and Muller automata are given.

## References

SHOWING 1-10 OF 152 REFERENCES

### Weak Second‐Order Arithmetic and Finite Automata

- Computer Science
- 1960

The formalism of regular expressions was introduced by S. C. Kleene [6] to obtain the following basic theorems.

### Automata on Infinite Objects and Church's Problem

- Philosophy
- 1972

Basic definitions and results Closure properties of difusable sets The sequential calculus Automaton transformations and Church's problem> Regular trees The emptiness problem The solvability problem.

### Synchronized Rational Relations of Finite and Infinite Words

- MathematicsTheor. Comput. Sci.
- 1993

### On Logics, Tilings, and Automata

- Computer Science, MathematicsICALP
- 1991

A notion of “graph acceptor” is introduced which can specify monadic second-order properties and allows to treat known types of finite automata in a common framework.

### The theory of hybrid automata

- Computer ScienceProceedings 11th Annual IEEE Symposium on Logic in Computer Science
- 1996

The goal is to demonstrate that concepts from the theory of discrete concurrent systems can give insights into partly continuous systems, and that methods for the verification of finite-state systems can be used to analyze certain systems with uncountable state spaces.

### Infinitary Languages: Basic Theory an Applications to Concurrent Systems

- Computer ScienceCurrent Trends in Concurrency
- 1986

The aim of this paper is to provide an outlook at this part of the theory of infinitary languages that seems to be essential for understanding the modern theory of concurrent systems. In the first…

### Partial Commutation and Traces

- Computer ScienceHandbook of Formal Languages
- 1997

Parallelism and concurrency are fundamental concepts in computer science and concerns the authors' daily life whether software written for distributed systems behaves correctly.

### Simulating Alternating Tree Automata by Nondeterministic Automata: New Results and New Proofs of the Theorems of Rabin, McNaughton and Safra

- Computer ScienceTheor. Comput. Sci.
- 1995

### Quantifier Hierarchies over Word Relations

- Computer ScienceCSL
- 1991

We consider analogues of the arithmetical hierarchy over word relations, obtained by replacing the class of recursive relations with some other classes which are defined by various types of finite…