Formal Languages and Automata Theory

Authors and titles for May 2014

[1] arXiv:1405.0055 [pdf, other]

Title: Quantum, Stochastic, and Pseudo Stochastic Languages with Few States

Arseny M. Shur, Abuzer Yakaryilmaz

Comments: A new version with new results. Previous version: Arseny M. Shur, Abuzer Yakaryilmaz: Quantum, Stochastic, and Pseudo Stochastic Languages with Few States. UCNC 2014: 327-339

Subjects: Formal Languages and Automata Theory (cs.FL); Quantum Physics (quant-ph)

[2] arXiv:1405.0500 [pdf, other]

Title: On the Disambiguation of Weighted Automata

Mehryar Mohri, Michael D. Riley

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

[3] arXiv:1405.0562 [pdf, other]

Title: Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching

Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa

Comments: This paper has been accepted at the following conference: 2013 International Conference on Parallel Processing (ICPP- 2013), October 1-4, 2013 Ecole Normale Suprieure de Lyon, Lyon, France

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

[4] arXiv:1405.1107 [pdf, other]

Title: On state complexity of unions of binary factor-free languages

Szabolcs Ivan

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

[5] arXiv:1405.2435 [pdf, other]

Title: The length of a minimal synchronizing word and the Černy conjecture

A.N. Trahtman

Comments: 21 pages, 15 figures. arXiv admin note: text overlap with arXiv:1202.4626

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

[6] arXiv:1405.2553 [pdf, other]

Title: Graph Spectral Properties of Deterministic Finite Automata

Ryoma Sin'ya

Comments: This paper has been accepted at the following conference: 18th International Conference on Developments in Language Theory (DLT 2014), August 26 - 29, 2014, Ekaterinburg, Russia

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

[7] arXiv:1405.2892 [pdf, other]

Title: New Results on the Minimum Amount of Useful Space

Zuzana Bednárová, Viliam Geffert, Klaus Reinhardt, Abuzer Yakaryilmaz

Comments: 21 pages. An extended and revised version with two new authors

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[8] arXiv:1405.3069 [pdf, other]

Title: Interprocedural Reachability for Flat Integer Programs

Pierre Ganty, Radu Iosif

Comments: 38 pages, 1 figure

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

[9] arXiv:1405.3532 [pdf, other]

Title: A new approach to the $2$-regularity of the $\ell$-abelian complexity of $2$-automatic sequences

Aline Parreau, Michel Rigo, Eric Rowland, Elise Vandomme

Comments: 44 pages, 2 figures; publication version

Journal-ref: The Electronic Journal of Combinatorics 22 (2015) #P1.27 (44 pages)

Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

[10] arXiv:1405.3576 [pdf, other]

Title: Complexity of checking whether two automata are synchronized by the same language

Marina Maslennikova

Comments: 12 pages, 4 figures

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

[11] arXiv:1405.4841 [pdf, other]

Title: Derivatives of Parsing Expression Grammars

Aaron Moss (Cheriton School of Computer Science, University of Waterloo)

Comments: In Proceedings AFL 2017, arXiv:1708.06226

Journal-ref: EPTCS 252, 2017, pp. 180-194

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

[12] arXiv:1405.5272 [pdf, other]

Title: Proceedings 14th International Conference on Automata and Formal Languages

Zoltán Ésik (University of Szeged), Zoltán Fülöp (University of Szeged)

Journal-ref: EPTCS 151, 2014

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

[13] arXiv:1405.5593 [pdf, other]

Title: Saturation algorithms for model-checking pushdown systems

Arnaud Carayol (LIGM, Université Paris-Est, CNRS), Matthew Hague (Department of Computer Science, Royal Holloway University of London)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 1-24

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

[14] arXiv:1405.5594 [pdf, other]

Title: From Finite Automata to Regular Expressions and Back--A Summary on Descriptional Complexity

Hermann Gruber (knowledgepark AG), Markus Holzer (Universität Giessen)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 25-48

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

[15] arXiv:1405.5595 [pdf, other]

Title: On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)

Ondřej Klíma (Department of Mathematics and Statistics, Masaryk University, Brno, Czech Republic)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 49-54

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

[16] arXiv:1405.5596 [pdf, other]

Title: Decision Problems for Deterministic Pushdown Automata on Infinite Words

Christof Löding

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 55-73

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

[17] arXiv:1405.5597 [pdf, other]

Title: Equivalence Problems for Tree Transducers: A Brief Survey

Sebastian Maneth (University of Edinburgh)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 74-93

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

[18] arXiv:1405.5598 [pdf, other]

Title: Grammars with two-sided contexts

Mikhail Barash, Alexander Okhotin

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 94-108

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

[19] arXiv:1405.5599 [pdf, other]

Title: Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching

Martin Berglund, Frank Drewes, Brink van der Merwe

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 109-123

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

[20] arXiv:1405.5600 [pdf, other]

Title: Measuring Communication in Parallel Communicating Finite Automata

Henning Bordihn, Martin Kutrib, Andreas Malcher

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 124-138

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

[21] arXiv:1405.5601 [pdf, other]

Title: Simplifying Nondeterministic Finite Cover Automata

Cezar Câmpeanu (The University of Prince Edward Island)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 162-173

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

[22] arXiv:1405.5602 [pdf, other]

Title: On Determinism and Unambiguity of Weighted Two-way Automata

Vincent Carnino (LIGM, Université Paris-Est), Sylvain Lombardy (LaBRI, Insitut Polytechnique de Bordeaux)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 188-200

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

[23] arXiv:1405.5603 [pdf, other]

Title: Operations on Automata with All States Final

Kristína Čevorová, Galina Jirásková, Peter Mlynárčik, Matúš Palmovský, Juraj Šebej

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 201-215

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

[24] arXiv:1405.5604 [pdf, other]

Title: Commutative Languages and their Composition by Consensual Methods

Stefano Crespi Reghizzi (DEIB, Politecnico di Milano and CNR-IEIIT), Pierluigi San Pietro (DEIB, Politecnico di Milano and CNR-IEIIT)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 216-230

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

[25] arXiv:1405.5605 [pdf, other]

Title: Similarity density of the Thue-Morse word with overlap-free infinite binary words

Chen Fei Du (University of Waterloo), Jeffrey Shallit (University of Waterloo)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 231-245

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