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 ]

Fri, 17 Nov 2017

[1]  arXiv:1711.06065 [pdf, other]
Title: Automata in the Category of Glued Vector Spaces
Comments: 15 pages, knowledge enriched version of the MFCS 2017 proceedings paper
Subjects: Formal Languages and Automata Theory (cs.FL)
[2]  arXiv:1711.05994 [pdf, ps, other]
Title: Singular value automata and approximate minimization
Subjects: Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:1711.06120 (cross-list from cs.LO) [pdf, ps, other]
Title: Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Comments: This paper extends and strengthens a preliminary version from FSTTCS'12
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

Thu, 16 Nov 2017

[4]  arXiv:1711.05408 [pdf, other]
Title: Recurrent Neural Networks as Weighted Language Recognizers
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Computation and Language (cs.CL)
[5]  arXiv:1711.05525 (cross-list from math.GR) [pdf, ps, other]
Title: On the insertion of n-powers
Authors: J. Almeida, O. Klíma
Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)

Wed, 15 Nov 2017

[6]  arXiv:1711.03993 (cross-list from cs.CC) [pdf, other]
Title: A superpolynomial lower bound for the size of non-deterministic complement of an unambiguous automaton
Authors: Michael Raskin
Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

Thu, 9 Nov 2017

[7]  arXiv:1711.03063 [pdf, ps, other]
Title: Automata Minimization: a Functorial Approach
Comments: 17 pages, knowledge enriched version of the CALCO 2017 proceedings paper
Subjects: Formal Languages and Automata Theory (cs.FL)

Wed, 8 Nov 2017

[8]  arXiv:1711.02456 (cross-list from cs.LO) [pdf, other]
Title: Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos
Comments: 24 pages
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)
[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)