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, 3 Feb 2023

[1]  arXiv:2302.01009 [pdf, ps, other]
Title: String Compression in FA-Presentable Structures
Comments: 14 pages; accepted version
Journal-ref: Theoretical Computer Science, 947 (2023) 113705
Subjects: Formal Languages and Automata Theory (cs.FL)
[2]  arXiv:2302.00737 (cross-list from cs.DC) [pdf, other]
Title: A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms
Comments: 31 pages
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:2302.00724 (cross-list from cs.DS) [pdf, other]
Title: Order-Preserving Squares in Strings
Subjects: Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

Thu, 2 Feb 2023

[4]  arXiv:2302.00200 [pdf, other]
Title: A Transaction Represented with Weighted Finite-State Transducers
Comments: 2 figures, 3 tables, 2 appendices, Recognition Technologies, Inc. Technical Report
Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Rings and Algebras (math.RA)
[5]  arXiv:2302.00405 (cross-list from math.NT) [pdf, other]
Title: Rudin-Shapiro Sums Via Automata Theory and Logic
Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

Wed, 1 Feb 2023

[6]  arXiv:2301.13543 [pdf, other]
Title: Coverability in 2-VASS with One Unary Counter is in NP
Comments: Preprint for FoSSaCS'23 containing 20 pages and 7 figures
Subjects: Formal Languages and Automata Theory (cs.FL)
[7]  arXiv:2301.13456 [pdf, ps, other]
Title: One Deterministic-Counter Automata
Comments: 35 pages
Subjects: Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2301.13570 (cross-list from math.GR) [pdf, ps, other]
Title: Conjugacy for certain automorphisms of the one-sided shift via transducers
Comments: 53 Pages, 12 figures
Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)
[9]  arXiv:2301.13266 (cross-list from cs.DC) [pdf, ps, other]
Title: Stream-based Decentralized Runtime Verification
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

Tue, 31 Jan 2023

[10]  arXiv:2301.13054 [pdf, ps, other]
Title: Monadic Expressions and their Derivatives [extended version]
Comments: arXiv admin note: substantial text overlap with arXiv:2208.14724
Subjects: Formal Languages and Automata Theory (cs.FL)
[11]  arXiv:2301.12851 [pdf, ps, other]
Title: Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report)
Comments: A preliminary extended version of a paper accepted to FoSSaCS'23
Subjects: Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:2301.12463 (cross-list from cs.CL) [pdf]
Title: Linguistic Analysis using Paninian System of Sounds and Finite State Machines
Comments: 37 Pages, 16 Figures, 23 Tables
Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

Mon, 30 Jan 2023

[13]  arXiv:2301.11723 (cross-list from cs.SE) [pdf, other]
Title: Program Dependence Net and Its Slice for Verifying Linear Temporal Properties
Comments: 37 pages, 6 figures
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[14]  arXiv:2301.11521 (cross-list from cs.LO) [pdf, ps, other]
Title: Stack-Aware Hyperproperties
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)
[15]  arXiv:2301.11473 (cross-list from math.CO) [pdf, other]
Title: Proof of a conjecture of Krawchuk and Rampersad
Authors: Jeffrey Shallit
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)
[ 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, 2302, contact, help  (Access key information)