Formal Languages and Automata Theory

Authors and titles for August 2020

[1] arXiv:2008.00255 [pdf, other]

Title: Theta palindromes in theta conjugates

Kalpana Mahalingam, Palak Pandoh, Anuran Maity

Comments: Any suggestions and comments are welcome

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

[2] arXiv:2008.00650 [pdf, other]

Title: On the Expressive Power of Higher-Order Pushdown Systems

Paweł Parys

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 3 (August 20, 2020) lmcs:6692

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

[3] arXiv:2008.01413 [pdf, other]

Title: Asymptotic Approximation by Regular Languages

Ryoma Sin'ya

Comments: This is the full version of a paper accepted by SOFSEM 2021

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

[4] arXiv:2008.01824 [pdf, other]

Title: The Intersection of $3$-Maximal Submonids

Giuseppa Castiglione, Štěpán Holub

Journal-ref: Theoretical Computer Science 901 (2022) 35-44

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

[5] arXiv:2008.02239 [pdf, other]

Title: Glushkov's construction for functional subsequential transducers

Aleksander Mendoza-Drosik

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

[6] arXiv:2008.03516 [pdf, other]

Title: Blocksequences of k-local Words

Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck

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

[7] arXiv:2008.04160 [pdf, other]

Title: Verifying Safety Properties of Inductively Defined Parameterized Systems

Marius Bozga, Radu Iosif

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

[8] arXiv:2008.04667 [pdf, other]

Title: On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars

Lorenzo Clemente (University of Warsaw)

Comments: In Proceedings VPT/HCVS 2020, arXiv:2008.02483. arXiv admin note: identical to arXiv:2006.05275 , which has an added appendix

Journal-ref: EPTCS 320, 2020, pp. 29-43

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

[9] arXiv:2008.04993 [pdf, other]

Title: On the number of useful objects in P systems with active membranes

Zsolt Gazdag, Károly Hajagos, Szabolcs Iván

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

[10] arXiv:2008.05335 [pdf, other]

Title: Reactive Synthesis from Extended Bounded Response LTL Specifications

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Comments: Extended Version

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

[11] arXiv:2008.05420 [pdf, other]

Title: The Commutative Closure of Shuffle Expressions over Group Languages is Regular

Stefan Hoffmann

Comments: 2nd version: Reworked the presentation of the first version and used the previous result to prove that shuffle expressions over group languages are regular. The rather long and technical presentation of the state label method is deferred to the appendix, the main paper tries to give an intuitive picture. 3rd version: some minor fixes. Accepted at CIAA 2021

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

[12] arXiv:2008.06268 [pdf, other]

Title: An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems

Muddassar A. Sindhu

Comments: 29 pages, 2 figures

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

[13] arXiv:2008.06790 [pdf, other]

Title: On the Power of Automata Minimization in Reactive Synthesis

Shufang Zhu (Sapienza Universitity of Rome), Lucas M. Tabajara (Rice University), Geguang Pu (East China Normal University), Moshe Y. Vardi (Rice University)

Comments: In Proceedings GandALF 2021, arXiv:2109.07798

Journal-ref: EPTCS 346, 2021, pp. 117-134

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

[14] arXiv:2008.08828 [pdf, other]

Title: On the Use of Quasiorders in Formal Language Theory

Pedro Valero

Comments: PhD thesis

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

[15] arXiv:2008.10782 [pdf, other]

Title: Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives

A H M Jakaria, Mohammad Ashiqur Rahman, Matthew Anderson, Steven Drager

Subjects: Formal Languages and Automata Theory (cs.FL); Multiagent Systems (cs.MA); Signal Processing (eess.SP)

[16] arXiv:2008.11164 [pdf, other]

Title: Concatenation Operations and Restricted Variants of Two-Dimensional Automata

Taylor J. Smith, Kai Salomaa

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

[17] arXiv:2008.11635 [pdf, other]

Title: Languages recognised by finite semigroups, and their generalisations to objects such as trees and graphs, with an emphasis on definability in monadic second-order logic

Mikołaj Bojańczyk

Comments: The most recent version can be found here: this https URL

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

[18] arXiv:2008.12151 [pdf, other]

Title: Computability by Monadic Second-Order Logic

Joost Engelfriet

Comments: 12 pages, 4 figures, to appear in Information Processing Letters

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

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

Title: MDA Models and PIM/PSM Transformations Using Extended Automata

David Dayan, Rivka Kaplinsky, Aryeh Wiesen, Simon Bloch

Comments: 11 pages, 5 figures, 2 tables

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

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

Title: Implicit automata in typed $λ$-calculi II: streaming transducers vs categorical semantics

