Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Decision Algorithms for Fibonacci-Automatic Words, with Applications to
  Pattern Avoidance   We implement a decision procedure for answering questions about a class of
infinite words that might be called (for lack of a better name)
"Fibonacci-automatic". This class includes, for example, the famous Fibonacci
word f = 01001010..., the fixed point of the morphism 0 -> 01 and 1 -> 0. We
then recover many results about the Fibonacci word from the literature (and
improve some of them), such as assertions about the occurrences in f of
squares, cubes, palindromes, and so forth. As an application of our method we
prove a new result: there exists an aperiodic infinite binary word avoiding the
pattern x x x^R. This is the first avoidability result concerning a nonuniform
morphism proven purely mechanically.

7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex