Formal Languages and Automata Theory

Authors and titles for October 2023

[1] arXiv:2310.01003 [pdf, other]

Title: Conflict-Aware Active Automata Learning

Tiago Ferreira (University College London), Léo Henry (University College London), Raquel Fernandes da Silva (University College London), Alexandra Silva (Cornell University)

Comments: In Proceedings GandALF 2023, arXiv:2309.17318; extended version at arXiv:2308.14781

Journal-ref: EPTCS 390, 2023, pp. 150-167

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

[2] arXiv:2310.01941 [pdf, other]

Title: Bandwidth of Timed Automata: 3 Classes

Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclan

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

[3] arXiv:2310.01992 [pdf, other]

Title: Acyclic Petri and Workflow Nets with Resets

Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Filip Mazowiecki, Henry Sinclair-Banks

Comments: Preprint for FSTTCS'23 containing 28 pages and 7 figures

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

[4] arXiv:2310.02204 [pdf, html, other]

Title: Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata

Ismaël Jecker, Filip Mazowiecki, David Purser

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

[5] arXiv:2310.02393 [pdf, other]

Title: Symbolic Automata: $ω$-Regularity Modulo Theories

Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi

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

[6] arXiv:2310.03817 [pdf, other]

Title: Logical Languages Accepted by Transformer Encoders with Hard Attention

Pablo Barcelo, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir Podolskii

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

[7] arXiv:2310.04764 [pdf, html, other]

Title: Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs

Radu Iosif, Florian Zuleger

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

[8] arXiv:2310.04870 [pdf, html, other]

Title: Lemur: Integrating Large Language Models in Automated Program Verification

Haoze Wu, Clark Barrett, Nina Narodytska

Comments: Accepted at ICLR'24

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

[9] arXiv:2310.07010 [pdf, other]

Title: The Lexicographically Least Binary Rich Word Achieving the Repetition Threshold

James Currie, Narad Rampersad

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

[10] arXiv:2310.08248 [pdf, other]

Title: Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation

Tijana Minic, Marco T. Morazán

Comments: Presented at The 2023 Scheme and Functional Programming Workshop (arXiv:cs/0101200)

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

[11] arXiv:2310.08412 [pdf, html, other]

Title: Non-reducible Modal Transition Systems

Davide Basile

Comments: draft

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

[12] arXiv:2310.09008 [pdf, other]

Title: New Lower Bounds for Reachability in Vector Addition Systems

Wojciech Czerwiński, Ismaël Jecker, Sławomir Lasota, Jérôme Leroux, Łukasz Orlikowski

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

[13] arXiv:2310.09115 [pdf, other]

Title: Determinization of Integral Discounted-Sum Automata is Decidable

Shaull Almagor, Neta Dafni

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

[14] arXiv:2310.10136 [pdf, html, other]

Title: Mata, a Fast and Simple Finite Automata Library (Technical Report)

David Chocholatý, Tomáš Fiedor, Vojtěch Havlena, Lukáš Holík, Martin Hruška, Ondřej Lengál, Juraj Síč

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

[15] arXiv:2310.11481 [pdf, other]

Title: Contracting Tsetlin Machine with Absorbing Automata

Bimal Bhattarai, Ole-Christoffer Granmo, Lei Jiao, Per-Arne Andersen, Svein Anders Tunheim, Rishad Shafik, Alex Yakovlev

Comments: Accepted to ISTM2023. 7 pages, 8 figures

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

[16] arXiv:2310.11825 [pdf, other]

Title: Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems

Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li

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

[17] arXiv:2310.13309 [pdf, other]

Title: Enumerating regular languages in radix order : Revisiting the Ackerman-Shallit algorithm

Nadime Francis, Victor Marsault

Comments: 8 pages

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

[18] arXiv:2310.13498 [pdf, html, other]

Title: Checking History-Determinism is NP-hard for Parity Automata

Aditya Prakash

Comments: Full version of the paper accepted at FoSSaCS 2024. Some minor editorial changes from the previous version following suggestions from anonymous reviewers

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

[19] arXiv:2310.13897 [pdf, other]

Title: Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages

Andy Yang, David Chiang, Dana Angluin

Comments: NeurIPS 2024

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

[20] arXiv:2310.14114 [pdf, other]

Title: Note on dissecting power of regular languages

Josef Rukavicka

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

[21] arXiv:2310.16022 [pdf, html, other]

Title: A Robust Measure on FDFAs Following Duo-Normalized Acceptance

Dana Fisman, Emmanuel Goldberg, Oded Zimerman

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

[22] arXiv:2310.16740 [pdf, other]

Title: Reachability in Fixed VASS: Expressiveness and Lower Bounds

Andrei Draghici, Christoph Haase, Andrew Ryzhikov

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

[23] arXiv:2310.16798 [pdf, other]

Title: Reachability in Continuous Pushdown VASS

A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

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

[24] arXiv:2310.17295 [pdf, html, other]

Title: Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages

