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:2302.01009 [pdf, ps, other]: Title: String Compression in FA-Presentable Structures

Authors: Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan

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

Authors: Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez

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

Authors: Paweł Gawrychowski, Samah Ghazawi, Gad M. Landau

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

[4] arXiv:2302.00200 [pdf, other]: Title: A Transaction Represented with Weighted Finite-State Transducers

Authors: J. Nathaniel Holmes, Homayoon Beigi

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

Authors: Narad Rampersad, Jeffrey Shallit

Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

[6] arXiv:2301.13543 [pdf, other]: Title: Coverability in 2-VASS with One Unary Counter is in NP

Authors: Filip Mazowiecki, Henry Sinclair-Banks, Karol Węgrzycki

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

Authors: Prince Mathew, Vincent Penelle, Prakash Saivasan, A.V. Sreejith

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

Authors: Collin Bleak, Feyishayo Olukoya

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

Authors: Ritam Ganguly, Borzoo Bonakdarpour

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

[10] arXiv:2301.13054 [pdf, ps, other]: Title: Monadic Expressions and their Derivatives [extended version]

Authors: Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart

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)

Authors: Lukáš Holík, Juraj Síč, Lenka Turoňová, Tomáš Vojnar

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

Authors: Shreekanth M Prabhu, Abhisek Midye

Comments: 37 Pages, 16 Figures, 23 Tables

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

[13] arXiv:2301.11723 (cross-list from cs.SE) [pdf, other]: Title: Program Dependence Net and Its Slice for Verifying Linear Temporal Properties

Authors: Zhijun Ding, Shuo Li, Cheng Chen, Cong He

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

Authors: Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan

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 ]