Formal Languages and Automata Theory

Authors and titles for cs.FL in Sep 2022

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

Title: Tree-Based Adaptive Model Learning

Authors: Tiago Ferreira, Gerco van Heerdt, Alexandra Silva

Comments: 10 pages, 3 figures, A Journey from Process Algebra via Timed Automata to Model Learning. Ferreira, T., van Heerdt, G., Silva, A. (2022). Tree-Based Adaptive Model Learning. In: Jansen, N., Stoelinga, M., van den Bos, P. (eds) A Journey from Process Algebra via Timed Automata to Model Learning; Full implementation and experiment results available at this https URL

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

[2]  arXiv:2209.01044 [pdf, ps, other]

Title: How to decide Functionality of Compositions of Top-Down Tree Transducers

Authors: Sebastian Maneth, Helmut Seidl, Martin Vu

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

[3]  arXiv:2209.02260 [pdf, ps, other]

Title: Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields

Authors: Jason P. Bell, Daniel Smertnig

Comments: Completely restructured based on reviewer feedback

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

[4]  arXiv:2209.03266 [pdf, other]

Title: The First-Order Theory of Binary Overlap-Free Words is Decidable

Authors: L. Schaeffer, J. Shallit

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

[5]  arXiv:2209.03655 [pdf, ps, other]

Title: Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars

Authors: Jan Hammer, Zbyněk Křivka

Comments: In Proceedings NCMA 2022, arXiv:208.13015

Journal-ref: EPTCS 367, 2022, pp. 88-111

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

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

Title: Window Expressions for Stream Data Processing

Authors: M. Praveen, S. Hitarth

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

[7]  arXiv:2209.05334 [pdf, ps, other]

Title: Polynomial time multiplication and normal forms in free bands

Authors: R. Cirpons, J. D. Mitchell

Comments: 31 pages, 12 figures (fix some minor typos and other issues, to appear in Theoretical Computer Science)

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Group Theory (math.GR); Rings and Algebras (math.RA)

[8]  arXiv:2209.05448 [pdf, other]

Title: Composing Copyless Streaming String Transducers

Authors: Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi

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

[9]  arXiv:2209.05686 [pdf, other]

Title: Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching

Authors: Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang

Comments: This paper has been published in PLDI 2022

Journal-ref: 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022)

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

[10]  arXiv:2209.06809 [pdf, other]

Title: On the Intersection of Context-Free and Regular Languages

Authors: Clemente Pasti, Andreas Opedal, Tiago Pimentel, Tim Vieira, Jason Eisner, Ryan Cotterell

Comments: EACL 2023 camera ready version. Our code is available in this https URL

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

[11]  arXiv:2209.07090 [pdf, other]

Title: Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers

Authors: Kenji Hashimoto, Sebastian Maneth

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

[12]  arXiv:2209.07745 [pdf, ps, other]

Title: History-deterministic Parikh Automata

Authors: Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

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

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

[13]  arXiv:2209.08383 [pdf, ps, other]

Title: Practical LR Parser Generation

Authors: Joe Zimmerman

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

[14]  arXiv:2209.08415 [pdf, ps, other]

Title: Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States

Authors: Tikhon Pshenitsyn

Subjects: Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

[15]  arXiv:2209.09333 [pdf, ps, other]

Title: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

Authors: Pierre Ganty (IMDEA Software Institute), Dario Della Monica (University of Udine)

Journal-ref: EPTCS 370, 2022

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

[16]  arXiv:2209.09336 [pdf, ps, other]

Title: Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages

Authors: Dana Angluin, Dana Fisman

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

[17]  arXiv:2209.09866 [pdf, other]

Title: A Hierarchy of Nondeterminism

Authors: Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz

Comments: 27 pages, 6 figures, added a section about MDPs and GFM automata

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

[18]  arXiv:2209.10306 [pdf, other]

Title: Realizable and Context-Free Hyperlanguages

Authors: Hadar Frenkel (CISPA Helmholtz Center for Information Security, Saarbrücken, Germany), Sarai Sheinvald (Department of Software Engineering, Braude College of Engineering, Karmiel, Israel)

Comments: In Proceedings GandALF 2022, arXiv:2209.09333

Journal-ref: EPTCS 370, 2022, pp. 114-130

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

[19]  arXiv:2209.10312 [pdf, other]

Title: Schema-Based Automata Determinization

Authors: Joachim Niehren (Inria, Université de Lille, France), Momar Sakho (Inria, Université de Lille, France), Antonio Al Serhali (Inria, Université de Lille, France)

