Formal Languages and Automata Theory

Authors and titles for June 2010

[1] arXiv:1006.1265 [pdf, other]

Title: Symbolic dynamics

Marie-Pierre Béal, Jean Berstel, Søren Eilers, Dominique Perrin

Comments: This text is part of a "Handbook on Automata" edited by Jean-Eric Pin, to be published by European Mathematical Society

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)

[2] arXiv:1006.1273 [pdf, other]

Title: The Morphisms With Unstackable Image Words

C. Robinson Tompkins

Comments: 8 pages, 6 figures

Subjects: Formal Languages and Automata Theory (cs.FL)

[3] arXiv:1006.1428 [pdf, other]

Title: Turing Automata and Graph Machines

Miklós Bartha (Memorial University of Newfoundland)

Journal-ref: EPTCS 26, 2010, pp. 19-31

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)

[4] arXiv:1006.2719 [pdf, other]

Title: Partially Ordered Two-way Büchi Automata

Manfred Kufleitner, Alexander Lauser

Comments: The results of this paper were presented at CIAA 2010; University of Stuttgart, Computer Science

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[5] arXiv:1006.3451 [pdf, other]

Title: An upper bound on the number of states for a strongly universal hyperbolic cellular automaton on the pentagrid

Maurice Margenstern

Comments: 17 pages, 9 figures

Subjects: Formal Languages and Automata Theory (cs.FL)

[6] arXiv:1006.3638 [pdf, other]

Title: Monitorability of $ω$-regular languages

Andreas Bauer

Subjects: Formal Languages and Automata Theory (cs.FL)

[7] arXiv:1006.3755 [pdf, other]

Title: State complexity of union and intersection combined with star and reversal

Yuan Gao, Sheng Yu

Comments: 16 pages, 4 figures

Subjects: Formal Languages and Automata Theory (cs.FL)

[8] arXiv:1006.3825 [pdf, other]

Title: Parikh's Theorem: A simple and direct automaton construction

Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger

Comments: 12 pages, 3 figures

Journal-ref: Information Processing Letters 111(12) (2011) 614-619

Subjects: Formal Languages and Automata Theory (cs.FL)

[9] arXiv:1006.4104 [pdf, other]

Title: Abelian Primitive Words

Michael Domaratzki, Narad Rampersad

Subjects: Formal Languages and Automata Theory (cs.FL)

[10] arXiv:1006.4646 [pdf, other]

Title: State Complexity of Two Combined Operations: Reversal-Catenation and Star-Catenation

Bo Cui, Yuan Gao, Lila Kari, Sheng Yu

Comments: 20 pages, 7 figures

Subjects: Formal Languages and Automata Theory (cs.FL)

[11] arXiv:1006.4681 [pdf, other]

Title: Dynamic Observers for Fault Diagnosis of Timed Systems

Franck Cassez

Subjects: Formal Languages and Automata Theory (cs.FL)

[12] arXiv:1006.4843 [pdf, other]

Title: Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages

Janusz Brzozowski, Galina Jirásková, Baiyu Li, Joshua Smith

Comments: 24 pages, 11 figures in .eepic format, 2 tables, this http URL style file. This version contains several new results, and Baiyu Li has been added as a co-author

Subjects: Formal Languages and Automata Theory (cs.FL)

[13] arXiv:1006.5103 [pdf, other]

Title: Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

Markus Rabe (Saarland University), Sven Schewe (University of Liverpool)

Journal-ref: EPTCS 28, 2010, pp. 144-158

Subjects: Formal Languages and Automata Theory (cs.FL)

[14] arXiv:1006.5906 [pdf, other]

Title: A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems

M. Hague, C.-H. L. Ong

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[15] arXiv:1006.1406 (cross-list from cs.LO) [pdf, other]

Title: On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components

Giovanna D'Agostino (University of Udine, Italy), Giacomo Lenzi (University of Salerno, Italy)

Journal-ref: EPTCS 25, 2010, pp. 55-71

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[16] arXiv:1006.1711 (cross-list from cs.GT) [pdf, other]

Title: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification

Angelo Montanari (Università di Udine), Margherita Napoli (Università di Salerno), Mimmo Parente (Università di Salerno)

Journal-ref: EPTCS 25, 2010

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[17] arXiv:1006.2944 (cross-list from cs.LO) [pdf, other]

Title: Modularity of Convergence and Strong Convergence in Infinitary Rewriting

Stefan Michael Kahrs (University of Kent)

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (September 6, 2010) lmcs:878

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[18] arXiv:1006.5099 (cross-list from cs.CE) [pdf, other]

Title: Stochastic Calculus of Wrapped Compartments

Mario Coppo (Dipartimento di Informatica, Università di Torino), Ferruccio Damiani (Dipartimento di Informatica, Università di Torino), Maurizio Drocco (Dipartimento di Informatica, Università di Torino), Elena Grassi (Dipartimento di Informatica and Molecular Biotechnology Center, Dipartimento di Genetica, Biologia e Biochimica, Università di Torino), Angelo Troina (Dipartimento di Informatica, Università di Torino)

Journal-ref: EPTCS 28, 2010, pp. 82-98

Subjects: Computational Engineering, Finance, and Science (cs.CE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Quantitative Methods (q-bio.QM)

[19] arXiv:1006.5516 (cross-list from cs.LO) [pdf, other]

Title: Rewriting Preserving Recognizability of Finite Tree Languages

Sandor vagvolgyi

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)