Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Formal Languages and Automata Theory

Authors and titles for recent submissions

See today's new changes

Total of 12 entries
Showing up to 50 entries per page: fewer | more | all

Thu, 14 Nov 2024 (showing 2 of 2 entries )

[1] arXiv:2411.08815 [pdf, other]
Title: Learning real-time one-counter automata using polynomially many queries
Prince Mathew, Vincent Penelle, A.V. Sreejith
Subjects: Formal Languages and Automata Theory (cs.FL)
[2] arXiv:2411.08523 [pdf, other]
Title: The Word Problem for $(\omega - 1)$-Terms over $\boldsymbol{\mathrm{DAb}}$
Jorge Almeida, Manfred Kufleitner, Jan Philipp Wächter
Subjects: Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)

Wed, 13 Nov 2024 (showing 5 of 5 entries )

[3] arXiv:2411.07741 [pdf, html, other]
Title: Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
Dong Yang, Wei Dong, Wei Lu, Yanqi Dong, Sirui Liu
Subjects: Formal Languages and Automata Theory (cs.FL)
[4] arXiv:2411.07275 [pdf, html, other]
Title: The Equivalence Problem of E-Pattern Languages with Regular Constraints is Undecidable
Dirk Nowotka, Max Wiedenhöft
Comments: 13 pages with references, 1 table, accepted and published at CIAA 2024. arXiv admin note: substantial text overlap with arXiv:2411.06904
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Combinatorics (math.CO)
[5] arXiv:2411.08003 (cross-list from cs.AI) [pdf, html, other]
Title: Can adversarial attacks by large language models be attributed?
Manuel Cebrian, Jan Arne Telle
Comments: 7 pages, 1 figure
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computers and Society (cs.CY); Formal Languages and Automata Theory (cs.FL)
[6] arXiv:2411.07049 (cross-list from cs.DB) [pdf, other]
Title: Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David Basin
Subjects: Databases (cs.DB); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[7] arXiv:2407.12840 (cross-list from math.CT) [pdf, other]
Title: Categorical Foundations of Formalized Condensed Mathematics
Dagur Asgeirsson (UCPH), Riccardo Brasca (IMJ-PRG (UMR\_7586)), Nikolas Kuhn (UiO), Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio (ICJ, UJM, CTN), Adam Topaz
Comments: The Journal of Symbolic Logic, In press
Subjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Tue, 12 Nov 2024 (showing 4 of 4 entries )

[8] arXiv:2411.06904 [pdf, html, other]
Title: The Equivalence Problem of E-Pattern Languages with Length Constraints is Undecidable
Dirk Nowotka, Max Wiedenhöft
Comments: 32 pages including appendix, 2 tables, submitted to CPM 2025
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Combinatorics (math.CO)
[9] arXiv:2411.06358 [pdf, html, other]
Title: Topoi of automata I: Four topoi of automata and regular languages
Ryuya Hora
Comments: 16 pages, comments welcome
Subjects: Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT); Logic (math.LO)
[10] arXiv:2411.06383 (cross-list from cs.PL) [pdf, html, other]
Title: Program Analysis via Multiple Context Free Language Reachability
Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Andreas Pavlogianni, Jaco van de Pol
Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
[11] arXiv:2411.05946 (cross-list from cs.RO) [pdf, other]
Title: Querying Perception Streams with Spatial Regular Expressions
Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil Prokhorov
Comments: This work has been submitted to the International Journal on Software Tools for Technology Transfer
Subjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV); Formal Languages and Automata Theory (cs.FL)

Mon, 11 Nov 2024 (showing 1 of 1 entries )

[12] arXiv:2411.05722 (cross-list from cs.PL) [pdf, html, other]
Title: Characterizing Implementability of Global Protocols with Infinite States and Data
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

Fri, 8 Nov 2024

No updates for this time period.

Total of 12 entries
Showing up to 50 entries per page: fewer | more | all