Formal Languages and Automata Theory

Authors and titles for February 2011

[1] arXiv:1102.0371 [pdf, other]

Title: Synthese des Controleurs Optimaux pour les Systemes a Evenements Discrets

Jean Marie Moanda Ndeko, Junior Jugis Bakola Mongo

Comments: l'article présenté à 6 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)

[2] arXiv:1102.0850 [pdf, other]

Title: Scattered context-free linear orderings

Zoltan Esik

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

[3] arXiv:1102.0947 [pdf, other]

Title: Splicing systems and the Chomsky hierarchy

Jean Berstel, Luc Boasson, Isabelle Fagnot

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

[4] arXiv:1102.2529 [pdf, other]

Title: Efficient Analysis of Probabilistic Programs with an Unbounded Counter

Tomas Brazdil, Stefan Kiefer, Antonin Kucera

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

[5] arXiv:1102.2782 [pdf, other]

Title: Isomorphism of regular trees and words

Markus Lohrey, Christian Mathissen

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)

[6] arXiv:1102.3174 [pdf, other]

Title: Towards Nominal Formal Languages

Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

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

[7] arXiv:1102.3285 [pdf, other]

Title: Büchi Automata can have Smaller Quotients

Lorenzo Clemente

Comments: technical report of a ICALP 2011 paper

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

[8] arXiv:1102.3503 [pdf, other]

Title: On the Hairpin Incompletion

Fumiya Okubo, Takashi Yokomori

Comments: 17 pages, 2 figures

Journal-ref: Fundamenta Informaticae 110 (2011) 255--269

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

[9] arXiv:1102.3522 [pdf, other]

Title: Traced communication complexity of cellular automata

Eric Goles, Pierre Guillon, Ivan Rapaport

Comments: submitted to TCS

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

[10] arXiv:1102.3698 [pdf, other]

Title: Enumeration and Decidable Properties of Automatic Sequences

Emilie Charlier, Narad Rampersad, Jeffrey Shallit

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

[11] arXiv:1102.3901 [pdf, other]

Title: Theory of Atomata

Janusz Brzozowski, Hellis Tamm

Comments: 29 pages, 2 figures, 28 tables

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

[12] arXiv:1102.3932 [pdf, other]

Title: Fife's Theorem Revisited

Jeffrey Shallit

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

[13] arXiv:1102.4315 [pdf, other]

Title: Almost overlap-free words and the word problem for the free Burnside semigroup satisfying x^2=x^3

A. N. Plyushchenko, A.M. Shur

Comments: 33 pages, submitted to Internat. J. of Algebra and Comput

Subjects: Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)

[14] arXiv:1102.5013 [pdf, other]

Title: Regular Ideal Languages and Their Boolean Combinations

Franz Jahn, Manfred Kufleitner, Alexander Lauser

Comments: Presented at CIAA 2012

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

[15] arXiv:1102.5449 [pdf, other]

Title: Nondeterministic automata: equivalence, bisimulations, and uniform relations

Miroslav Ćirić, Jelena Ignjatović, Milan Bašić, Ivana Jančić

Comments: 35 pages, submitted to Computers and Mathematics with Applications

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

[16] arXiv:1102.5451 [pdf, other]

Title: Reduction of fuzzy automata by means of fuzzy quasi-orders

Aleksandar Stamenković, Miroslav Ćirić, Jelena Ignjatović

Comments: 42 pages, submitted to Information Sciences

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)

[17] arXiv:1102.5452 [pdf, other]

Title: Bisimulations for fuzzy automata

Miroslav Ćirić, Jelena Ignjatović, Nada Damljanović, Milan Bašić

Comments: 41 pages, submitted to a journal

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)

[18] arXiv:1102.5682 [pdf, other]

Title: On minimising automata with errors

Paweł Gawrychowski, Artur Jeż, Andreas Maletti

Comments: 12 pages plus 19-page appendix, submitted to a conference

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

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

Title: Applying causality principles to the axiomatization of probabilistic cellular automata

Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry

Comments: 13 pages, 6 figures, LaTeX, v2: refs added

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

[20] arXiv:1102.0913 (cross-list from cs.DM) [pdf, other]

Title: Automata and Differentiable Words

Jean-Marc Fédou, Gabriele Fici

Comments: Accepted for publication

Journal-ref: Theoretical Computer Science 443:46-62 (2012)

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

[21] arXiv:1102.1612 (cross-list from quant-ph) [pdf, other]

Title: The physical Church-Turing thesis and the principles of quantum theory

Pablo Arrighi, Gilles Dowek

Comments: 14 pages, LaTeX

Subjects: Quantum Physics (quant-ph); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Mathematical Physics (math-ph)

[22] arXiv:1102.1691 (cross-list from nlin.CG) [pdf, other]

Title: Schema Redescription in Cellular Automata: Revisiting Emergence in Complex Systems

Manuel Marques-Pita, Luis M. Rocha

Comments: paper submitted to the 2011 IEEE Symposium on Artificial Life

Journal-ref: The 2011 IEEE Symposium on Artificial Life, at the IEEE Symposium Series on Computational Intelligence 2011. April 11 - 15, 201, Paris, France, pp: 233-240

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Neural and Evolutionary Computing (cs.NE); Quantitative Methods (q-bio.QM)

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

Title: Tight Upper Bounds for Streett and Parity Complementation

Yang Cai, Ting Zhang

Comments: Corrected typos. 23 pages, 3 figures. To appear in the 20th Conference on Computer Science Logic (CSL 2011)

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

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

Title: A Tight Lower Bound for Streett Complementation

Yang Cai, Ting Zhang

Comments: Typo correction and section reorganization. To appear in the proceeding of the 31st Foundations of Software Technology and Theoretical Computer Science conference (FSTTCS 2011)

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

[25] arXiv:1102.3106 (cross-list from cs.DM) [pdf, other]

Title: Multi-linear iterative K-Sigma-semialgebras

Zoltan Esik

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