Formal Languages and Automata Theory

Authors and titles for April 2014

[1] arXiv:1404.0545 [pdf, other]

Title: An Intensional Concurrent Faithful Encoding of Turing Machines

Thomas Given-Wilson (INRIA, Saclay)

Comments: In Proceedings ICE 2014, arXiv:1410.7013

Journal-ref: EPTCS 166, 2014, pp. 21-37

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

[2] arXiv:1404.0798 [pdf, other]

Title: Breadth-first serialisation of trees and rational languages

Victor Marsault, Jacques Sakarovitch

Comments: 15 pages

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

[3] arXiv:1404.1201 [pdf, other]

Title: Regular Substitution Sets: A Means of Controlling E-Unification

Jochen Burghardt

Comments: 61 pages; 35 figures

Journal-ref: Jieh Hsiang (ed.), Rewriting Techniques and Applications, 6th Int. Conf., RTA-95, Springer LNCS 914, p.382-396, 1995

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

[4] arXiv:1404.1283 [pdf, other]

Title: The Kinetic Basis of Self-Organized Pattern Formation

Yuri Shalygo

Comments: 8 pages, submitted to the 14th International Conference on the Synthesis and Simulation of Living Systems (Alife 14) on 23.03.2014, accepted 09.05.2014

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

[5] arXiv:1404.1436 [pdf, other]

Title: Buchi Determinization Made Tighter

Cong Tian, Zhenhua Duan

Comments: 12

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

[6] arXiv:1404.1689 [pdf, other]

Title: Potential of quantum finite automata with exact acceptance

Jozef Gruska, Daowen Qiu, Shenggen Zheng

Comments: We have improved the presentation of the paper. Accepted to International Journal of Foundation of Computer Science

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[7] arXiv:1404.2409 [pdf, other]

Title: Learning cover context-free grammars from structural data

Mircea Marin, Gabriel Istrate

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

[8] arXiv:1404.2816 [pdf, other]

Title: Reset Complexity of Ideal Languages

Marina Maslennikova

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

[9] arXiv:1404.2824 [pdf, other]

Title: Normal, Abby Normal, Prefix Normal

Péter Burcsi, Gabriele Fici, Zsuzsanna Lipták, Frank Ruskey, Joe Sawada

Comments: Accepted at FUN '14

Journal-ref: LNCS 8496, pages 74-88 (2014)

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

[10] arXiv:1404.3311 [pdf, other]

Title: Generating Synchronizing Automata with Large Reset Lengths

Andrzej Kisielewicz, Marek Szykuła

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

[11] arXiv:1404.4495 [pdf, other]

Title: On Upper and Lower Bounds on the Length of Alternating Towers

Štěpán Holub, Galina Jirásková, Tomáš Masopust

Journal-ref: MFCS 2014, LNCS 8634, pp. 315-326

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

[12] arXiv:1404.5244 [pdf, other]

Title: $\mathrm{Pal}^k$ Is Linear Recognizable Online

Dmitry Kosolobov, Mikhail Rubinchik, Arseny M. Shur

Comments: 18 pages, 5 figures, presented in SOFSEM 2015

Journal-ref: Proc. SOFSEM 2015. Springer, 2015. LNCS Vol. 8939, 289-301

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

[13] arXiv:1404.5393 [pdf, other]

Title: Cooperating distributed context-free hexagonal array grammar systems with permitting contexts

Sujathakumari K, Dersanambika K.S

Comments: 16 pages, 6 figures, Published with International Journal of Mathematics Trends and Technology (IJMTT)

Journal-ref: International Journal of Mathematical Trends and Technology (IJMTT). V7:156-171 March 2014

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

[14] arXiv:1404.5475 [pdf, other]

Title: Combining pattern-based CRFs and weighted context-free grammars

Rustem Takhanov, Vladimir Kolmogorov

Comments: 11 pages

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

[15] arXiv:1404.5479 [pdf, other]

