Formal Languages and Automata Theory

Authors and titles for December 2012

[1] arXiv:1212.0052 [pdf, other]

Title: Repetition Avoidance in Circular Factors

Hamoon Mousavi, Jeffrey Shallit

Comments: 12 pages; added references; DLT 2013 conference

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

[2] arXiv:1212.1346 [pdf, other]

Title: Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent One-Way and Two-Way Deterministic Automata

Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki

Comments: 30 pages, 2 figure. A preliminary version has been presented at DLT 2012, LNCS 7410, pp. 284-295. Version 2: an example has been added in Section 3

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

[3] arXiv:1212.4446 [pdf, other]

Title: The Grammar Hammer of 2012

Vadim Zaytsev

Comments: 32 pages

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

[4] arXiv:1212.5003 [pdf, other]

Title: A General Framework for the Derivation of Regular Expressions

Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot

Comments: 22 pages

Journal-ref: RAIRO-Theor. Inf. Appl. 48 (2014) 281-305

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

[5] arXiv:1212.5106 [pdf, other]

Title: Balance properties of Arnoux-Rauzy words

Valérie Berthé (LIAFA), Julien Cassaigne (IML), Wolfgang Steiner (LIAFA)

Journal-ref: International Journal of Algebra and Computation 23, 4 (2013) 689-704

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

[6] arXiv:1212.5951 [pdf, other]

Title: Cellular automata between sofic tree shifts

Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Zoran Sunic

Journal-ref: Theoret. Comput. Sci. 506 (2013), 79-101

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

[7] arXiv:1212.6609 [pdf, other]

Title: On an algorithm for multiperiodic words

Štěpán Holub

Comments: changes in the introduction, missing references added

Journal-ref: Acta Polytechnica 53(4) (2013) 344-346

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

[8] arXiv:1212.6937 [pdf, other]

Title: Regular Cost Functions, Part I: Logic and Algebra over Words

Thomas Colcombet (Liafa/CNRS/Université Denis Diderot)

Comments: 47 pages

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (August 13, 2013) lmcs:1221

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

[9] arXiv:1212.0018 (cross-list from cs.SI) [pdf, other]

Title: Collective Phenomena and Non-Finite State Computation in a Human Social System

Simon DeDeo

Comments: 23 pages, 4 figures, 3 tables; to appear in PLoS ONE

Journal-ref: PLoS ONE 8(10): e75818 (2013)

Subjects: Social and Information Networks (cs.SI); Formal Languages and Automata Theory (cs.FL); Adaptation and Self-Organizing Systems (nlin.AO); Physics and Society (physics.soc-ph); Populations and Evolution (q-bio.PE); Applications (stat.AP)

[10] arXiv:1212.0027 (cross-list from cs.DM) [pdf, other]

Title: Generalized Cayley Graphs and Cellular Automata over them

Pablo Arrighi, Simon Martiel, Vincent Nesme

Comments: 34 pages, 10 figures, LaTeX

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

[11] arXiv:1212.0927 (cross-list from cs.CL) [pdf, other]

Title: Two Algorithms for Finding $k$ Shortest Paths of a Weighted Pushdown Automaton

Ke Wu, Philip Resnik

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

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

Title: A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems

Kshitij Bansal (1), Stéphane Demri (1 and 2) ((1) New York University, USA, (2) LSV, CNRS, France)

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

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

Title: Model-Checking of Linear-Time Properties in Multi-Valued Systems

Yongming Li, Manfred Droste, Lihui Lei

Comments: 50 pages, 9 figures, 2 tables

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

[14] arXiv:1212.2963 (cross-list from cs.ET) [pdf, other]

Title: On beta-skeleton automata with memory

Ramon Alonso-Sanz, Andrew Adamatzky

Journal-ref: Journal of Computational Science 2 (2011) 1, 57--66

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

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

Title: Proceedings Quantities in Formal Methods

Uli Fahrenberg (Irisa / INRIA Rennes, France), Axel Legay (Irisa / INRIA Rennes, France), Claus Thrane (Aalborg University, Denmark)

Journal-ref: EPTCS 103, 2012

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

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

Title: Adding Time to Pushdown Automata

Parosh Aziz Abdulla (Uppsala University, Sweden), Mohamed Faouzi Atig (Uppsala University, Sweden), Jari Stenman (Uppsala University, Sweden)

Comments: In Proceedings QFM 2012, arXiv:1212.3454

Journal-ref: EPTCS 103, 2012, pp. 1-16

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

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

Title: Metric-Aware Secure Service Orchestration

Gabriele Costa (Dipartimento di Informatica, Sistemistica e Telematica Universita di Genova), Fabio Martinelli (Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche), Artsiom Yautsiukhin (Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche)

Comments: In Proceedings ICE 2012, arXiv:1212.3458

Journal-ref: EPTCS 104, 2012, pp. 32-46

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

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

Title: Coherent Minimisation: Towards efficient tamper-proof compilation

Dan R. Ghica (University of Birmingham), Zaid Al-Zobaidi (University of Birmingham)

Comments: In Proceedings ICE 2012, arXiv:1212.3458

Journal-ref: EPTCS 104, 2012, pp. 83-98

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

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

Title: On periodic points of free inverse monoid endomorphisms

Emanuele Rodaro, Pedro V. Silva

Comments: 18 pages

Journal-ref: IJAC No.23, Issue No. 8, 2013

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

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

Title: Rewrite Closure and CF Hedge Automata

Florent Jacquemard (Inria Paris-Rocquencourt, STMS), Michael Rusinowitch (INRIA Lorraine - LORIA / LIFC)

Journal-ref: 7th International Conference on Language and Automata Theory and Application (2013)

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

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

Title: The Buffered π-Calculus: A Model for Concurrent Languages

Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong

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

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

Title: Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable

Manfred Kufleitner, Alexander Lauser

Comments: Accepted at STACS 2013

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