Formal Languages and Automata Theory

Authors and titles for cs.FL in Aug 2020

[1]  arXiv:2008.00255 [pdf, ps, other]

Title: Theta palindromes in theta conjugates

Authors: 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

Authors: Paweł Parys

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

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

[3]  arXiv:2008.01413 [pdf, other]

Title: Asymptotic Approximation by Regular Languages

Authors: 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, ps, other]

Title: The Intersection of $3$-Maximal Submonids

Authors: 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

Authors: Aleksander Mendoza-Drosik

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

[6]  arXiv:2008.03516 [pdf, ps, other]

Title: Blocksequences of k-local Words

Authors: 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

Authors: 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

Authors: 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, ps, other]

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

Authors: 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

Authors: 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, ps, other]

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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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, ps, other]

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

Authors: 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

Authors: 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, ps, other]

Title: Computability by Monadic Second-Order Logic

Authors: 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]

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

Authors: 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

Authors: 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, ps, other]

Title: Verifying Pufferfish Privacy in Hidden Markov Models

Authors: 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.02929 (cross-list from cs.LO) [pdf, ps, other]

Title: From Well Structured Transition Systems to Program Verification

Authors: 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)

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

Title: Safe and efficient collision avoidance control for autonomous vehicles

Authors: Qiang Wang, Dachuan Li, Joseph Sifakis

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

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

Title: From Quasi-Dominions to Progress Measures

Authors: 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)

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

Title: SafetyOps

Authors: Umair Siddique

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