Formal Languages and Automata Theory

Authors and titles for September 2022

[1] arXiv:2209.00122 [pdf, other]

Title: Tree-Based Adaptive Model Learning

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, other]

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

Sebastian Maneth, Helmut Seidl, Martin Vu

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

[3] arXiv:2209.02260 [pdf, other]

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

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

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, other]

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

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, html, other]

Title: Window Expressions for Stream Data Processing

M. Praveen, S. Hitarth

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

[7] arXiv:2209.05334 [pdf, other]

Title: Polynomial time multiplication and normal forms in free bands

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, html, other]

Title: Composing Copyless Streaming String Transducers

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

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

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

Kenji Hashimoto, Sebastian Maneth

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

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

Title: History-deterministic Parikh Automata

Enzo Erlich, Mario Grobler, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

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

[13] arXiv:2209.08383 [pdf, other]

Title: Practical LR Parser Generation

Joe Zimmerman

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

[14] arXiv:2209.08415 [pdf, other]

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

Tikhon Pshenitsyn

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

[15] arXiv:2209.09333 [pdf, other]

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

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, other]

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

Dana Angluin, Dana Fisman

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 4 (November 8, 2024) lmcs:12283

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

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

Title: A Hierarchy of Nondeterminism

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

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

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, other]

Title: Generating Tokenizers with Flat Automata

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: this http URL

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

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, other]

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

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

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

Antonio Casares, Pierre Ohlmann

Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 1 (March 24, 2025) lmcs:13186

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

[25] arXiv:2209.13373 [pdf, other]

Title: On von Neumann regularity of cellular automata

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)