Formal Languages and Automata Theory

Authors and titles for cs.FL in Nov 2015

[1]  arXiv:1511.00157 [pdf, ps, other]

Title: Most Complex Regular Ideal Languages

Authors: Janusz Brzozowski, Sylvie Davies, Bo Yang Victor Liu

Comments: 25 pages, 11 figures. To appear in Discrete Mathematics and Theoretical Computer Science. arXiv admin note: text overlap with arXiv:1311.4448

Journal-ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Automata, Logic and Semantics (October 17, 2016) dmtcs:1343

Subjects: Formal Languages and Automata Theory (cs.FL)

[2]  arXiv:1511.00289 [pdf, ps, other]

Title: Invisible pushdown languages

Authors: Eryk Kopczynski

Subjects: Formal Languages and Automata Theory (cs.FL)

[3]  arXiv:1511.00909 [pdf, ps, other]

Title: Data Language Specification via Terminal Attribution

Authors: Alexander Sakharov, Timothy Sakharov

Comments: This is a detailed description of tier grammar properties including proofs. Tier grammars are defined in paper 'Data Parsing Using Tier Grammars' by the same authors, appearing in the Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, Lisbon, Portugal (2015), 463-468

Subjects: Formal Languages and Automata Theory (cs.FL)

[4]  arXiv:1511.02147 [pdf, ps, other]

Title: Profinite Monads, Profinite Equations, and Reiterman's Theorem

Authors: Liang-Ting Chen, Jiri Adamek, Stefan Milius, Henning Urbat

Comments: Accepted for presentation at FoSSaCS'16

Subjects: Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT)

[5]  arXiv:1511.03595 [pdf, other]

Title: Optimised determinisation and completion of finite tree automata

Authors: John P. Gallagher, Mai Ajspur, Bishoksan Kafle

Subjects: Formal Languages and Automata Theory (cs.FL)

[6]  arXiv:1511.04172 [pdf, other]

Title: Timed Automata for Modelling Caches and Pipelines

Authors: Franck Cassez (Macquarie University, Sydney, Australia), Pablo González de Aledo Marugán (University of Cantabria, Santander, Spain)

Comments: In Proceedings MARS 2015, arXiv:1511.02528

Journal-ref: EPTCS 196, 2015, pp. 37-45

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[7]  arXiv:1511.04893 [pdf, ps, other]

Title: Context-Free Commutative Grammars with Integer Counters and Resets

Authors: Dmitry Chistikov, Christoph Haase, Simon Halfon

Comments: 33 pages

Subjects: Formal Languages and Automata Theory (cs.FL)

[8]  arXiv:1511.05070 [pdf, ps, other]

Title: Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results

Authors: Mohammad Izadi, Saeed Masoudian, Sahand Mozaffari

Subjects: Formal Languages and Automata Theory (cs.FL)

[9]  arXiv:1511.05770 [pdf, ps, other]

Title: On LR(k)-parsers of polynomial size

Authors: Norbert Blum

Comments: An extended abstract of this paper appeared in 37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010, Proceedings, Part II, LNCS 6199, pp. 163--174, Springer-Verlag Berlin Heidelberg 2010

Subjects: Formal Languages and Automata Theory (cs.FL)

[10]  arXiv:1511.08396 [pdf, ps, other]

Title: On Basic Properties of Jumping Finite Automata

Authors: Vojtěch Vorel

Subjects: Formal Languages and Automata Theory (cs.FL)

[11]  arXiv:1511.08642 [pdf, ps, other]

Title: Two Results on Discontinuous Input Processing

Authors: Vojtěch Vorel

Subjects: Formal Languages and Automata Theory (cs.FL)

[12]  arXiv:1511.09011 [pdf, ps, other]

Title: Quantifier Alternation for Infinite Words

Authors: Théo Pierron, Thomas Place, Marc Zeitoun

Subjects: Formal Languages and Automata Theory (cs.FL)

[13]  arXiv:1511.09079 [pdf, ps, other]

