Formal Languages and Automata Theory

Authors and titles for March 2015

[1] arXiv:1503.00035 [pdf, other]

Title: Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems

Lila Kari, Stavros Konstantinidis, Steffen Kopecki

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

[2] arXiv:1503.00258 [pdf, other]

Title: Decidable Horn Systems with Difference Constraints Arithmetic

Radu Iosif

Comments: This paper has been withdrawn by the author due to a crucial error in Lemma 5

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

[3] arXiv:1503.00279 [pdf, other]

Title: Partial Derivative Automaton for Regular Expressions with Shuffle

Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis

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

[4] arXiv:1503.00295 [pdf, other]

Title: Regular realizability problems and context-free languages

Alexander A. Rubtsov, Mikhail N. Vyalyi

Comments: conference DCFS 2015

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

[5] arXiv:1503.01068 [pdf, other]

Title: An approach to computing downward closures

Georg Zetzsche

Comments: Full version of contribution to ICALP 2015. Comments welcome

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

[6] arXiv:1503.02208 [pdf, other]

Title: Quotient Complexities of Atoms in Regular Ideal Languages

Janusz Brzozowski, Sylvie Davies

Comments: 17 pages, 4 figures, two tables

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

[7] arXiv:1503.02422 [pdf, other]

Title: Timed pushdown automata revisited

Lorenzo Clemente, Sławomir Lasota

Comments: full technical report of LICS'15 paper

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

[8] arXiv:1503.02840 [pdf, other]

Title: An Upper Bound on the Complexity of Recognizable Tree Languages

Olivier Finkel (ELM, IMJ), Dominique Lecomte (IMJ), Pierre Simonnet (SPE)

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

[9] arXiv:1503.03318 [pdf, other]

Title: On the decomposition of stochastic cellular automata

Witold Bołt, Jan M. Baetens, Bernard DeBaets

Comments: Submitted to Journal of Computation Science, Special Issue on Cellular Automata Applications

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

[10] arXiv:1503.03321 [pdf, other]

Title: The Kinetic Basis of Morphogenesis

Yuri Shalygo

Comments: 8 pages. Submitted to the 13th European Conference on Artificial Life (ECAL-2015) on March 10, 2015. Accepted on April 28, 2015

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

[11] arXiv:1503.04018 [pdf, other]

Title: On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension

Jérôme Leroux, Grégoire Sutre, Patrick Totzke

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

[12] arXiv:1503.04045 [pdf, other]

Title: Diverse Palindromic Factorization is NP-Complete

Hideo Bannai, Travis Gagie, Shunsuke Inenaga, Juha Karkkainen, Dominik Kempa, Marcin Piatkowski, Simon J. Puglisi, Shiho Sugimoto

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

[13] arXiv:1503.05879 [pdf, other]

Title: Regular realizability problems and regular languages

Alexander A. Rubtsov

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

[14] arXiv:1503.06365 [pdf, other]

Title: Factorization in Formal Languages

Paul Bell, Daniel Reidenbach, Jeffrey Shallit

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

[15] arXiv:1503.08602 [pdf, other]

Title: Pairs of Languages Closed under Shuffle Projection

Peter Ochsenschläger, Roland Rieke

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

[16] arXiv:1503.08847 [pdf, other]

Title: On the Sizes of DPDAs, PDAs, LBAs

Richard Beigel, William Gasarch

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

[17] arXiv:1503.09112 [pdf, other]

Title: On the Combinatorics of Palindromes and Antipalindromes

Chuan Guo, Jeffrey Shallit, Arseny M. Shur

Comments: 13 pages/ submitted to DLT 2015

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

[18] arXiv:1503.09163 [pdf, other]

Title: Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable

Helmut Seidl, Sebastian Maneth, Gregor Kemper

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

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

Title: Using Model-Checking Techniques for Component-Based Systems with Reconfigurations

Jean-Michel Hufflen (FEMTO-ST & University of Franche-Comté)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 33-46

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

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

Title: Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems

Shankara Narayanan Krishna, Ashutosh Trivedi

Comments: 17 pages

Journal-ref: Journal of Indian Institute of Science, Special Issue on Cyber Physical Systems, vol. 93 (3), 2013

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

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

Title: Guided Grammar Convergence

Vadim Zaytsev

Comments: In Poster Proceedings of 6th Conference on Software Language Engineering (SLE) 2013, this http URL

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

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

Title: A model-theoretic characterization of monadic second order logic on infinite words

Silvio Ghilardi, Samuel J. van Gool

Comments: 15 pages

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