Formal Languages and Automata Theory

Authors and titles for March 2016

[1] arXiv:1603.00361 [pdf, other]

Title: Piecewise Testable Languages and Nondeterministic Automata

Tomáš Masopust

Comments: Corrections in section 4.1

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

[2] arXiv:1603.01107 [pdf, other]

Title: Minimization of Büchi Automata using Fair Simulation

Daniel Tischner

Comments: Bachelor's thesis, 67 pages, 12 figures

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

[3] arXiv:1603.01455 [pdf, other]

Title: Nominal Automata with Name Binding

Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann

Comments: Updated arguments A.26/A.27; rest unchanged

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

[4] arXiv:1603.02481 [pdf, other]

Title: A Software Package for Chemically Inspired Graph Transformation

Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler

Subjects: Formal Languages and Automata Theory (cs.FL); Biomolecules (q-bio.BM); Molecular Networks (q-bio.MN)

[5] arXiv:1603.02597 [pdf, other]

Title: Prediction of Infinite Words with Automata

Tim Smith

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

[6] arXiv:1603.02928 [pdf, other]

Title: Weight Computation of Regular Tree Languages

Jochen Burghardt

Comments: 26 pages; 3 figures. Originally published 23 Mar 2004 as "FIRST Reports 1/2004". Section 4 essentially describes Knuth's algorithm from his paper "A Generalization of Dijkstra's Algorithm" (Information Processing Letters, Vol.6, No.1, p.1-5, 1977); I wasn't aware of its existence at that time

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

[7] arXiv:1603.02966 [pdf, other]

Title: Solutions of Word Equations over Partially Commutative Structures

Volker Diekert, Artur Jeż, Manfred Kufleitner, Alexander Thumm

Comments: 78 pages

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

[8] arXiv:1603.03059 [pdf, other]

Title: A ternary square-free sequence avoiding factors equivalent to $abcacba$

James D. Currie

Comments: 7 pages, 1 figure

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

[9] arXiv:1603.03610 [pdf, other]

Title: A short proof that $O_2$ is an MCFL

Mark-Jan Nederhof

Comments: 9 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL)

[10] arXiv:1603.04541 [pdf, other]

Title: Fuzzy alternating $\mathrm{B\ddot{u}chi}$ automata over distributive lattices

Xiujuan Wei, Yongming Li

Comments: 35 pages, 8 figures

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

[11] arXiv:1603.05376 [pdf, other]

Title: Operations on Weakly Recognizing Morphisms

Lukas Fleischer, Manfred Kufleitner

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

[12] arXiv:1603.05426 [pdf, other]

Title: A Short Note on Infinite Union/Intersection of Omega Regular Languages

Wanwei Liu

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

[13] arXiv:1603.06017 [pdf, other]

Title: Automatic Theorem Proving in Walnut

Hamoon Mousavi

Comments: Added a few more sections

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Combinatorics (math.CO)

[14] arXiv:1603.06236 [pdf, other]

Title: On the star-height of factor counting languages and their relationship to Rees zero-matrix semigroups

Tom Bourne, Nik Ruskuc

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

[15] arXiv:1603.06850 [pdf, other]

Title: Array Folds Logic

Przemysław Daca, Thomas A. Henzinger, Andrey Kupriyanov

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

[16] arXiv:1603.07217 [pdf, other]

Title: The trace monoids in the queue monoid and in the direct product of two free monoids

Dietrich Kuske, Olena Prianychnykova

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

[17] arXiv:1603.07790 [pdf, other]

Title: Weighted Pushdown Systems with Indexed Weight Domains

Yasuhiko Minamide

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 2 (June 29, 2016) lmcs:1641

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

[18] arXiv:1603.09185 [pdf, other]

Title: Homing Vector Automata

Özlem Salehi, A.C. Cem Say, Flavio D'Alessandro

Comments: This is the extended version of our paper homing vector automata arXiv:1504.04859

Journal-ref: RAIRO-Theoretical Informatics and Applications 50.4 (2016): 371-386

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

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

Title: Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity

M. Praveen, B. Srivathsan

Comments: Improvements from ICALP 2016 review comments

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

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

Title: Compositional model checking of concurrent systems, with Petri nets

Paweł Sobociński (University of Southampton)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 19-30

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

[21] arXiv:1603.01058 (cross-list from math.CO) [pdf, other]

Title: Rich square-free words

Jetro Vesti

Comments: 25 pages

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

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

Title: Measuring cones and other thick subsets in free groups

Elizaveta Frenkel, Vladimir N. Remeslennikov

Comments: 18 pages, 4 figures

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

[23] arXiv:1603.05072 (cross-list from cs.GT) [pdf, other]

Title: Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games

Mickael Randour

Comments: Accepted at GAMES 2016, the 5th World Congress of the Game Theory Society. High-level survey notably based on arXiv:1204.3283 and arXiv:1411.0835

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

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

Title: Summaries for Context-Free Games

Lukáš Holík, Roland Meyer, Sebastian Muskalla

Comments: The conference version of this paper was accepted for FSTTCS 2016

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

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

Title: Cellular Automata on Group Sets and the Uniform Curtis-Hedlund-Lyndon Theorem

Simon Wacker

Journal-ref: 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings (2016) 185-198

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

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

Title: The Garden of Eden Theorem for Cellular Automata on Group Sets

Simon Wacker

Comments: arXiv admin note: text overlap with arXiv:1603.06460

Journal-ref: 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings (2016) 66-78

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

[27] arXiv:1603.07786 (cross-list from cs.CC) [pdf, other]

Title: Extension Complexity of Formal Languages

Hans Raj Tiwary

Comments: Final version for TOCS

Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[28] arXiv:1603.07924 (cross-list from cs.CR) [pdf, other]

Title: An Incremental Learner for Language-Based Anomaly Detection in XML

Harald Lampesberger

Comments: 15 pages, 7 figures, accepted at the Third Workshop on Language-Theoretic Security (LangSec)

Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)

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

Title: The Schützenberger product for syntactic spaces

Mai Gehrke, Daniela Petrisan, Luca Reggio

Comments: 21 pages

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

[30] arXiv:1603.08577 (cross-list from cs.SE) [pdf, other]

Title: Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering

Julia Rubin, Thomas Thüm

Journal-ref: EPTCS 206, 2016

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)