We gratefully acknowledge support from
the Simons Foundation and member institutions.

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 ]

Fri, 9 Dec 2022

[1]  arXiv:2212.04218 [pdf, other]
Title: Structural Reductions and Stutter Sensitive Properties
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
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
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
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?
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
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
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
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)
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
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
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
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
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
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)
[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2212, contact, help  (Access key information)