Three Lectures on Automatic Structures

Details Three Lectures on Automatic Structures Three Lectures on Automatic Structures

2008-09-19

arxiv.org/abs/0809.3430v1

Mathematics

Logic

43 pages, based on tutorial lectures at Logic Colloquium 2007

Scientific paper

This paper grew out of three tutorial lectures on automatic structures given by the first author at the Logic Colloquium 2007. We discuss variants of automatic structures related to several models of computation: word automata, tree automata, Buchi automata, and Rabin automata. Word automata process finite strings, tree automata process finite labeled trees, Buchi automata process infinite strings, and Rabin automata process infinite binary labeled trees. Automatic structures are mathematical objects which can be represented by (word, tree, Buchi, or Rabin) automata. The study of properties of automatic structures is a relatively new and very active area of research.

Affiliated with

Also associated with

No associations

Rating

Three Lectures on Automatic Structures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Three Lectures on Automatic Structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Three Lectures on Automatic Structures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-158034