Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2404.17530 [pdf, other]: Title: Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata

Authors: Rohan Acharya, Marcin Jurdziński, Aditya Prakash

Comments: Full version of paper accepted at ICALP 2024

Subjects: Formal Languages and Automata Theory (cs.FL)
[2] arXiv:2404.17492 [pdf, other]: Title: Regular Expressions with Backreferences and Lookaheads Capture NLOG

Authors: Yuya Uezato

Comments: Author's version of a paper accepted at ICALP 2024

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[3] arXiv:2404.17343 (cross-list from cs.CL) [pdf, other]: Title: A Bionic Natural Language Parser Equivalent to a Pushdown Automaton

Authors: Zhenghao Wei, Kehua Lin, Jianlin Feng

Comments: to be published in IJCNN 2024

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

[4] arXiv:2404.16624 [pdf, ps, other]: Title: Development of parallel programs on shared data-structures -- Revised version

Authors: Ketil Stølen

Subjects: Formal Languages and Automata Theory (cs.FL)
[5] arXiv:2404.16518 [pdf, other]: Title: Edit Distance of Finite State Transducers

Authors: C. Aiswarya, Amaldev Manuel, Saina Sunny

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[6] arXiv:2404.16492 [pdf, ps, other]: Title: On the topology of concurrent systems

Authors: Catarina Faustino, Thomas Kahl, Rodrigo Lopes

Comments: 24 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)
[7] arXiv:2404.16163 (cross-list from cs.RO) [pdf, other]: Title: The Trembling-Hand Problem for LTLf Planning

Authors: Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Vardi

Comments: The paper is accepted by IJCAI 2024

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

[8] arXiv:2404.15496 [pdf, other]: Title: The Algebras for Automatic Relations

Authors: Rémi Morvan

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

[9] arXiv:2404.15052 [pdf, other]: Title: Finite Automata for Efficient Graph Recognition

Authors: Frank Drewes, Berthold Hoffmann, Mark Minas

Comments: 23 pages, accepted for publication in the Postproceedings of the 14th International Workshop on Graph Computational Models (GCM 2023)

Subjects: Formal Languages and Automata Theory (cs.FL)
[10] arXiv:2404.14994 (cross-list from cs.CL) [pdf, other]: Title: Transformers Can Represent $n$-gram Language Models

Authors: Anej Svete, Ryan Cotterell

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[11] arXiv:2404.14781 (cross-list from cs.LO) [pdf, other]: Title: Improved Algorithm for Reachability in $d$-VASS

Authors: Yuxi Fu, Qizhe Yang, Yangluo Zheng

Comments: 36 pages

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

[12] arXiv:2404.13601 [pdf, ps, other]: Title: Opacity complexity of automatic sequences. The general case

Authors: J.-P. Allouche, J.-Y. Yao

Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO); Number Theory (math.NT)
[13] arXiv:2404.13577 [pdf, ps, other]: Title: Characterization of Isometric Words based on Swap and Mismatch Distance

Authors: M. Anselmo, G. Castiglione, M. Flores, D. Giammarresi, M. Madonia, S. Mantaci

Subjects: Formal Languages and Automata Theory (cs.FL)
[14] arXiv:2404.14245 (cross-list from cs.CC) [pdf, other]: Title: Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata

Authors: Julian Dörfler, Christian Ikenmeyer

Comments: Short version to be published at ICALP 2024

Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
[15] arXiv:2404.13254 (cross-list from cs.CC) [pdf, other]: Title: Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters

Authors: Tomoyuki Yamakami

Comments: (A4, 10pt, 12 pages) A conference version of this paper will appear in the Proceedings of TAMC 2024

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

[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]