Formal Languages and Automata Theory

Authors and titles for July 2015

[1] arXiv:1507.00600 [pdf, other]

Title: Embedding rationally independent languages into maximal ones

Stavros Konstantinidis, Mitja Mastnak

Comments: 20 pages, 5 figures

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

[2] arXiv:1507.01020 [pdf, other]

Title: A Note on Monitors and Büchi automata

Volker Diekert, Anca Muscholl, Igor Walukiewicz

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

[3] arXiv:1507.01988 [pdf, other]

Title: Automata and Quantum Computing

Andris Ambainis, Abuzer Yakaryılmaz

Comments: 33 pages. A revised and updated version (June 2018). To appear in Automata: From Mathematics to Applications edited by Jean-Éric Pin

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

[4] arXiv:1507.02890 [pdf, other]

Title: Logic and Branching Automata

Bedon Nicolas (University of Rouen)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (October 15, 2015) lmcs:1603

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

[5] arXiv:1507.03304 [pdf, other]

Title: Unboundedness and Downward Closures of Higher-Order Pushdown Automata

Matthew Hague, Jonathan Kochems, C.-H. Luke Ong

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

[6] arXiv:1507.05164 [pdf, other]

Title: A theory of probabilistic automata, part 1

Andrew M. Mironov

Comments: 123 pages, in Russian

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

[7] arXiv:1507.05282 [pdf, other]

Title: Watson-Crick Quantum Finite Automata

Kingshuk Chatterjee, Kumar Sankar Ray

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

[8] arXiv:1507.05283 [pdf, other]

Title: Reversible Watson-Crick Automata

Kingshuk Chatterjee, Kumar Sankar Ray

Comments: arXiv admin note: text overlap with arXiv:1507.05282

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

[9] arXiv:1507.05284 [pdf, other]

Title: Deterministic parallel communicating Watson-Crick automata systems

Kingshuk Chatterjee, Kumar Sankar Ray

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

[10] arXiv:1507.07362 [pdf, other]

Title: On Boundedness Problems for Pushdown Vector Addition Systems

Jérôme Leroux, Grégoire Sutre, Patrick Totzke

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

[11] arXiv:1507.08582 [pdf, other]

Title: One-Tape Turing Machine Variants and Language Recognition

Giovanni Pighizzini

Comments: 20 pages. This article will appear in the Complexity Theory Column of the September 2015 issue of SIGACT News

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

[12] arXiv:1507.08600 [pdf, other]

Title: Normal forms for linear displacement context-free grammars

Alexey Sorokin

Comments: 5 pages, just for educational and referential purposes, therefore no references

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

[13] arXiv:1507.00206 (cross-list from math.CO) [pdf, other]

Title: Asymptotic properties of free monoid morphisms

Emilie Charlier, Julien Leroy, Michel Rigo

Comments: 25 pages

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

[14] arXiv:1507.02314 (cross-list from cs.DS) [pdf, other]

Title: Distinguishing Hidden Markov Chains

Stefan Kiefer, A. Prasad Sistla

Comments: This is the full version of a LICS'16 paper

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

[15] arXiv:1507.03058 (cross-list from math.CO) [pdf, other]

Title: Complexity of Substitutive Sequences - Calculation of the Complexities of Substitutive Sequences Over a Binary Alphabet

Bo Tan, Zhi-Xiong Wen, Yiping Zhang

Comments: 16 pages

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

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

Title: Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups

Daniel König, Markus Lohrey, Georg Zetzsche

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

[17] arXiv:1507.05223 (cross-list from math.CO) [pdf, other]

Title: Synchronizing delay for binary uniform morphisms

Karel Klouda, Kateřina Medková

Journal-ref: Theoretical Computer Science, 615 (2016), 12-22

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

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

Title: Revisiting Robustness in Priced Timed Games

Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

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

[19] arXiv:1507.06070 (cross-list from math.CO) [pdf, other]

Title: The Cerny conjecture and 1-contracting automata

Henk Don

Comments: 15 pages, 5 figures

Journal-ref: The Electronic Journal of Combinatorics, vol. 23, issue. 3, (2016), P3.12

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

[20] arXiv:1507.08206 (cross-list from math.CO) [pdf, other]

Title: Initial non-repetitive complexity of infinite words

Jeremy Nicholson, Narad Rampersad

Comments: 21 pages; changed "non-repetitive complexity" to "initial non-repetitive complexity"

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