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)