Formal Languages and Automata Theory

Authors and titles for recent submissions

• Fri, 9 Dec 2022
• Thu, 8 Dec 2022
• Wed, 7 Dec 2022
• Tue, 6 Dec 2022
• Mon, 5 Dec 2022

Fri, 9 Dec 2022

[1]  arXiv:2212.04218 [pdf, other]

Title: Structural Reductions and Stutter Sensitive Properties

Authors: Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

Comments: 23 pages, extended version of FORTE'22 paper "LTL under reductions with weaker conditions than stutter invariance" arXiv:2111.03342

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

[2]  arXiv:2212.03992 [pdf, ps, other]

Title: State Grammars with Stores

Authors: Oscar H. Ibarra, Ian McQuillan

Comments: 21 pages

Journal-ref: Theoretical Computer Science 798, 23-39 (2019)

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

Thu, 8 Dec 2022

[3]  arXiv:2212.03861 [pdf, other]

Title: Cocke--Younger--Kasami--Schwartz--Zippel algorithm and relatives

Authors: Vladislav Makarov

Comments: 11 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[4]  arXiv:2212.03791 [pdf, other]

Title: On Families of Full Trios Containing Counter Machine Languages

Authors: Oscar H. Ibarra, Ian McQuillan

Comments: 28 pages, 1 figure

Journal-ref: Theoretical Computer Science 799, 71--93 (2019)

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

[5]  arXiv:2212.03786 [pdf, other]

Title: Why the equivalence problem for unambiguous grammars has not been solved back in 1966?

Authors: Vladislav Makarov

Comments: 11 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[6]  arXiv:2212.03359 [pdf, other]

Title: Relationships Between Bounded Languages, Counter Machines, Finite-Index Grammars, Ambiguity, and Commutative Regularity

Authors: Arturo Carpi, Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan

Comments: 28 pages, 4 images

Journal-ref: Theoretical Computer Science 862, 97--118 (2021)

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

Wed, 7 Dec 2022

[7]  arXiv:2212.02754 (cross-list from cs.PL) [pdf, ps, other]

Title: Automatically Transform Rust Source to Petri Nets for Checking Deadlocks

Authors: Kaiwen Zhang, Guanjun Liu

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

Tue, 6 Dec 2022

[8]  arXiv:2212.02380 [pdf, other]

Title: Complexity of the emptiness problem for graph-walking automata and for tilings with star subgraphs

Authors: Olga Martynova

Comments: 29 pages, 4 figures

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

[9]  arXiv:2212.01944 [pdf, other]

Title: Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models

Authors: Yunhao Yang, Jean-Raphaël Gaglione, Ufuk Topcu

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

[10]  arXiv:2212.02317 (cross-list from cs.LO) [pdf, other]

Title: Word Equations in Synergy with Regular Constraints (Technical Report)

Authors: František Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč

Comments: To appear in Proc. of FM'23

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

[11]  arXiv:2212.01679 (cross-list from cs.LO) [pdf, other]

Title: Approximation and Semantic Tree-width of Conjunctive Regular Path Queries

Authors: Diego Figueira, Rémi Morvan

Comments: Long version of a paper accepted at ICDT 2023

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

Mon, 5 Dec 2022

[12]  arXiv:2212.01301 [pdf, ps, other]

Title: Semilinearity of Families of Languages

Authors: Oscar H. Ibarra, Ian McQuillan

Comments: 20 pages

Journal-ref: International Journal of Foundations of Computer Science, 31 (8), 1179-1198 (2020)

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

[13]  arXiv:2212.00897 [pdf, ps, other]

Title: Generalizations of Checking Stack Automata: Characterizations and Hierarchies

Authors: Oscar H. Ibarra, Ian McQuillan

Comments: 28 pages

Journal-ref: International Journal of Foundations of Computer Science, 32 (5), 481-508, (2021)

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

[14]  arXiv:2212.00891 [pdf, ps, other]

Title: Space Complexity of Stack Automata Models

Authors: Oscar H. Ibarra, Jozef Jirásek, Ian McQuillan, Luca Prigioniero

Comments: 23 pages, 1 figure, 2 tables

Journal-ref: International Journal of Foundations of Computer Science, 32 (6), 801--823 (2021)

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

[15]  arXiv:2212.00916 (cross-list from cs.LO) [pdf, other]

Title: Learning Temporal Logic Properties: an Overview of Two Recent Methods

Authors: Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

Comments: Appears in Proceedings of AAAI FSS-22 Symposium "Lessons Learned for Autonomous Assessment of Machine Abilities (LLAAMA)"

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

• Fri, 9 Dec 2022
• Thu, 8 Dec 2022
• Wed, 7 Dec 2022
• Tue, 6 Dec 2022
• Mon, 5 Dec 2022