Lê Thành Dũng Nguyên, Camille Noûs, Cécilia Pradic

Comments: 108 pages, 23 figures. Theorem 3.53 was wrong in previous versions. This is corrected and a more detailed proof is provided in a new appendix. Miscellaneous minor typos were also corrected

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

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

Title: Verifying Pufferfish Privacy in Hidden Markov Models

Depeng Liu, Bow-yaw Wang, Lijun Zhang

Comments: To be published in the proceedings of VMCAI 2022

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

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

Title: Cayley Polynomial-Time Computable Groups

Dmitry Berdinsky, Murray Elder, Prohrak Kruengthomya

Comments: 34 pages; accepted version

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

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

Title: From Well Structured Transition Systems to Program Verification

Alain Finkel (Universite Paris-Saclay, ENS Paris-Saclay, CNRS)

Comments: In Proceedings VPT/HCVS 2020, arXiv:2008.02483

Journal-ref: EPTCS 320, 2020, pp. 44-49

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

[24] arXiv:2008.04080 (cross-list from eess.SY) [pdf, other]

Title: Safe and efficient collision avoidance control for autonomous vehicles

Qiang Wang, Dachuan Li, Joseph Sifakis

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

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

Title: From Quasi-Dominions to Progress Measures

Massimo Benerecetti, Daniele Dell'Erba, Marco Faella, Fabio Mogavero

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

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

Title: SafetyOps

Umair Siddique

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

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

Title: Automata and finite order elements in the Nottingham group

Jakub Byszewski, Gunther Cornelissen, Djurre Tijsma

Comments: 49 pages, 18 figures; arxiv submission includes ancillary files: Mathematica notebooks (+pdf) containing examples and verifications;, a txt-file containing a MAGMA routine by A. Bridy and G. Cornelissen to compute the labelled graph structure of an automaton from an algebraic equation (using differential forms on algebraic curves); v2: small corrections

Subjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL); Algebraic Geometry (math.AG); Group Theory (math.GR)

[28] arXiv:2008.05263 (cross-list from q-bio.QM) [pdf, other]

Title: An Ansatz for computational undecidability in RNA automata

Adam J. Svahn, Mikhail Prokopenko

Subjects: Quantitative Methods (q-bio.QM); Formal Languages and Automata Theory (cs.FL); Populations and Evolution (q-bio.PE)

[29] arXiv:2008.06315 (cross-list from eess.SY) [pdf, other]

Title: Resilient Abstraction-Based Controller Design

Stanly Samuel (1), Kaushik Mallik (2), Anne-Kathrin Schmuck (2), Daniel Neider (2) ((1) Indian Institute of Science (IISc), Bengaluru, India, (2) Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany)

Comments: 9 pages, 5 images, 1 table, to appear in CDC 2020

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

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

Title: Superlinear Lower Bounds Based on ETH

András Z. Salamon, Michael Wehar

Comments: Accepted at STACS 2022

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

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

Title: Automatic Translation of tock-CSP into Timed Automata

Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob

Comments: An updated version of this paper is available in this link arXiv:2104.13434

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

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

Title: Abelian Closures of Infinite Binary Words

Svetlana Puzynina, Markus A. Whiteland

Comments: 32 pages, 8 figures; V2: text edited, typos fixed. Accepted for publication in Journal of Combinatorial Theory, Series A

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

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

Title: Novel Results on the Number of Runs of the Burrows-Wheeler-Transform

Sara Giuliani, Shunsuke Inenaga, Zsuzsanna Lipták, Nicola Prezza, Marinella Sciortino, Anna Toffanello

Comments: 14 pages, 2 figues

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

[34] arXiv:2008.09254 (cross-list from cs.HC) [pdf, other]

Title: Visual Designing and Debugging of Deterministic Finite-State Machines in FSM

Marco T. Morazán (Seton Hall University), Joshua M. Schappel (Seton Hall University), Sachin Mahashabde (Seton Hall University)

Comments: In Proceedings TFPIE 2019 and 2020, arXiv:2008.08923

Journal-ref: EPTCS 321, 2020, pp. 55-77

Subjects: Human-Computer Interaction (cs.HC); Formal Languages and Automata Theory (cs.FL)

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

Title: Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining

Artem Polyvyanyy, Hanan Alkhammash, Claudio Di Ciccio, Luciano García-Bañuelos, Anna Kalenkova, Sander J. J. Leemans, Jan Mendling, Alistair Moffat, Matthias Weidlich

Comments: 4 pages

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

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

Title: Optimal Strategies in Weighted Limit Games (full version)

Aniello Murano, Sasha Rubin, Martin Zimmermann

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