Title: The monoid of queue actions

Martin Huschenbett, Dietrich Kuske, Georg Zetzsche

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

[16] arXiv:1404.6452 [pdf, other]

Title: Lipschitz Robustness of Finite-state Transducers

Thomas A. Henzinger, Jan Otop, Roopsha Samanta

Comments: In FSTTCS 2014

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

[17] arXiv:1404.6503 [pdf, other]

Title: Distributed Graph Automata

Fabian Reiter

Comments: Master's Thesis, 64 pages

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

[18] arXiv:1404.6613 [pdf, other]

Title: Reducing Clocks in Timed Automata while Preserving Bisimulation

Shibashis Guha, Chinmay Narayan, S. Arun-Kumar

Comments: 28 pages including reference, 8 figures, full version of paper accepted in CONCUR 2014

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

[19] arXiv:1404.6632 [pdf, other]

Title: Complexity of Atoms, Combinatorially

Szabolcs Ivan

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

[20] arXiv:1404.6673 [pdf, other]

Title: Stability and Complexity of Minimising Probabilistic Automata

Stefan Kiefer, Björn Wachter

Comments: This is the full version of an ICALP'14 paper

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

[21] arXiv:1404.6731 [pdf, other]

Title: Synchronizing automata with random inputs

Vladimir V. Gusev

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

[22] arXiv:1404.6832 [pdf, other]

Title: Going higher in the First-order Quantifier Alternation Hierarchy on Words

Thomas Place, Marc Zeitoun

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

[23] arXiv:1404.6962 [pdf, other]

Title: Fast Synchronization of Random Automata

Cyril Nicaud

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

[24] arXiv:1404.7206 [pdf, other]

Title: SReach: A Bounded Model Checker for Stochastic Hybrid Systems

Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke

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

[25] arXiv:1404.7458 [pdf, other]

Title: Automata in SageMath---Combinatorics meet Theoretical Computer Science

Clemens Heuberger, Daniel Krenn, Sara Kropf

Journal-ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Analysis of Algorithms (May 10, 2016) dmtcs:1352

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

[26] arXiv:1404.7533 [pdf, other]

Title: Recognizable Series on Hypergraphs

Raphaël Bailly, François Denis, Guillaume Rabusseau

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

[27] arXiv:1404.0074 (cross-list from quant-ph) [pdf, other]

Title: Quantum Turing automata

Miklós Bartha

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 17-31

Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL); Information Theory (cs.IT)

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

Title: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable

Karin Quaas (University of Leipzig)

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 5-17

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

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

Title: Expectations or Guarantees? I Want It All! A crossroad between games and MDPs

Véronique Bruyère (Université de Mons, Belgium), Emmanuel Filiot (Université Libre de Bruxelles, Belgium), Mickael Randour (Université de Mons, Belgium), Jean-François Raskin (Université Libre de Bruxelles, Belgium)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 1-8

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

[30] arXiv:1404.2195 (cross-list from math.OC) [pdf, other]

Title: A Note on Relative Observability in Coordination Control

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Comments: arXiv admin note: substantial text overlap with arXiv:1403.4762

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

[31] arXiv:1404.2761 (cross-list from quant-ph) [pdf, other]

Title: Implications of quantum automata for contextuality

Jibran Rashid, Abuzer Yakaryilmaz

Comments: 22 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[32] arXiv:1404.4519 (cross-list from math.DS) [pdf, other]

Title: Trace Complexity of Chaotic Reversible Cellular Automata

Jarkko Kari, Ville Salo, Ilkka Törmä

Comments: 12 pages + 1 page appendix, 4 figures. Accepted to Reversible Computation 2014 (proceedings published by Springer)

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

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

Title: Ordered Navigation on Multi-attributed Data Words

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

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

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

Title: Multipass automata and group word problems

Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Paul E. Schupp, Nicholas W.M. Touikan

Journal-ref: Theoret. Comput. Sci. 600 (2015), 19-33

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