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

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 14 entries: 1-10 | 11-14 ]
[ showing 10 entries per page: fewer | more | all ]

Fri, 27 Jan 2023

[1]  arXiv:2301.11242 [pdf, other]
Title: Regular Separability in Büchi VASS
Subjects: Formal Languages and Automata Theory (cs.FL)
[2]  arXiv:2301.11133 [pdf, ps, other]
Title: Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata
Comments: Extended version of the MFCS 2020 paper titled "Decidability in group shifts and group cellular automata"
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)
[3]  arXiv:2301.10875 (cross-list from cs.SE) [pdf, other]
Title: Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA$^+$
Comments: 51 pages
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)

Thu, 26 Jan 2023

[4]  arXiv:2301.10691 [pdf, ps, other]
Title: A weakly universal weighted cellular automaton in the heptagrid with 7 states
Comments: 45 pages, 24 figures. arXiv admin note: substantial text overlap with arXiv:2108.13094, arXiv:2104.01561, arXiv:2107.04843
Subjects: Formal Languages and Automata Theory (cs.FL)
[5]  arXiv:2301.10743 (cross-list from cs.LG) [pdf, other]
Title: Tighter Bounds on the Expressivity of Transformer Encoders
Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[6]  arXiv:2301.10485 (cross-list from cs.GT) [pdf, other]
Title: LTL Reactive Synthesis with a Few Hints
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)

Wed, 25 Jan 2023

[7]  arXiv:2301.10198 [pdf, other]
Title: Unboundedness problems for machines with reversal-bounded counters
Subjects: Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2301.09966 [pdf, ps, other]
Title: Word-Mappings of level $3$
Authors: G. Sénizergues
Comments: 43 pages. 1 figure
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[9]  arXiv:2301.09752 (cross-list from math.DS) [pdf, other]
Title: Reachability in Injective Piecewise Affine Maps
Subjects: Dynamical Systems (math.DS); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Tue, 24 Jan 2023 (showing first 1 of 2 entries)

[10]  arXiv:2301.09234 [pdf, other]
Title: Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs
Comments: 27 pages, not submitted yet
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[ total of 14 entries: 1-10 | 11-14 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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