Formal Languages and Automata Theory

Authors and titles for January 2015

[1] arXiv:1501.00507 [pdf, other]

Title: Defining and composing big state machines

Victor Yodaiken

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

[2] arXiv:1501.00569 [pdf, other]

Title: A Transfer Theorem for the Separation Problem

Thomas Place, Marc Zeitoun

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

[3] arXiv:1501.01118 [pdf, other]

Title: *-Continuous Kleene $ω$-Algebras

Zoltán Ésik, Uli Fahrenberg (INRIA), Axel Legay (INRIA)

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

[4] arXiv:1501.01300 [pdf, other]

Title: Minimum Probabilistic Finite State Learning Problem on Finite Data Sets: Complexity, Solution and Approximations

Elisabeth Paulson, Christopher Griffin

Comments: Updated from original paper with improved proofs of result

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)

[5] arXiv:1501.01429 [pdf, other]

Title: Online Computation of Abelian Runs

Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Élise Prieur-Gaston

Comments: To appear in the Proceedings of LATA 2015

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[6] arXiv:1501.02795 [pdf, other]

Title: Scanning and Parsing Languages with Ambiguities and Constraints: The Lamb and Fence Algorithms

Luis Quesada, Fernando Berzal, Francisco J. Cortijo

Comments: arXiv admin note: text overlap with arXiv:1111.3970, arXiv:1110.1470

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

[7] arXiv:1501.02834 [pdf, other]

Title: Generalized Eilenberg Theorem I: Local Varieties of Languages

Jiri Adamek, Stefan Milius, Robert Myers, Henning Urbat

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

[8] arXiv:1501.02997 [pdf, other]

Title: Profinite Techniques for Probabilistic Automata and the Markov Monoid Algorithm

Nathanaël Fijalkow

Comments: Conference version: STACS'2016, Symposium on Theoretical Aspects of Computer Science Journal version: TCS'2017, Theoretical Computer Science

Journal-ref: Theoretical Computer Science 680C, 2017

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

[9] arXiv:1501.03458 [pdf, other]

Title: The ModelCC Model-Based Parser Generator

Luis Quesada, Fernando Berzal, Juan-Carlos Cubero

Comments: arXiv admin note: substantial text overlap with arXiv:1111.3970, arXiv:1501.02038

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

[10] arXiv:1501.03602 [pdf, other]

Title: Equation $x^iy^jx^k=u^iv^ju^k$ in words

Jana Hadravová, Štěpán Holub

Journal-ref: LATA 2015, LNCS 8977 414-423

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

[11] arXiv:1501.03895 [pdf, other]

Title: Root-Weighted Tree Automata and their Applications to Tree Kernels

Ludovic Mignot, Nadia Ouali-Sebti, Djelloul Ziadi

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

[12] arXiv:1501.03988 [pdf, other]

Title: A One-Dimensional Physically Universal Cellular Automaton

Ville Salo, Ilkka Törmä

Comments: 17 pages, 6 figures. Corrected an error in a figure

Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)

[13] arXiv:1501.04245 [pdf, other]

Title: Complexity of Problems of Commutative Grammars

Eryk Kopczynski (University of Warsaw)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 1 (March 25, 2015) lmcs:875

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

[14] arXiv:1501.04777 [pdf, other]

Title: Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions

ShouGuang Wang, Dan You, MengChu Zhou, Carla Seatsu

Comments: 13 pages,13 figures, and the second version of TAC

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

[15] arXiv:1501.04835 [pdf, other]

Title: Regularity Preserving but not Reflecting Encodings

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks

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

[16] arXiv:1501.05180 [pdf, other]

Title: Varieties of Languages in a Category

Jiri Adamek, Stefan Milius, Robert Myers, Henning Urbat

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

[17] arXiv:1501.05843 [pdf, other]

Title: $\mathbb{N}$-algebraicity of zeta functions of sofic-Dyck shifts

Marie-Pierre Béal, Cǎtǎlin Dima

Comments: This paper has been withdrawn by the authors due to an error in the proof of the main result

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

[18] arXiv:1501.06841 [pdf, other]

Title: A Canonical Form for Weighted Automata and Applications to Approximate Minimization

Borja Balle, Prakash Panangaden, Doina Precup

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

[19] arXiv:1501.07131 [pdf, other]

Title: Consensus Game Acceptors and Iterated Transductions

Dietmar Berwanger, Marie van den Bogaard

Comments: 22 pages; extended version of a paper presented at DLT 2015: "Consensus Game Acceptors"

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

[20] arXiv:1501.07464 [pdf, other]

Title: Abelian bordered factors and periodicity

Emilie Charlier, Tero Harju, Svetlana Puzynina, Luca Zamboni

Comments: 14 pages

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

[21] arXiv:1501.07686 [pdf, other]

Title: Construction of rational expression from tree automata using a generalization of Arden's Lemma

Younes Guellouma, Ludovic Mignot, Hadda Cherroun, Djelloul Ziadi

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

[22] arXiv:1501.02038 (cross-list from cs.PL) [pdf, other]

Title: The ModelCC Model-Driven Parser Generator

Fernando Berzal (Universidad de Granada), Francisco J. Cortijo (Universidad de Granada), Juan-Carlos Cubero (Universidad de Granada), Luis Quesada (Universidad de Granada)

Comments: In Proceedings PROLE 2014, arXiv:1501.01693

Journal-ref: EPTCS 173, 2015, pp. 56-70

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

[23] arXiv:1501.04060 (cross-list from quant-ph) [pdf, other]

Title: Analysis of Quantum Particle Automata for Solving the Density Classification Problem

Tina Yu, Radel Ben-Av

Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)

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

Title: Thompson's group F is 1-counter graph automatic

Murray Elder, Jennifer Taback

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

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

Title: !-Graphs with Trivial Overlap are Context-Free

Aleks Kissinger (University of Oxford), Vladimir Zamdzhiev (University of Oxford)

Comments: In Proceedings GaM 2015, arXiv:1504.02448

Journal-ref: EPTCS 181, 2015, pp. 16-31

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

[26] arXiv:1501.06328 (cross-list from nlin.CG) [pdf, other]

Title: A weakly universal cellular automaton with 2 states on the tiling {11,3}

Maurice Margenstern

Comments: 31 pages, 22 figures, 19 tables

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Formal Languages and Automata Theory (cs.FL)