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

Formal Languages and Automata Theory

Authors and titles for recent submissions

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

Thu, 27 Feb 2020

[1]  arXiv:2002.11510 [pdf, ps, other]
Title: Buchi automata augmented with spatial constraints: simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter
Authors: Amar Isli
Comments: See footnote 1 on the first page of the paper. arXiv admin note: substantial text overlap with arXiv:cs/0307040
Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)

Wed, 26 Feb 2020

[2]  arXiv:2002.10783 (cross-list from cs.DC) [pdf, other]
Title: Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes
Comments: Technical report for near optimal task graph scheduling using Uppaal Cora and Uppaal Stratego
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

Tue, 25 Feb 2020

[3]  arXiv:2002.10303 [pdf, ps, other]
Title: Wheeler Languages
Subjects: Formal Languages and Automata Theory (cs.FL)
[4]  arXiv:2002.09942 [pdf, ps, other]
Title: How Good Is a Strategy in a Game With Nature?
Journal-ref: ACM Transactions on Computational Logic, Vol. 21, No 3, Article 21, pp. 1-39, February 2020
Subjects: Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[5]  arXiv:2002.09877 [pdf, other]
Title: Automata for Hyperlanguages
Comments: 12 pages of main paper and another 10 pages appendix
Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL)
[6]  arXiv:2002.09509 (cross-list from math.NT) [pdf, ps, other]
Title: Gowers norms for automatic sequences
Comments: 50 pages
Subjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO); Dynamical Systems (math.DS)

Mon, 24 Feb 2020

[7]  arXiv:2002.09393 [pdf, ps, other]
Title: Extensions of $ω$-Regular Languages
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[8]  arXiv:2002.09307 [pdf, other]
Title: First-order tree-to-tree functions
Comments: 43 pages
Subjects: Formal Languages and Automata Theory (cs.FL)

Fri, 21 Feb 2020

[9]  arXiv:2002.08754 [pdf, ps, other]
Title: Combining Partial Specifications using Alternating Interface Automata
Authors: Ramon Janssen
Subjects: Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2002.08633 [pdf, other]
Title: Multiplicity Equivalence Testing of Automata over Partially Commutative Monoids
Subjects: Formal Languages and Automata Theory (cs.FL)
[11]  arXiv:2002.08630 [pdf, other]
Title: On polynomial recursive sequences
Subjects: Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:2002.08828 (cross-list from cs.DB) [pdf, other]
Title: The Complexity of Aggregates over Extractions by Regular Expressions
Subjects: Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[13]  arXiv:2002.08646 (cross-list from cs.LO) [pdf, ps, other]
Title: From Stateless to Stateful Priorities: Technical Report
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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