Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.FL

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Formal Languages and Automata Theory

Authors and titles for May 2016

Total of 27 entries
Showing up to 50 entries per page: fewer | more | all
[1] arXiv:1605.00186 [pdf, other]
Title: Linear Distances between Markov Chains
Przemysław Daca, Thomas A. Henzinger, Jan Křetínský, Tatjana Petrov
Subjects: Formal Languages and Automata Theory (cs.FL)
[2] arXiv:1605.00371 [pdf, other]
Title: The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
Lorenzo Clemente, Paweł Parys, Sylvain Salvati, Igor Walukiewicz
Comments: technical report; to appear in LICS'16
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[3] arXiv:1605.00817 [pdf, other]
Title: Derivatives for Enhanced Regular Expressions
Peter Thiemann
Comments: To appear in CIAA 2016
Subjects: Formal Languages and Automata Theory (cs.FL)
[4] arXiv:1605.01497 [pdf, other]
Title: The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach
Yu-Fang Chen, Lei Song, Zhilin Wu
Subjects: Formal Languages and Automata Theory (cs.FL)
[5] arXiv:1605.01530 [pdf, other]
Title: Derived-term Automata for Extended Weighted Rational Expressions
Akim Demaille
Comments: 21 pages
Subjects: Formal Languages and Automata Theory (cs.FL)
[6] arXiv:1605.01810 [pdf, other]
Title: Schützenberger Products in a Category
Liang-Ting Chen, Henning Urbat
Subjects: Formal Languages and Automata Theory (cs.FL)
[7] arXiv:1605.02628 [pdf, other]
Title: Topological language for RNA
Fenix W.D. Huang, Christian M. Reidys
Comments: 29 pages, 13 figures, 1 table
Subjects: Formal Languages and Automata Theory (cs.FL); Biomolecules (q-bio.BM)
[8] arXiv:1605.03149 [pdf, other]
Title: The complexity of downward closure comparisons
Georg Zetzsche
Comments: 24 pages, to appear in proceedings of ICALP 2016
Subjects: Formal Languages and Automata Theory (cs.FL)
[9] arXiv:1605.04343 [pdf, other]
Title: A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
Adam Yedidia, Scott Aaronson
Comments: 31 pages, 6 figures, with the last 10 pages devoted to bibliography and appendices. Submitted to Complex Systems
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[10] arXiv:1605.04835 [pdf, other]
Title: On the Gap Between Separating Words and Separating Their Reversals
Farzam Ebrahimnejad
Comments: 22 pages, 2 figures
Journal-ref: Theor. Comput. Sci., 711 (2018) 79-91
Subjects: Formal Languages and Automata Theory (cs.FL)
[11] arXiv:1605.05963 [pdf, other]
Title: Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus
Comments: Computer Aided Verification 2017
Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[12] arXiv:1605.06697 [pdf, other]
Title: Complexity of Prefix-Convex Regular Languages
Janusz Brzozowski, Corwin Sinnamon
Comments: 39 pages, 16 figures, one table, corrected Conclusions and Table 1
Subjects: Formal Languages and Automata Theory (cs.FL)
[13] arXiv:1605.07061 [pdf, other]
Title: On Restricted Nonnegative Matrix Factorization
Dmitry Chistikov, Stefan Kiefer, Ines Marušić, Mahsa Shirmohammadi, James Worrell
Comments: Full version of an ICALP'16 paper
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Machine Learning (cs.LG)
[14] arXiv:1605.07224 [pdf, other]
Title: A Free Energy Foundation of Semantic Similarity in Automata and Languages
Cewei Cui, Zhe Dang
Subjects: Formal Languages and Automata Theory (cs.FL)
[15] arXiv:1605.07805 [pdf, other]
Title: Learning Moore Machines from Input-Output Traces
Georgios Giantamidis, Stavros Tripakis
Subjects: Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[16] arXiv:1605.08288 [pdf, other]
Title: A counterexample to Thiagarajan's conjecture on regular event structures
Jérémie Chalopin, Victor Chepoi
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[17] arXiv:1605.09061 [pdf, other]
Title: Construction of Non-expandable Non-overlapping Sets of Pictures
Marcella Anselmo, Dora Giammarresi, Maria Madonia
Subjects: Formal Languages and Automata Theory (cs.FL)
[18] arXiv:1605.09133 [pdf, other]
Title: Amenability of groups is characterized by Myhill's Theorem
Laurent Bartholdi, Dawid Kielak
Comments: 2nd version including results on Ore domains
Subjects: Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)
[19] arXiv:1605.09579 [pdf, other]
Title: On level-transitivity and exponential growth
Ines Klimann (IRIF)
Subjects: Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)
[20] arXiv:1605.00092 (cross-list from cs.DM) [pdf, other]
Title: Discriminators and k-Regular Sequences
Sajed Haque, Jeffrey Shallit
Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT)
[21] arXiv:1605.00618 (cross-list from cs.NI) [pdf, other]
Title: CAIR: Using Formal Languages to Study Routing, Leaking, and Interception in BGP
Johann Schlamp, Matthias Wählisch, Thomas C. Schmidt, Georg Carle, Ernst W. Biersack
Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)
[22] arXiv:1605.00950 (cross-list from cs.LO) [pdf, other]
Title: Markov Chains and Unambiguous Automata
Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell
Comments: 38 pages, accepted at JCSS. The first version (v1), 50 pages, is the full version of a paper accepted at CAV 2016
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[23] arXiv:1605.02361 (cross-list from math.CO) [pdf, other]
Title: On the subword complexity of the fixed point of $a \rightarrow aab$, $b \rightarrow b$, and generalizations
J.-P. Allouche, J. Shallit
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT)
[24] arXiv:1605.03045 (cross-list from cs.LO) [pdf, other]
Title: Definability equals recognizability for graphs of bounded treewidth
Mikołaj Bojańczyk, Michał Pilipczuk
Comments: 21 pages, an extended abstract will appear in the proceedings of LICS 2016
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
[25] arXiv:1605.04400 (cross-list from cs.LO) [pdf, other]
Title: An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[26] arXiv:1605.04697 (cross-list from math.CO) [pdf, other]
Title: Colored operads, series on colored operads, and combinatorial generating systems
Samuele Giraudo
Comments: 48 pages
Journal-ref: Discrete Mathematics, 342, Issue 6, 1624--1657, 2019
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)
[27] arXiv:1605.07753 (cross-list from cs.GT) [pdf, other]
Title: Deciding Maxmin Reachability in Half-Blind Stochastic Games
Edon Kelmendi (LaBRI), Hugo Gimbert (LaBRI)
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
Total of 27 entries
Showing up to 50 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack