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 ]

[1] arXiv:2301.11242 [pdf, other]: Title: Regular Separability in Büchi VASS

Authors: Pascal Baumann, Roland Meyer, Georg Zetzsche

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

Authors: Pierre Béaur, Jarkko Kari

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$^+$

Authors: Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira

Comments: 51 pages

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

[4] arXiv:2301.10691 [pdf, ps, other]: Title: A weakly universal weighted cellular automaton in the heptagrid with 7 states

Authors: Maurice Margenstern

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

Authors: David Chiang, Peter Cholak, Anand Pillay

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

Authors: Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)

[7] arXiv:2301.10198 [pdf, other]: Title: Unboundedness problems for machines with reversal-bounded counters

Authors: Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche

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

Authors: Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine

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

[10] arXiv:2301.09234 [pdf, other]: Title: Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs

Authors: Sandra Kiefer, Lê Thành Dũng Nguyên, Cécilia Pradic

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 ]