We gratefully acknowledge support from
the Simons Foundation
and member institutions

Formal Languages and Automata Theory

Authors and titles for recent submissions

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

Fri, 20 Oct 2017

[1]  arXiv:1710.07261 (cross-list from math.NT) [pdf, ps, other]
Title: A density version of Cobham's theorem
Comments: 10 pages
Subjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

Thu, 19 Oct 2017

[2]  arXiv:1710.06678 [pdf, ps, other]
Title: LTL Semantic Tableaux and Alternating $ω$-automata via Linear Factors
Subjects: Formal Languages and Automata Theory (cs.FL)

Wed, 18 Oct 2017

[3]  arXiv:1710.06000 [pdf, ps, other]
Title: State Complexity of Overlap Assembly
Subjects: Formal Languages and Automata Theory (cs.FL)

Tue, 17 Oct 2017

[4]  arXiv:1710.05061 [pdf, ps, other]
Title: A New Technique for Reachability of States in Concatenation Automata
Authors: Sylvie Davies
Comments: 23 pages, 1 table. Added missing affiliation/funding information
Subjects: Formal Languages and Automata Theory (cs.FL)
[5]  arXiv:1710.05633 (cross-list from cs.LO) [pdf, ps, other]
Title: Symmetric Synthesis
Comments: Full Version of the paper with the same name accepted at FSTTCS 2017
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

Fri, 13 Oct 2017

[6]  arXiv:1710.04597 [pdf, ps, other]
Title: A Topological proof that $O_2$ is $2$-MCFL
Comments: 11 figures, 2 tables
Subjects: Formal Languages and Automata Theory (cs.FL); Algebraic Topology (math.AT)
[7]  arXiv:1710.04551 [pdf, ps, other]
Title: The Trees of Hanoi
Authors: Joost Engelfriet
Comments: 11 pages, slightly revised version of a note from 1981
Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS); History and Overview (math.HO)
[8]  arXiv:1710.04490 [pdf, ps, other]
Title: Average Stack Cost of Buechi Pushdown Automata
Comments: A conference version of this paper has been accepted to FSTTCS 2017
Subjects: Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:1710.04313 [pdf, ps, other]
Title: Generic Results for Concatenation Hierarchies
Subjects: Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:1710.04247 (cross-list from math.NT) [pdf, ps, other]
Title: Lagrange's Theorem for Binary Squares
Subjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL)
[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)