Formal Languages and Automata Theory

Authors and titles for July 2024

[1] arXiv:2407.01169 [pdf, other]

Title: Some Remarks on First-Order Definable Tree Languages

Achim Blumensath

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

[2] arXiv:2407.02660 [pdf, html, other]

Title: On Shuffling and Splitting Automata

Ignacio Mollo Cunningham

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

[3] arXiv:2407.02704 [pdf, html, other]

Title: Monads, Comonads, and Transducers

Rafał Stefański

Comments: 33 pages

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

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

Title: Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report

Elias Alevizos, Alexander Artikis, Georgios Paliouras

Comments: arXiv admin note: substantial text overlap with arXiv:2110.04032

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

[5] arXiv:2407.03203 [pdf, html, other]

Title: TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Ruida Wang, Jipeng Zhang, Yizhen Jia, Rui Pan, Shizhe Diao, Renjie Pi, Tong Zhang

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

[6] arXiv:2407.03638 [pdf, html, other]

Title: Weighted basic parallel processes and combinatorial enumeration

Lorenzo Clemente

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

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

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

Title: Simple grammar bisimilarity, with an application to session type equivalence

Diogo Poças, Vasco T. Vasconcelos

Comments: 37 pages, 6 figure

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

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

Title: Generalized Parikh Matrices For Tracking Subsequence Occurrences

Szilárd Zsolt Fazekas, Xinhao Huang

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

[9] arXiv:2407.08068 [pdf, html, other]

Title: More on Maximally Permissive Similarity Control of Discrete Event Systems

Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan

Comments: 8 pages

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

[10] arXiv:2407.08088 [pdf, other]

Title: Finite-State Automaton To/From Regular Expression Visualization

Marco T. Morazán (Seton Hall University), Tijana Minić (Seton Hall University)

Comments: In Proceedings TFPIE 2024, arXiv:2407.06355

Journal-ref: EPTCS 405, 2024, pp. 36-55

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

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

Title: A quadratic upper bound on the reset thresholds of synchronizing automata containing a transitive permutation group

Yinfeng Zhu

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

[12] arXiv:2407.08218 [pdf, html, other]

Title: On Tree Automata, Generating Functions, and Differential Equations

Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell

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

[13] arXiv:2407.08452 [pdf, html, other]

Title: MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm

S. Akshay, Paul Gastin, R. Govind, B. Srivathsan

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

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

Title: History-Determinism vs Fair Simulation

Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash

Comments: Full version of the paper accepted at CONCUR 2024

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

[15] arXiv:2407.09441 [pdf, other]

Title: The $\mu\mathcal{G}$ Language for Programming Graph Neural Networks

Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti

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

[16] arXiv:2407.09775 [pdf, html, other]

Title: Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

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

[17] arXiv:2407.09891 [pdf, html, other]

Title: Blow-up in Non-Deterministic Automata

Ivan Baburin, Ryan Cotterell

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

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

Title: On state complexity for subword-closed languages

Jérôme Guyot

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

[19] arXiv:2407.13406 [pdf, html, other]

Title: Quasi-stratified Order Semantics of Concurrency

Maciej Koutny, Lukasz Mikulski

Comments: 18 pages, 6 figures

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

[20] arXiv:2407.14105 [pdf, html, other]

Title: Quasi-Isometric Reductions Between Infinite Strings

Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu

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

[21] arXiv:2407.14115 [pdf, other]

Title: Dual Adjunction Between $\Omega$-Automata and Wilke Algebra Quotients

Anton Chernev, Helle Hvid Hansen, Clemens Kupke

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

[22] arXiv:2407.18090 [pdf, other]

Title: On the Minimisation of Deterministic and History-Deterministic Generalised (co)B\"uchi Automata

Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash

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

[23] arXiv:2407.18131 [pdf, html, other]

Title: Reachability for Multi-Priced Timed Automata with Positive and Negative Rates

Andrew Scoones, Mahsa Shirmohammadi, James Worrell

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

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

Title: Detecting and explaining (in)equivalence of context-free grammars

Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel

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

[25] arXiv:2407.18599 [pdf, html, other]

Title: Tight Bounds for the Number of Absent Scattered Factors

Duncan Adamson, Pamela Fleischmann, Annika Huch, Max Wiedenhöft

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