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

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Wed, 24 Nov 2021

[1]  arXiv:2111.12040 [pdf, other]
Title: Generating Tree Structures for Hyperbolic Tessellations
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Geometry (cs.CG); Cellular Automata and Lattice Gases (nlin.CG)

Mon, 22 Nov 2021

[2]  arXiv:2111.10318 [pdf, other]
Title: Max-algebraic hybrid automata: Modelling and equivalences
Comments: 13 pages, 6 figures, submitted to Automatica
Subjects: Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
[3]  arXiv:2111.10214 [pdf, other]
Title: Homomorphisms on graph-walking automata
Subjects: Formal Languages and Automata Theory (cs.FL)

Thu, 18 Nov 2021

[4]  arXiv:2111.09022 [pdf, ps, other]
Title: Context-Bounded Verification of Thread Pools
Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[5]  arXiv:2111.09253 (cross-list from math.CO) [pdf, other]
Title: Prefixes of the Fibonacci word that end with a cube
Authors: Narad Rampersad
Comments: 7 pages, minor edits to "motivation" of the problem
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)

Wed, 17 Nov 2021

[6]  arXiv:2111.08204 [pdf, other]
Title: Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
Authors: Andrea Bombarda (University of Bergamo), Silvia Bonfanti (University of Bergamo), Angelo Gargantini (University of Bergamo), Elvinia Riccobene (University of Milano)
Comments: In Proceedings AppFM 2021, arXiv:2111.07538
Journal-ref: EPTCS 349, 2021, pp. 13-29
Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

Tue, 16 Nov 2021

[7]  arXiv:2111.07857 (cross-list from math.CO) [pdf, ps, other]
Title: Extending Dekking's construction of an infinite binary word avoiding abelian $4$-powers
Comments: 11 pages
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2111.06967 (cross-list from cs.CC) [src]
Title: CSAT is not in P
Authors: Fabio Romano
Comments: Uncorrect proof
Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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