1: \newcommand{\noopsort}[1]{} \newcommand{\singleletter}[1]{#1}
2: \begin{thebibliography}{10}
3:
4: \bibitem{Ackerman&Shallit:2007}
5: M.~Ackerman and J.~Shallit.
6: \newblock Efficient enumeration of regular languages.
7: \newblock In {\em Proc. Implementation and Application of Automata, 12th
8: International Conference (CIAA 2007)}, Vol. 4783 of {\em Lecture Notes in
9: Computer Science}, pp. 226--242. Springer-Verlag, 2007.
10:
11: \bibitem{Aho&Hopcroft&Ullman:1974}
12: A.~Aho, J.~Hopcroft, and J.~Ullman.
13: \newblock {\em The Design and Analysis of Computer Algorithms}.
14: \newblock Addison-Wesley, 1974.
15:
16: \bibitem{Birget:1992}
17: J.-C. Birget.
18: \newblock Intersection and union of regular languages and state complexity.
19: \newblock {\em Inform. Process. Lett.} {\bf 43} (1992), 185--190.
20:
21: \bibitem{Castiglione&Restivo&Salemi:2004}
22: G.~Castiglione, A.~Restivo, and S.~Salemi.
23: \newblock Patterns in words and languages.
24: \newblock {\em Disc. Appl. Math.} {\bf 144} (2004), 237--246.
25:
26: \bibitem{Chrobak:1986}
27: M.~Chrobak.
28: \newblock Finite automata and unary languages.
29: \newblock {\em Theoret. Comput. Sci.} {\bf 47} (1986), 149--158.
30: \newblock Errata, {\bf 302} (2003), 497--498.
31:
32: \bibitem{CLRS01}
33: T.~Cormen, C.~Leiserson, R.~Rivest, and C.~Stein.
34: \newblock {\em Introduction to Algorithms, Second Edition}.
35: \newblock MIT Press, 2001.
36:
37: \bibitem{Domosi&Horvath&Ito:2004}
38: P.~{D\"om\"osi}, G.~{Horv\'ath}, and M.~Ito.
39: \newblock A small hierarchy of languages consisting of non-primitive words.
40: \newblock {\em Publ. Math. (Debrecen)} {\bf 64} (2004), 261--267.
41:
42: \bibitem{Domosi&Martin-Vide&Mitrana:2004}
43: P.~{D\"om\"osi}, C.~{Mart\'{\i}n-Vide}, and V.~Mitrana.
44: \newblock Remarks on sublanguages consisting of primitive words of slender
45: regular and context-free languages.
46: \newblock In J.~{Karhum\"aki} et~al., editor, {\em Theory is Forever}, Vol.
47: 3113 of {\em Lecture Notes in Computer Science}, pp. 60--67.
48: Springer-Verlag, 2004.
49:
50: \bibitem{Ellul&Krawetz&Shallit&Wang:2004}
51: K.~Ellul, B.~Krawetz, J.~Shallit, and {M.-w.} Wang.
52: \newblock Regular expressions: new results and open problems.
53: \newblock {\em J. Automata, Lang. Combin.} {\bf 9} (2004), 233--256.
54:
55: \bibitem{Garey&Johnson:1979}
56: M.~Garey and D.~Johnson.
57: \newblock {\em Computers and Intractability}.
58: \newblock Freeman, 1979.
59:
60: \bibitem{Glaister&Shallit:1996}
61: I.~Glaister and J.~Shallit.
62: \newblock A lower bound technique for the size of nondeterministic finite
63: automata.
64: \newblock {\em Inform. Process. Lett.} {\bf 59} (1996), 75--77.
65:
66: \bibitem{Hardy&Wright:1979}
67: G.~H. Hardy and E.~M. Wright.
68: \newblock {\em An Introduction to the Theory of Numbers, Fifth Edition}.
69: \newblock Oxford, 1979.
70:
71: \bibitem{Heath-Brown:1992}
72: D.~R. Heath-Brown.
73: \newblock Zero-free regions for {Dirichlet} {$L$}-functions, and the least
74: prime in an arithmetic progression.
75: \newblock {\em Proc. Lond. Math. Soc.} {\bf 64} (1992), 265--338.
76:
77: \bibitem{Hopcroft&Ullman:1979}
78: J.~E. Hopcroft and J.~D. Ullman.
79: \newblock {\em Introduction to Automata Theory, Languages, and Computation}.
80: \newblock Addison-Wesley, 1979.
81:
82: \bibitem{Horvath&Karhumaki&Kleijn:1987}
83: S.~{Horv\'ath}, J.~{Karhum\"aki}, and J.~Kleijn.
84: \newblock Results concerning palindromicity.
85: \newblock {\em J. Inf. Process. Cybern. EIK} {\bf 23} (1987), 441--451.
86:
87: \bibitem{Hunt:1973}
88: H.~B.~Hunt {III}.
89: \newblock On the time and tape complexity of languages. {I}.
90: \newblock In {\em Proc. Fifth Ann. ACM Symp. Theor. Comput.}, pp. 10--19. ACM,
91: 1973.
92:
93: \bibitem{Ito&Katsura&Shyr&Yu:1988}
94: M.~Ito, M.~Katsura, H.~J. Shyr, and S.~S. Yu.
95: \newblock Automata accepting primitive words.
96: \newblock {\em Semigroup Forum} {\bf 37} (1988), 45--52.
97:
98: \bibitem{Kao&Shallit&Xu:2007}
99: J.-Y. Kao, J.~Shallit, and Z.~Xu.
100: \newblock The noncommutative {Frobenius} problem.
101: \newblock In preparation, 2007.
102:
103: \bibitem{Knuth&Morris&Pratt:1977}
104: D.~Knuth, J.~Morris, Jr., and V.~Pratt.
105: \newblock Fast pattern matching in strings.
106: \newblock {\em SIAM J. Computing} {\bf 6} (1977), 323--350.
107:
108: \bibitem{Kunze&Shyr&Thierrin:1981}
109: M.~Kunze, H.~J. Shyr, and G.~Thierrin.
110: \newblock $h$-bounded and semi-discrete languages.
111: \newblock {\em Information and Control} {\bf 51} (1981), 147--187.
112:
113: \bibitem{Lyndon&Schutzenberger:1962}
114: R.~C. Lyndon and M.-P. {Sch\"utzenberger}.
115: \newblock The equation $a^m = b^nc^p$ in a free group.
116: \newblock {\em Michigan Math. J.} {\bf 9} (1962), 289--298.
117:
118: \bibitem{Makinen:1997}
119: E.~{M\"akinen}.
120: \newblock On lexicographic enumeration of regular and context-free languages.
121: \newblock {\em Acta Cybernetica} {\bf 13} (1997), 55--61.
122:
123: \bibitem{Martinez:2002}
124: A.~Martinez.
125: \newblock Efficient computation of regular expressions from unary {NFAs}.
126: \newblock In DCFS 2002, pp. 174--187.
127:
128: \bibitem{Miller:1987}
129: W.~Miller.
130: \newblock The maximum order of an element of a finite symmetric group.
131: \newblock {\em Amer. Math. Monthly} {\bf 94} (1987), 497--506.
132:
133: \bibitem{Paun&Salomaa:1995}
134: G.~{P\v{a}un} and A.~Salomaa.
135: \newblock Thin and slender languages.
136: \newblock {\em Disc. Appl. Math.} {\bf 61} (1995), 257--270.
137:
138: \bibitem{Pritchard:1987}
139: P.~Pritchard.
140: \newblock Linear prime-number sieves: a family tree.
141: \newblock {\em Sci. Comput. Programming} {\bf 9} (1987), 17--35.
142:
143: \bibitem{Restivo&Salemi:2001}
144: A.~Restivo and S.~Salemi.
145: \newblock Words and patterns.
146: \newblock In {\em Proc. Developments in Language Theory, 5th International
147: Conference (DLT 2001)}, Vol. 2295 of {\em Lecture Notes in Computer Science},
148: pp. 117--129. Springer-Verlag, 2002.
149:
150: \bibitem{Rosaz:2002}
151: L.~Rosaz.
152: \newblock Puzzle corner, \#50.
153: \newblock {\em Bull. European Assoc. Theor. Comput. Sci.} , No.\ 76, (February
154: 2002), 234.
155: \newblock Solution in No.\ 77, (June 2002), 261.
156:
157: \bibitem{Savitch:1970}
158: W.~Savitch.
159: \newblock Relationships between nondeterministic and deterministic tape
160: complexities.
161: \newblock {\em J. Comput. System Sci.} {\bf 4} (1970), 177--192.
162:
163: \bibitem{Shallit:1994}
164: J.~Shallit.
165: \newblock Numeration systems, linear recurrences, and regular sets.
166: \newblock {\em Inform. Comput.} {\bf 113} (1994), 331--347.
167:
168: \bibitem{Shallit&Breitbart:1996}
169: J.~Shallit and Y.~Breitbart.
170: \newblock Automaticity {I}: Properties of a measure of descriptional
171: complexity.
172: \newblock {\em J. Comput. System Sci.} {\bf 53} (1996), 10--25.
173:
174: \bibitem{Shyr&Yu:1994}
175: H.~J. Shyr and S.~S. Yu.
176: \newblock Non-primitive words in the language $p^+q^+$.
177: \newblock {\em Soochow J. Math} {\bf 20} (1994), 535--546.
178:
179: \bibitem{YU97}
180: S.~Yu.
181: \newblock Regular languages.
182: \newblock In G.~Rozenberg and A.~Salomaa, editors, {\em Handbook of {F}ormal
183: {L}anguages}, chapter~1, pp. 41--110. Springer-Verlag, 1997.
184:
185: \bibitem{Zhang:1999}
186: G.-Q. Zhang.
187: \newblock Automata, {Boolean} matrices, and ultimate periodicity.
188: \newblock {\em Inform. Comput.} {\bf 152} (1999), 138--154.
189:
190: \end{thebibliography}
191: