Formal Languages and Automata Theory

Authors and titles for July 2017

[1] arXiv:1707.00101 [pdf, other]

Title: Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions

Volker Diekert, Lukas Fleischer

Comments: Extended abstract of an invited talk given at WORDS 2017

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

[2] arXiv:1707.00527 [pdf, other]

Title: Streamability of nested word transductions

Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (April 4, 2019) lmcs:3763

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

[3] arXiv:1707.01344 [pdf, other]

Title: Compositions of Functions and Permutations Specified by Minimal Reaction Systems

Wen Chean Teh

Comments: 10 pages, preprint

Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO); Molecular Networks (q-bio.MN)

[4] arXiv:1707.01814 [pdf, other]

Title: Linear Parsing Expression Grammars

Nariyoshi Chida, Kimio Kuramitsu

Comments: Parsing expression grammars, Boolean finite automata, Packrat parsing

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

[5] arXiv:1707.02058 [pdf, other]

Title: Controlling a Population

Nathalie Bertrand (IRSN), Miheer Dewaskar, Blaise Genest (SUMO), Hugo Gimbert (LaBRI)

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

[6] arXiv:1707.02297 [pdf, other]

Title: Towards an Efficient Tree Automata based technique for Timed Systems

S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar

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

[7] arXiv:1707.03174 [pdf, other]

Title: State complexity of catenation combined with boolean operations

Pascal Caron, Jean-Gabriel Luque, Bruno Patrou

Comments: 20 pages, 11 Figures

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

[8] arXiv:1707.03457 [pdf, other]

Title: Multiple Context-Free Tree Grammars: Lexicalization and Characterization

Joost Engelfriet, Andreas Maletti, Sebastian Maneth

Comments: 78 pages, 13 figures

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

[9] arXiv:1707.04083 [pdf, other]

Title: Two-Dimensional Pattern Languages

Henning Fernau, Markus L. Schmid, K. G. Subramanian

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

[10] arXiv:1707.04097 [pdf, other]

Title: A Polynomial Time Match Test for Large Classes of Extended Regular Expressions

Daniel Reidenbach, Markus L. Schmid

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

[11] arXiv:1707.04125 [pdf, other]

Title: PAWS: A Tool for the Analysis of Weighted Systems

Barbara König, Sebastian Küpper, Christina Mika

Comments: In Proceedings QAPL 2017, arXiv:1707.03668

Journal-ref: EPTCS 250, 2017, pp. 75-91

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

[12] arXiv:1707.04160 [pdf, other]

Title: Automatic Randomness Tests

Birzhan Moldagaliyev

Comments: 21 pages

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

[13] arXiv:1707.04441 [pdf, other]

Title: Non-locality of the meet levels of the Trotter-Weil Hierarchy

João Daniel Moreira

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

[14] arXiv:1707.04450 [pdf, other]

Title: Minimal Forbidden Factors of Circular Words

Gabriele Fici, Antonio Restivo, Laura Rizzo

Comments: To appear in Theoretical Computer Science

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

[15] arXiv:1707.04651 [pdf, other]

Title: Outfix-guided insertion

Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa

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

[16] arXiv:1707.05115 [pdf, other]

Title: The Power of Constraint Grammars Revisited

Anssi Yli-Jyrä

Comments: 9 pages, 4 figures

Journal-ref: Proceedings of the NoDaLiDa 2017 Workshop on Constraint Grammar - Methods, Tools and Applications, 22 May 2017, Gothenburg, Sweden. Pages 23-31

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

[17] arXiv:1707.07670 [pdf, other]

Title: Language Approximation With One-Counter Automata

Alexander Sakharov

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

[18] arXiv:1707.09793 [pdf, other]

Title: Generalized Results on Monoids as Memory

Özlem Salehi (Boğaziçi University, Department of Computer Engineering), Flavio D'Alessandro (Università di Roma "La Sapienza", Dipartimento di Matematica), A. C. Cem Say (Boğaziçi University, Department of Computer Engineering)

Comments: In Proceedings AFL 2017, arXiv:1708.06226

Journal-ref: EPTCS 252, 2017, pp. 234-247

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

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

Title: Ins-Robust Primitive Words

Amit Kumar Srivastava, Kalpesh Kapoor

Comments: 12 pages

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

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

Title: On Petri Nets with Hierarchical Special Arcs

S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep

Comments: Extended abstract to appear in conference CONCUR 2017

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

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

Title: A Probabilistic Calculus of Cyber-Physical Systems

Ruggero Lanotte, Massimo Merro, Simone Tini

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

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

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

Title: Generation and analysis of lamplighter programs

Carlos Martin

Comments: Added section 7 (sampling random programs) and section 8 (distribution of runtimes)

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

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

Title: Separating regular languages with two quantifier alternations

Thomas Place

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

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

[24] arXiv:1707.03894 (cross-list from math.NT) [pdf, other]

Title: The Generalized Nagell-Ljunggren Problem: Powers with Repetitive Representations

Andrew Bridy, Robert J. Lemke Oliver, Arlo Shallit, Jeffrey Shallit

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

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

Title: The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi

Comments: 26 pages

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

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

Title: Topological Sorting under Regular Constraints

Antoine Amarilli, Charles Paperman

Comments: 45 pages, 31 references in the main text. This is the full version with proofs of the ICALP'18 paper, and is the same as the ICALP proceedings version up to minor publisher-dependent changes. Several important changes with respect to version 1, including fixing some errors. Title changed with respect to version 2

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

[27] arXiv:1707.05428 (cross-list from cs.SY) [pdf, other]

Title: Coordination and Control of Distributed Discrete Event Systems under Actuator and Sensor Faults

Jin Dai, Hai Lin

Comments: 33 pages; 20 figures; 1 table

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

[28] arXiv:1707.06387 (cross-list from cs.AI) [pdf, other]

Title: Representing Hybrid Automata by Action Language Modulo Theories

Joohyung Lee, Nikhil Loney, Yunsong Meng

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX

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

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

Title: Verifying Policy Enforcers

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone

Comments: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yliès Falcone. Verifying Policy Enforcers. Proceedings of 17th International Conference on Runtime Verification (RV), 2017. (to appear)

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