We gratefully acknowledge support from
the Simons Foundation
and member institutions

Formal Languages and Automata Theory

Authors and titles for recent submissions

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

Fri, 16 Feb 2018

[1]  arXiv:1802.05490 (cross-list from cs.DS) [pdf, ps, other]
Title: Grammar-based Compression of Unranked Trees
Comments: Extended version of a paper at CSR 2018
Subjects: Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

Thu, 15 Feb 2018

[2]  arXiv:1802.04866 (cross-list from cs.SY) [pdf, other]
Title: Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report)
Comments: 20 pages, 11 figures
Subjects: Systems and Control (cs.SY); Formal Languages and Automata Theory (cs.FL); Optimization and Control (math.OC)

Wed, 14 Feb 2018

[3]  arXiv:1802.04708 [pdf, other]
Title: Lengths of Words Accepted by Nondeterministic Finite Automata
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)

Tue, 13 Feb 2018

[4]  arXiv:1802.03436 [pdf, other]
Title: The language (and series) of Hammersley-type processes
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)
[5]  arXiv:1802.04067 (cross-list from cs.LO) [pdf, ps, other]
Title: Alternating Nonzero Automata
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

Thu, 8 Feb 2018

[6]  arXiv:1802.02533 (cross-list from math.CO) [pdf, ps, other]
Title: Factors of generalised polynomials and automatic sequences
Comments: 6 pages
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)
[ total of 6 entries: 1-6 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)