Title: Synchronizing automata and principal eigenvectors of the underlying digraphs

Authors: Vladimir V. Gusev, Elena V. Pribavkina

Comments: 11 pages, preliminary version

Subjects: Formal Languages and Automata Theory (cs.FL)

[14]  arXiv:1511.09405 [pdf, other]

Title: Decidability of regular language genus computation

Authors: Guillaume Bonfante, Florian Deloup

Comments: 22 pages, 13 figures

Journal-ref: Math. Struct. Comp. Sci. 29 (2019) 1428-1443

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[15]  arXiv:1511.00422 (cross-list from cs.DM) [pdf, other]

Title: Abelian logic gates

Authors: Alexander E. Holroyd, Lionel Levine, Peter Winkler

Comments: 35 pages, many figures. v2 revised for referee comments, to appear in Combinatorics, Probability and Computing

Journal-ref: Combinator. Probab. Comp. 28 (2019) 388-422

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

[16]  arXiv:1511.00523 (cross-list from cs.GT) [pdf, ps, other]

Title: Minimizing Regret in Discounted-Sum Games

Authors: Paul Hunter, Guillermo A. Pérez, Jean-François Raskin

Comments: arXiv admin note: text overlap with arXiv:1504.01708; some typos have been removed in the proof of simple strategies being sufficient to minimize regret against any adversary

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[17]  arXiv:1511.00647 (cross-list from cs.SY) [pdf, ps, other]

Title: Strategy Synthesis for Stochastic Rabin Games with Discounted Reward

Authors: Min Wen, Ufuk Topcu

Comments: 17 pages, 3 figures, submitted to TACAS

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)

[18]  arXiv:1511.01442 (cross-list from cs.LG) [pdf, other]

Title: Low-Rank Approximation of Weighted Tree Automata

Authors: Guillaume Rabusseau, Borja Balle, Shay B. Cohen

Comments: To appear in AISTATS 2016

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL)

[19]  arXiv:1511.01807 (cross-list from cs.LO) [pdf, other]

Title: The height of piecewise-testable languages and the complexity of the logic of subwords

Authors: Prateek Karandikar, Philippe Schnoebelen

Comments: This article is a full version of "The height of piecewise-testable languages with applications in logical complexity", in Proc. CSL 2016, LIPiCS 62:37

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (April 30, 2019) lmcs:4850

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[20]  arXiv:1511.08447 (cross-list from cs.LO) [pdf, ps, other]

Title: Decidability and Complexity for Quiescent Consistency and its Variations

Authors: Brijesh Dongol, Robert M. Hierons

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[21]  arXiv:1511.09450 (cross-list from cs.LO) [pdf, ps, other]

Title: Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time

Authors: Leander Tentrup, Alexander Weinert, Martin Zimmermann

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 302-315

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[22]  arXiv:1511.01630 (cross-list from math.GR) [pdf, other]

Title: Cayley automatic representations of wreath products

Authors: Dmitry Berdinsky, Bakhadyr Khoussainov

Comments: Final version, to appear in the International Journal of Foundations of Computer Science

Journal-ref: Berdinsky D., Khoussainov B., "Cayley automatic representations of wreath products", International Journal of Foundations of Computer Science, V. 27, N 2, pp. 147-159 (2016)

Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)

[23]  arXiv:1511.05875 (cross-list from math.CO) [pdf, ps, other]

Title: Avoiding two consecutive blocks of same size and same sum over $\mathbb{Z}^2$

Authors: Michaël Rao, Matthieu Rosenfeld

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

[24]  arXiv:1511.06569 (cross-list from math.CO) [pdf, ps, other]

Title: Hankel Matrices for the Period-Doubling Sequence

Authors: Robbert J. Fokkink, Cor Kraaikamp, Jeffrey Shallit

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

[25]  arXiv:1511.07535 (cross-list from math.CO) [pdf, ps, other]

Title: Regular sequences and the joint spectral radius

Authors: Michael Coons

Comments: 5 pages

Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)