Formal Languages and Automata Theory

Authors and titles for November 2017

[1] arXiv:1711.00651 [pdf, other]

Title: A bound for the shortest reset words for semisimple synchronizing automata via the packing number

Emanuele Rodaro

Journal-ref: Journal of Algebraic Combinatorics (2018), 50(3), pp. 236-253

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

[2] arXiv:1711.01061 [pdf, other]

Title: On Automata Recognizing Birecurrent Sets

Andrew Ryzhikov

Comments: A slightly updated version

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

[3] arXiv:1711.01799 [pdf, other]

Title: Language properties and Grammar of Parallel and Series Parallel Languages

N. Mohana, Kalyani Desikan, V. Rajkumar Dare

Comments: 9 Pages, 2 figures

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

[4] arXiv:1711.03063 [pdf, other]

Title: Automata Minimization: a Functorial Approach

Thomas Colcombet, Daniela Petrişan

Comments: 17 pages, knowledge enriched version of the CALCO 2017 proceedings paper

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

[5] arXiv:1711.05408 [pdf, other]

Title: Recurrent Neural Networks as Weighted Language Recognizers

Yining Chen, Sorcha Gilroy, Andreas Maletti, Jonathan May, Kevin Knight

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

[6] arXiv:1711.05994 [pdf, other]

Title: Singular value automata and approximate minimization

Borja Balle, Prakash Panangaden, Doina Precup

Journal-ref: Math. Struct. Comp. Sci. 29 (2019) 1444-1478

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

[7] arXiv:1711.06065 [pdf, other]

Title: Automata in the Category of Glued Vector Spaces

Thomas Colcombet, Daniela Petrişan

Comments: 15 pages, knowledge enriched version of the MFCS 2017 proceedings paper

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

[8] arXiv:1711.08314 [pdf, other]

Title: Event-Clock Nested Automata

Laura Bozzelli, Aniello Murano, Adriano Peron

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

[9] arXiv:1711.08717 [pdf, other]

Title: The Intersection Problem for Finite Monoids

Lukas Fleischer, Manfred Kufleitner

Comments: Extended version of a paper accepted to STACS 2018

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

[10] arXiv:1711.08963 [pdf, other]

Title: Random Words in a (Weighted) Regular Language: a Free Energy Approach

Cewei Cui, Zhe Dang

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

[11] arXiv:1711.09149 [pdf, other]

Title: Most Complex Deterministic Union-Free Regular Languages

Janusz A. Brzozowski, Sylvie Davies

Comments: 12 pages, 3 Figures. This version corrects an error in the proof of Theorem 1 (7c). arXiv admin note: text overlap with arXiv:1701.03944

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

[12] arXiv:1711.09946 [pdf, other]

Title: Efficient reduction of nondeterministic automata with application to language inclusion testing

Lorenzo Clemente, Richard Mayr

Comments: 69 pages. arXiv admin note: text overlap with arXiv:1210.6624

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (February 13, 2019) lmcs:4108

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

[13] arXiv:1711.10216 [pdf, other]

Title: Timed Comparisons of Semi-Markov Processes

Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare

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

[14] arXiv:1711.10636 [pdf, other]

Title: CTL* synthesis via LTL synthesis

Roderick Bloem, Sven Schewe, Ayrat Khalimov

Comments: In Proceedings SYNT 2017, arXiv:1711.10224

Journal-ref: EPTCS 260, 2017, pp. 4-22

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

[15] arXiv:1711.10807 [pdf, other]

Title: A Taxonomy of Morphic Sequences

Jean-Paul Allouche, Julien Cassaigne, Jeffrey Shallit, Luca Q. Zamboni

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

[16] arXiv:1711.10920 [pdf, other]

Title: (Biased) Majority Rule Cellular Automata

Bernd Gärtner, Ahad N. Zehmakan

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS); Cellular Automata and Lattice Gases (nlin.CG)

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

Title: Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos

Mikhail Prokopenko, Michael Harré, Joseph Lizier, Fabio Boschetti, Pavlos Peppas, Stuart Kauffman

Comments: 25 pages

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)

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

Title: A superpolynomial lower bound for the size of non-deterministic complement of an unambiguous automaton

Michael Raskin

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

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

Title: On the insertion of n-powers

J. Almeida, O. Klíma

Journal-ref: Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Automata, Logic and Semantics (February 5, 2019) dmtcs:4072

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

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

Title: Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

Vojtěch Forejt, Petr Jančar, Stefan Kiefer, James Worrell

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (November 15, 2018) lmcs:4077

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

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

Title: Verification of PCP-Related Computational Reductions in Coq

Yannick Forster, Edith Heiter, Gert Smolka

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

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

Title: Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

Anastasia Mavridou, Aron Laszka

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

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

Title: Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

Gail Weiss, Yoav Goldberg, Eran Yahav

Comments: Accepted in ICML 2018, (Feb 2020: added link to code, at this https URL )

Journal-ref: ICML 2018

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

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

Title: Proceedings Sixth Workshop on Synthesis

Dana Fisman (Ben-Gurion University), Swen Jacobs (Saarland University)

Journal-ref: EPTCS 260, 2017

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

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

Title: Keep it Fair: Equivalences

Tobias Prehn (TU Berlin, Germany), Stephan Mennicke (TU Braunschweig, Germany)

Comments: In Proceedings ICE 2017, arXiv:1711.10708

Journal-ref: EPTCS 261, 2017, pp. 5-16

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