Mark Hopkins, Hans Leiß

Comments: 2nd Revised version. 42 pages, 4 figures. Additional results in Sec.2 and Sec.5, Cor.2.7 corrected

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

[25] arXiv:2310.20433 [pdf, other]

Title: Simple and tight complexity lower bounds for solving Rabin games

Antonio Casares, Marcin Pilipczuk, Michał Pilipczuk, Uéverton S. Souza, K. S. Thejaswini

Comments: 10 pages, 5 figures. To appear in SOSA 2024

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

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

Title: Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games

Martin Fränzle (Carl von Ossietzky Universität Oldenburg), Sarah Winter (Université libre de Bruxelles), Martin Zimmermann (Aalborg University)

Comments: In Proceedings GandALF 2023, arXiv:2309.17318

Journal-ref: EPTCS 390, 2023, pp. 220-235

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

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

Title: Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning

Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan

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

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

Title: Coding by Design: GPT-4 empowers Agile Model Driven Development

Ahmed R. Sadik, Sebastian Brulin, Markus Olhofer

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Multiagent Systems (cs.MA); Programming Languages (cs.PL)

[29] arXiv:2310.04926 (cross-list from math.GR) [pdf, html, other]

Title: Further results on generalized cellular automata

Alonso Castillo-Ramirez, Luguis de los Santos Baños

Comments: 15 pages

Journal-ref: Communications in Algebra, 2024

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

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

Title: Z3-Noodler: An Automata-based String Solver (Technical Report)

Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč

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

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

Title: A Completeness Theorem for Probabilistic Regular Expressions

Wojciech Różowski, Alexandra Silva

Comments: Accepted for publication at LICS. Full version of the paper containing omitted proofs

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

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

Title: The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations

Marius Bozga, Lucas Bueri, Radu Iosif, Florian Zuleger

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

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

Title: Using Experience Classification for Training Non-Markovian Tasks

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

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

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

Title: Auction-Based Scheduling

Guy Avni, Kaushik Mallik, Suman Sadhukhan

Comments: Full version of a paper accepted at TACAS'24

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

[35] arXiv:2310.12701 (cross-list from cs.LO) [pdf, html, other]

Title: Parity Games on Temporal Graphs

Pete Austin, Sougata Bose, Patrick Totzke

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

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

Title: A Study of Fitness Gains in Evolving Finite State Machines

Gabor Zoltai, Yue Xie, Frank Neumann

Comments: 12 pages, 3 figures. Submitted to the Australasian Joint Conference on Artificial Intelligence (AJCAI) 2023

Subjects: Neural and Evolutionary Computing (cs.NE); Formal Languages and Automata Theory (cs.FL)

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

Title: Inferring Properties in Computation Tree Logic

Rajarshi Roy, Daniel Neider

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

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

Title: Proof of Irvine's Conjecture via Mechanized Guessing

Jeffrey Shallit

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

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

Title: 4 and 7-bit Labeling for Projective and Non-Projective Dependency Trees

Carlos Gómez-Rodríguez, Diego Roca, David Vilares

Comments: Accepted for publication at EMNLP 2023

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

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

Title: On Learning Polynomial Recursive Programs

Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell

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

[41] arXiv:2310.15064 (cross-list from math.CO) [pdf, html, other]

Title: Power-free Complementary Binary Morphisms

Jeffrey Shallit, Arseny M. Shur, Stefan Zorcic

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

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

Title: Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages

Alexandra Butoi, Tim Vieira, Ryan Cotterell, David Chiang

Comments: 23 pages, 9 figures. Accepted at EMNLP 2023

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

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

Title: Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening

Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang

Comments: 10 pages, submitted to SEAMS conference

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

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

Title: Fine-Tuning Language Models Using Formal Methods Feedback

Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu

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

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

Title: Proceedings of the First Workshop on Trends in Configurable Systems Analysis

Maurice H. ter Beek, Clemens Dubslaff

Journal-ref: EPTCS 392, 2023

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

[46] arXiv:2310.18965 (cross-list from cs.CC) [pdf, html, other]

Title: Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata

Tomoyuki Yamakami

Comments: (A4, 10pt, 24 pages) This paper corrects and extends a preliminary report published in the Proceedings of the 24th International Symposium on Fundamentals of Computation Theory (FCT 2023), Trier, Germany, September 18-24, 2023, Lecture Notes in Computer Science, vol. 14292, pp. 421-435, Springer Cham, 2023

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

[47] arXiv:2310.19507 (cross-list from cs.MA) [pdf, other]

Title: Analysing Multi-Agent Systems using 1-safe Petri Nets

Federica Adobbati, Łukasz Mikulski

Comments: this https URL

Journal-ref: Petri Nets and Software Engineering 2022, Bergen, Norway, June 20th, {CEUR} Workshop Proceedings 3170, 2022, 139-155

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

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

Title: A Navigation Logic for Recursive Programs with Dynamic Thread Creation

Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Gutsfeld

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