Formal Languages and Automata Theory

Authors and titles for July 2016

[1] arXiv:1607.00554 [pdf, other]

Title: Completely Reachable Automata

Evgenija Bondar, Mikhail Volkov

Comments: 23 pages, 12 figures. This is an expanded version of the conference paper published in C. Campeanu et al. (eds.), Descriptional Complexity of Formal Systems. DCFS 2016 [Lect. Notes Comp. Sci. 9777], Springer-Verlag, Berlin-Heidelberg-N.Y., 2016, 1-17

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

[2] arXiv:1607.00811 [pdf, other]

Title: 2-tape 1-way Quantum Finite State Automata

Debayan Ganguly, Kumar Sankar Ray

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

[3] arXiv:1607.00931 [pdf, other]

Title: Deletion Operations on Deterministic Families of Automata

Joey Eremondi, Oscar H. Ibarra, Ian McQuillan

Comments: 20 pages, accepted version to Information and Computation

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

[4] arXiv:1607.01828 [pdf, other]

Title: A Note on Nested String Replacements

Holger Petersen

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

[5] arXiv:1607.02291 [pdf, other]

Title: A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications

Kamalika Bhattacharjee, Nazma Naskar, Souvik Roy, Sukanta Das

Comments: 43 pages; Under review in Natural Computing

Journal-ref: Natural Computing, Volume 19, 2020

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

[6] arXiv:1607.04025 [pdf, other]

Title: Experiments with Synchronizing Automata

Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła

Comments: CIAA 2016. The final publication available at this http URL

Journal-ref: In Implementation and Application of Automata (CIAA 2016), volume 9705 of LNCS, pages 176--188, 2016

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

[7] arXiv:1607.04031 [pdf, other]

Title: State complexity of multiple catenation

Pascal Caron, Jean-Gabriel Luque, Bruno Patrou

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

[8] arXiv:1607.04910 [pdf, other]

Title: FO-definable transformations of infinite strings

Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi

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

[9] arXiv:1607.06106 [pdf, other]

Title: On the complexity of automatic complexity

Bjørn Kjos-Hanssen

Journal-ref: Theory of Computing Systems 61 (2017), no. 4, 1427--1439

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

[10] arXiv:1607.06268 [pdf, other]

Title: Learning Nominal Automata

Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski

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

[11] arXiv:1607.08226 [pdf, other]

Title: Automatic complexity of shift register sequences

Bjørn Kjos-Hanssen

Comments: Preliminary version: "Shift registers fool finite automata", Lecture Notes in Computer Science 10388 (2017), 170-181, Workshop on Logic, Language, Information and Computation (WoLLIC) 2017

Journal-ref: Discrete Mathematics 341 (2018), no. 9, 2409--2417

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

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

Title: Representing Pattern Matching Algorithms by Polynomial-Size Automata

Tobias Marschall, Noemi E. Passing

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

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

Title: Uniqueness of Normal Forms for Shallow Term Rewrite Systems

Nicholas Radcliffe, Luis Moraes, Rakesh Verma

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

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

Title: Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang

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

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

Title: Cost and dimension of words of zero topological entropy

Julien Cassaigne, Anna E. Frid, Svetlana Puzynina, Luca Q. Zamboni

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

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

Title: Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems

Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin

Comments: Submitted to Automatica

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

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

Title: Automata for Specifying and Orchestrating Service Contracts

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari (Università di Pisa, Italy)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2614

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

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

Title: Mean-Payoff Games on Timed Automata

Shibashis Guha, Marcin Jurdzinski, Krishna S., Ashutosh Trivedi

Comments: 29 pages, unpublished manuscript, submitted to FSTTCS

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