Formal Languages and Automata Theory

Authors and titles for May 2018

[1] arXiv:1805.00650 [pdf, other]

Title: Efficient Membership Testing for Pseudovarieties of Finite Semigroups

Lukas Fleischer

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

[2] arXiv:1805.00847 [pdf, other]

Title: Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty

Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier

Comments: long version

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

[3] arXiv:1805.01829 [pdf, other]

Title: Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels

Stavros Konstantinidis, Nelma Moreira, Rogerio Reis, Joshua Young

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

[4] arXiv:1805.02154 [pdf, other]

Title: Synchronizing Random Almost-Group Automata

Mikhail V. Berlinkov, Cyril Nicaud

Comments: full version prepared for CIAA 2018

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

[5] arXiv:1805.02444 [pdf, other]

Title: Uniformization Problems for Synchronizations of Automatic Relations on Words

Sarah Winter

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

[6] arXiv:1805.02540 [pdf, other]

Title: On Completely Reachable Automata and Subset Reachability

François Gonze, Raphaël M. Jungers

Comments: A 12 pages version has been submitted to DLT 2018

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

[7] arXiv:1805.02879 [pdf, other]

Title: A Characterization of Completely Reachable Automata

Eugenija Bondar, Mikhail Volkov

Comments: 12 pages, 3 figures, submitted to DLT 2018

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

[8] arXiv:1805.03125 [pdf, other]

Title: A Language Hierarchy of Binary Relations

Tara Brough, Alan J. Cain

Comments: 19 pages, 2 figures (Several new examples added)

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

[9] arXiv:1805.03375 [pdf, other]

Title: Complexity of Proper Suffix-Convex Regular Languages

Corwin Sinnamon

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

[10] arXiv:1805.03724 [pdf, other]

Title: DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)

Rocco De Nicola, Alessandro Maggi, Joseph Sifakis

Comments: 29 pages, 10 figures

Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[11] arXiv:1805.04003 [pdf, other]

Title: Non-erasing Chomsky-Sch{ü}tzenberger theorem with grammar-independent alphabet

Stefano Crespi Reghizzi, Pierluigi San Pietro

Comments: 27 pages. Early versions of parts of this work have been presented at the LATA 2016 Conf. and at the Conf. dedicated to the scientific legacy of M.P. Schützenberger, 2017

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

[12] arXiv:1805.04580 [pdf, other]

Title: Branching Temporal Logic of Calls and Returns for Pushdown Systems

Huu-Vu Nguyen, Tayssir Touili

Comments: 19 pages

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

[13] arXiv:1805.06238 [pdf, other]

Title: Distributed Automata and Logic

Fabian Reiter

Comments: PhD thesis, 116 pages. this http URL

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[14] arXiv:1805.06685 [pdf, other]

Title: The Synchronizing Probability Function for Primitive Sets of Matrices

Costanza Catalano, Raphaël M. Jungers

Comments: 24 pages, 9 figures. Submitted to DLT 2018 Special Issue

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

[15] arXiv:1805.06723 [pdf, other]

Title: On randomized generation of slowly synchronizing automata

Costanza Catalano, Raphaël M. Jungers

Comments: 21 pages, 8 figures. Revised argument for Theorem 18, minor changes in Section 3. To appear in the Proceedings of MFCS 2018

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

[16] arXiv:1805.08584 [pdf, other]

Title: The Bottom-Up Position Tree Automaton, the Father Automaton and their Compact Versions

Samira Attou, Ludovic Mignot, Djelloul Ziadi

Comments: extended version of a paper accepted at CIAA 2018

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

[17] arXiv:1805.08630 [pdf, other]

Title: Estimating probabilistic context-free grammars for proteins using contact map constraints

Witold Dyrka, François Coste, Juliette Talibart

Subjects: Formal Languages and Automata Theory (cs.FL); Biomolecules (q-bio.BM)

[18] arXiv:1805.11550 [pdf, other]

Title: Convex Language Semantics for Nondeterministic Probabilistic Automata

Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva

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

[19] arXiv:1805.11873 [pdf, other]

Title: Emptiness of Stack Automata is NEXPTIME-complete: A Correction

Christopher Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

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

[20] arXiv:1805.12405 [pdf, other]

Title: On Prefix Normal Words

Gabriele Fici, Zsuzsanna Lipták

Comments: Published in the Proceedings of DLT 2011

Journal-ref: G. Mauri and A. Leporati (Eds.): DLT 2011, LNCS 6795, pp. 228--238, 2011

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

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

Title: Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann

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

[22] arXiv:1805.04402 (cross-list from cs.CL) [pdf, other]

Title: Decision problems for Clark-congruential languages

Makoto Kanazawa, Tobias Kappé

Comments: Version 2 incorporates revisions prompted by the comments of anonymous referees at ICGI and LearnAut

Journal-ref: PMLR 93 (Proc. ICGI 2018), pp 3-16

Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

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

Title: Local time for lattice paths and the associated limit laws

Cyril Banderier (LIPN), Michael Wallner (TU WIEN)

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

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

Title: Algorithms for Anti-Powers in Strings

Golnaz Badkobeh, Gabriele Fici, Simon J. Puglisi

Journal-ref: Published in Informnation Processing Letters Volume 137, September 2018, Pages 57-60

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