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)

[26] arXiv:1405.5606 [pdf, other]

Title: Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes

Henning Fernau (Universität Trier, Germany), Rudolf Freund (TU Wien, Austria), Markus Holzer (Universität Gießen, Germany)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 246-260

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

[27] arXiv:1405.5607 [pdf, other]

Title: Representations of Circular Words

László Hegedüs (University of Debrecen), Benedek Nagy (University of Debrecen)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 261-270

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

[28] arXiv:1405.5608 [pdf, other]

Title: More Structural Characterizations of Some Subregular Language Families by Biautomata

Markus Holzer, Sebastian Jakobi

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 271-285

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

[29] arXiv:1405.5609 [pdf, other]

Title: Buffered Simulation Games for Büchi Automata

Milka Hutagalung (University of Kassel), Martin Lange (University of Kassel), Etienne Lozes (University of Kassel)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 286-300

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

[30] arXiv:1405.5610 [pdf, other]

Title: Hyper-Minimization for Deterministic Weighted Tree Automata

Andreas Maletti (Universität Leipzig), Daniel Quernheim (Universität Stuttgart)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 314-326

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

[31] arXiv:1405.5611 [pdf, other]

Title: Boolean Circuit Complexity of Regular Languages

Maris Valdats

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 342-354

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

[32] arXiv:1405.6671 [pdf, other]

Title: Classical automata on promise problems

Viliam Geffert, Abuzer Yakaryilmaz

Comments: 21 pages, significantly improved with a correction (the single sentence statement given just before Corollary 4 in the previous version and (in the conference version) is not correct). A preliminary version appeared in DCFS2014 [vol. 8614 of LNCS, pp. 126--137, Springer-Verlag, 2014]

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

[33] arXiv:1405.0514 (cross-list from cs.LG) [pdf, other]

Title: Complexity of Equivalence and Learning for Multiplicity Tree Automata

Ines Marusic, James Worrell

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

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

Title: Infinite-State Energy Games

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke

Comments: 11 pages

Journal-ref: Full version (including proofs) of material presented at CSL-LICS 2014 (Vienna, Austria)

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

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

Title: Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V

James Belk, Collin Bleak

Comments: 16 pages, 3 figures

Journal-ref: Trans. Amer. Math. Soc. 369 (2017), 3157-3172

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

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

Title: A Concurrent Pattern Calculus

Thomas Given-Wilson (NICTA (Sydney, Australia)), Daniele Gorla (Dip. Informatica - Univ. di Roma), Barry Jay (Centre for Quantum Computation and Intelligent Systems and School of Software)

Comments: Logical Methods in Computer Science (2014)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 3 (August 23, 2014) lmcs:774

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

[37] arXiv:1405.1655 (cross-list from cs.CC) [pdf, other]

Title: Debates with small transparent quantum verifiers

Abuzer Yakaryilmaz, A. C. Cem Say, H. Gökalp Demirci

Comments: 18 pages. A revised and extended version. A preliminary version appeared in the proceedings of DLT2014

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

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

Title: Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version)

Javier Esparza

Comments: A former version of this paper was published in the Proceedings of STACS 2014. This version corrects two mistakes in Sections 3.3. and 3.4, and some typos

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

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

Title: Self-referencing cellular automata: A model of the evolution of information control in biological systems

Theodore P. Pavlic, Alyssa M. Adams, Paul C. W. Davies, Sara Imari Walker

Comments: Accepted to ALIFE 2014. 8 pages, 9 figures (20 subfigures), 2 tables

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Formal Languages and Automata Theory (cs.FL); Chaotic Dynamics (nlin.CD); Pattern Formation and Solitons (nlin.PS); Populations and Evolution (q-bio.PE)

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

Title: Model Checking Markov Chains Against Unambiguous Buchi Automata

Michael Benedikt, Rastislav Lenhardt, James Worrell

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

[41] arXiv:1405.4806 (cross-list from cs.LO) [pdf, html, other]

Title: Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems

Deren Lin, Tianrong Lin

Comments: [v19] references added

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

[42] arXiv:1405.6646 (cross-list from cs.PL) [pdf, other]

Title: Error Reporting in Parsing Expression Grammars

André Murbach Maidl, Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy

Comments: Preprint (plus appendix) submitted to Science of Computer Programming

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

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

Title: Bisimulation Equivalence of First-Order Grammars

Petr Jancar

Comments: This paper extends the version accepted to ICALP'14

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