Formal Languages and Automata Theory

Authors and titles for September 2018

[1] arXiv:1809.00679 [pdf, other]

Title: Cobham's Theorem and Automaticity

Lucas Mol, Narad Rampersad, Jeffrey Shallit, Manon Stipulanti

Comments: 17 pages

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

[2] arXiv:1809.03108 [pdf, other]

Title: Regular omega-Languages with an Informative Right Congruence

Dana Angluin (Yale University), Dana Fisman (Ben-Gurion University)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 265-279

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

[3] arXiv:1809.03814 [pdf, other]

Title: A Framework for Rewriting Families of String Diagrams

Vladimir Zamdzhiev

Comments: In Proceedings TERMGRAPH 2018, arXiv:1902.01510

Journal-ref: EPTCS 288, 2019, pp. 63-76

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

[4] arXiv:1809.05017 [pdf, other]

Title: Bounded Synthesis of Register Transducers

Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem

Comments: full version of our ATVA'18 paper

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

[5] arXiv:1809.05730 [pdf, other]

Title: XML Navigation and Transformation by Tree-Walking Automata and Transducers with Visible and Invisible Pebbles

Joost Engelfriet, Hendrik Jan Hoogeboom, Bart Samwel

Comments: 96 pages, 6 figures, 7 tables

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

[6] arXiv:1809.07115 [pdf, other]

Title: The Reachability Problem for Petri Nets is Not Elementary

Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jerome Leroux, Filip Mazowiecki

Comments: Final version of STOC'19

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

[7] arXiv:1809.07177 [pdf, other]

Title: Parameter Synthesis Problems for one parametric clock Timed Automata

Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen

Comments: 20 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1808.06792

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

[8] arXiv:1809.08664 [pdf, other]

Title: Computing with P Systems

Apostolos Syropoulos, Stratos Doumanis, Konstantinos T. Sotiriades

Journal-ref: Pre-proceedings of the Fifth Workshop on Membrane Computing (WMC5), Milano, Italy, June 2004, pp. 414--421

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

[9] arXiv:1809.08985 [pdf, other]

Title: The Containment Problem for Unambiguous Register Automata

Antoine Mottet, Karin Quaas

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

[10] arXiv:1809.09033 [pdf, other]

Title: Transfinite Lyndon words

Olivier Carton, Luc Boasson

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (November 10, 2020) lmcs:4851

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

[11] arXiv:1809.09415 [pdf, other]

Title: On finitely ambiguous Büchi automata

Christof Löding, Anton Pirogov

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

[12] arXiv:1809.10542 [pdf, other]

Title: Towards a classification of Lindenmayer systems

Diego Krivochen, Douglas Saddy

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

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

Title: An automatic tool for checking multi-party contracts

Adilson Luiz Bonifacio, Wellington Aparecido Della Mura

Comments: 28 pages, 26 figures, 3 tables, 2 algorithms

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

[14] arXiv:1809.01201 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Random Language Model

E. DeGiuli

Comments: 5 pages + 3 pages SI

Journal-ref: Phys. Rev. Lett. 122, 128301 (2019)

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

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

Title: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification

Andrea Orlandini (National Research Council of Italy), Martin Zimmermann (Saarland University)

Journal-ref: EPTCS 277, 2018

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

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

Title: Parameterized Games and Parameterized Automata

Arno Pauly (Swansea University)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 30-42

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

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

Title: Observation and Distinction. Representing Information in Infinite Games

Dietmar Berwanger, Laurent Doyen

Comments: Full version of a contribution to the Proceedings of STACS 2020 (Symposium on Theoretical Aspects of Computer Science)

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

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

Title: A Classification of BPMN Collaborations based on Safeness and Soundness Notions

Flavio Corradini (University of Camerino), Chiara Muzi (University of Camerino), Barbara Re (University of Camerino), Francesco Tiezzi (University of Camerino)

Comments: In Proceedings EXPRESS/SOS 2018, arXiv:1808.08071

Journal-ref: EPTCS 276, 2018, pp. 37-52

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

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

Title: Logically-Constrained Neural Fitted Q-Iteration

Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening

Comments: AAMAS 2019

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

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

Title: On Folding and Twisting (and whatknot): towards a characterization of workspaces in syntax

Diego Gabriel Krivochen

Comments: Manuscript. Do not cite without permission. Comments welcome

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

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

Title: Universal gates with wires in a row

Ville Salo

Comments: 15 pages + 3 page appendix; comments and references to previous studies of G are welcome by email!

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