Comments: In Proceedings GandALF 2022, arXiv:2209.09333

Journal-ref: EPTCS 370, 2022, pp. 49-65

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

[20]  arXiv:2209.10313 [pdf, ps, other]

Title: Generating Tokenizers with Flat Automata

Authors: Hans de Nivelle (School of Engineering and Digital Sciences, Nazarbayev University, Nursultan-City, Kazakkhstan), Dina Muktubayeva (School of Engineering and Digital Sciences, Nazarbayev University, Nursultan-City, Kazakhstan)

Comments: In Proceedings GandALF 2022, arXiv:2209.09333. An implementation of flat automata can be found on: www.compiler-tools.eu

Journal-ref: EPTCS 370, 2022, pp. 66-80

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

[21]  arXiv:2209.10315 [pdf, other]

Title: Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

Authors: Igor Khmelnitsky (Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, LMF, France), Serge Haddad (Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, LMF, France), Lina Ye (Université Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, LMF, France), Benoît Barbot (Université Paris-Est Créteil, France), Benedikt Bollig (Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, France), Martin Leucker (Institute for Software Engineering and Programming Languages, Universität zu Lübeck, Germany), Daniel Neider (Carl von Ossietzky University of Oldenburg, Germany), Rajarshi Roy (Max Planck Institute for Software Systems, Germany)

Comments: In Proceedings GandALF 2022, arXiv:2209.09333

Journal-ref: EPTCS 370, 2022, pp. 81-96

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

[22]  arXiv:2209.10323 [pdf, ps, other]

Title: Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

Authors: Giann Karlo Aguirre-Samboní (INRIA and LMF, CNRS and ENS Paris-Saclay, Université Paris-Saclay), Stefan Haar (INRIA and LMF, CNRS and ENS Paris-Saclay, Université Paris-Saclay), Loïc Paulevé (Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800), Stefan Schwoon (INRIA and LMF, CNRS and ENS Paris-Saclay, Université Paris-Saclay), Nick Würdemann (Department of Computing Science, University of Oldenburg)

Comments: In Proceedings GandALF 2022, arXiv:2209.09333. This work was supported by the DIGICOSME grant ESCAPE DIGICOSME RD 242-ESCAPE-15203 and by the French Agence Nationale pour la Recherche (ANR) in the scope of the project ''BNeDiction'' (grant number ANR-20-CE45-0001)

Journal-ref: EPTCS 370, 2022, pp. 178-193

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

[23]  arXiv:2209.10328 [pdf, other]

Title: Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types

Authors: Felix Stutz (MPI-SWS), Damien Zufferey (MPI-SWS)

Comments: In Proceedings GandALF 2022, arXiv:2209.09333. The extended version of this paper, containing all proofs, can be found at arXiv:2208.05559

Journal-ref: EPTCS 370, 2022, pp. 194-212

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

[24]  arXiv:2209.12044 [pdf, other]

Title: Characterising memory in infinite games

Authors: Antonio Casares, Pierre Ohlmann

Comments: 52 pages, 21 figures

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

[25]  arXiv:2209.13373 [pdf, ps, other]

Title: On von Neumann regularity of cellular automata

Authors: Ville Salo

Comments: 16 pages, 3 figures; comments welcome! arXiv admin note: text overlap with arXiv:1804.03913

Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS); Rings and Algebras (math.RA)

[26]  arXiv:2209.14021 [pdf, other]

Title: A Framework for Formal Verification of DRAM Controllers

Authors: Lukas Steiner, Chirag Sudarshan, Matthias Jung, Dominik Stoffel, Norbert Wehn

Comments: ACM/IEEE International Symposium on Memory Systems (MEMSYS 2022)

Subjects: Formal Languages and Automata Theory (cs.FL); Hardware Architecture (cs.AR)

[27]  arXiv:2209.14031 [pdf, other]

Title: Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols

Authors: Bernhard K. Aichernig (Institute of Software Technology, Graz University of Technology), Edi Muškardin (Silicon Austria Labs, TU Graz - SAL DES Lab, Institute of Software Technology, Graz University of Technology), Andrea Pferscher (Institute of Software Technology, Graz University of Technology)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 1-19

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

[28]  arXiv:2209.14039 [pdf, other]

Title: SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

Authors: Baptiste Pelletier (ONERA - The French Aerospace Lab), Charles Lesire (ONERA - The French Aerospace Lab), David Doose (ONERA - The French Aerospace Lab), Karen Godary-Dejean (LIRMM, Université de Montpellier), Charles Dramé-Maigné (LIRMM, Université de Montpellier)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 120-138

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

