Formal Languages and Automata Theory

Authors and titles for July 2011

[1] arXiv:1107.0577 [pdf, other]

Title: Parameterized Regular Expressions and their Languages

Pablo Barceló, Leonid Libkin, Juan Reutter

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

[2] arXiv:1107.1206 [pdf, other]

Title: Computing Distances between Probabilistic Automata

Mathieu Tracol (IST Austria), Josée Desharnais (Departement d'informatique et de génie logiciel, Université Laval, Québec, Canada), Abir Zhioua (Departement d'informatique et de génie logiciel, Université Laval, Québec, Canada)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 148-162

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

[3] arXiv:1107.2091 [pdf, other]

Title: Decidable Problems for Probabilistic Automata on Infinite Words

Krishnendu Chatterjee, Mathieu Tracol

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

[4] arXiv:1107.5228 [pdf, other]

Title: Non-Uniform Cellular Automata: classes, dynamics, and decidability

Alberto Dennunzio, Enrico Formenti, Julien Provillard

Comments: Paper submitted to an international journal on June 9, 2011. This is an extended and improved version of the conference paper: G. Cattaneo, A. Dennunzio, E. Formenti, and J. Provillard. "Non-uniform cellular automata". In Proceedings of LATA 2009, volume 5457 of Lecture Notes in Computer Science, pages 302-313. Springer

Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS); Cellular Automata and Lattice Gases (nlin.CG)

[5] arXiv:1107.0434 (cross-list from cs.AI) [pdf, other]

Title: Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction

Adrian Silvescu, Vasant Honavar

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

[6] arXiv:1107.1200 (cross-list from cs.DC) [pdf, other]

Title: Time Delays in Membrane Systems and Petri Nets

Bogdan Aman (''A.I. Cuza'' University of Iasi, Romania), Gabriel Ciobanu (Institute of Computer Science, Romanian Academy, Iasi)

Comments: In Proceedings QAPL 2011, arXiv:1107.0746

Journal-ref: EPTCS 57, 2011, pp. 47-60

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

[7] arXiv:1107.3645 (cross-list from math.GR) [pdf, other]

Title: From automatic structures to automatic groups

Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov

Comments: Added references, corrected typos

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