[29]  arXiv:2209.14835 [pdf, ps, other]

Title: Low-Latency Sliding Window Algorithms for Formal Languages

Authors: Moses Ganardi, Louis Jachiet, Markus Lohrey, Thomas Schwentick

Comments: A short version will be presented at the conference FSTTCS 2022

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

[30]  arXiv:2209.14878 [pdf, other]

Title: Enumerating Regular Languages with Bounded Delay

Authors: Antoine Amarilli, Mikaël Monet

Comments: This is the full versions with proofs of the STACS'23 article

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

[31]  arXiv:2209.00271 (cross-list from cs.DS) [pdf, ps, other]

Title: Maximal Closed Substrings

Authors: Golnaz Badkobeh, Alessandro De Luca, Gabriele Fici, Simon Puglisi

Comments: accepted in SPIRE '22

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

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

Title: Separators in Continuous Petri Nets

Authors: Michael Blondin, Javier Esparza

Comments: Extension of the FoSSaCS'22 conference version

Journal-ref: Logical Methods in Computer Science (February 21, 2024) lmcs:10017

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

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

Title: From CCS to CSP: the m-among-n Synchronisation Approach

Authors: Gerard Ekembe Ngondi (Trinity College Dublin), Vasileios Koutavas (Trinity College Dublin), Andrew Butterfield (Trinity College Dublin)

Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777

Journal-ref: EPTCS 368, 2022, pp. 60-74

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

[34]  arXiv:2209.08385 (cross-list from cs.PL) [pdf, ps, other]

Title: langcc: A Next-Generation Compiler Compiler

Authors: Joe Zimmerman

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

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

Title: Autonomous Task Planning for Heterogeneous Multi-Agent Systems

Authors: Anatoli A. Tziola, Savvas G. Loizou

Comments: Long version of paper submitted to the IEEE ICRA 2023 Conference

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

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

Title: Model-Checking PCTL properties of Stateless Probabilistic Pushdown Systems with Various Extensions

Authors: Tianrong Lin

Comments: [v7] some typos fixed; try to make this paper as long as possible; comments are welcome; not finished; the arXiv:1405.4806 incorporated

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Quantum Physics (quant-ph)

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

Title: Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)

Authors: Clemens Grabmayer

Comments: Version article submitted to LICS 2022 (with some corrections performed already during the review process, a few afterwards, 14 pages, 2 pages of the appendix)

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

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

Title: Constant-delay enumeration for SLP-compressed documents

Authors: Martín Muñoz, Cristian Riveros

Comments: 27 pages

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

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

Title: Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications

Authors: Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li

Comments: This paper is accepted to Automatica. arXiv admin note: substantial text overlap with arXiv:2203.16267

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

[40]  arXiv:2209.14028 (cross-list from cs.SE) [pdf, ps, other]

Title: Bounded Invariant Checking for Stateflow

Authors: Predrag Filipovikj (Scania CV AB), Gustav Ung (Scania CV AB), Dilian Gurov (KTH Royal Institute of Technology), Mattias Nyberg (Scania CV AB)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181. arXiv admin note: substantial text overlap with arXiv:2103.06248

Journal-ref: EPTCS 371, 2022, pp. 38-52

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

[41]  arXiv:2209.14030 (cross-list from cs.RO) [pdf, other]

Title: Monitoring ROS2: from Requirements to Autonomous Robots

Authors: Ivan Perez (KBR at NASA Ames Research Center), Anastasia Mavridou (KBR at NASA Ames Research Center), Tom Pressburger (NASA Ames Research Center), Alexander Will (Virginia Commonwealth University), Patrick J. Martin (Virginia Commonwealth University)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 208-216

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

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

Title: From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata

Authors: Maike Schwammberger (University of Oldenburg), Verena Klös (TU Berlin)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 20-37

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

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

Title: Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

Authors: Gleifer Vaz Alves (UTFPR), Maike Schwammberger (University of Oldenburg)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 77-85

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

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

Title: Antisquares and Critical Exponents

Authors: Aseem Baranwal, James Currie, Lucas Mol, Pascal Ochem, Narad Rampersad, Jeffrey Shallit

Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (September 6, 2023) dmtcs:10063

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

[45]  arXiv:2209.09588 (cross-list from math.NT) [pdf, ps, other]

Title: An asymptotic version of Cobham's theorem

Authors: Jakub Konieczny

Comments: 17 pages

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