Formal Languages and Automata Theory

Authors and titles for November 2014

[1] arXiv:1411.0698 [pdf, other]

Title: Control Improvisation

Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel

Comments: 16 pages. Full version of an FSTTCS 2015 paper. This article is superseded by arXiv:1704.06319

Journal-ref: 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), 463-474

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

[2] arXiv:1411.0813 [pdf, other]

Title: An Intuitive Procedure for Converting PDA to CFG, by Construction of Single State PDA

Arjun Bhardwaj, N.S. Narayanaswamy

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

[3] arXiv:1411.2865 [pdf, other]

Title: Metamorphosis of Fuzzy Regular Expressions to Fuzzy Automata using the Follow Automata

Rahul Kumar, Ajay Kumar

Comments: 10 pages

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

[4] arXiv:1411.3870 [pdf, other]

Title: Promise problems solved by quantum and classical finite automata

Shenggen Zheng, Lvzhou Li, Daowen Qiu, Jozef Gruska

Comments: Substantial changes are made. Some new resutls are added

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

[5] arXiv:1411.4796 [pdf, other]

Title: Weighted automata on infinite words in the context of Attacker-Defender games

Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov

Comments: 23 pages, 5 figures

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

[6] arXiv:1411.5131 [pdf, other]

Title: A Complete Refinement Procedure for Regular Separability of Context-Free Languages

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard, Peter J. Stuckey

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

[7] arXiv:1411.5611 [pdf, other]

Title: FREC 14: FRontiers of RECognizability

Géraud Sénizergues (Bordeaux, France)

Comments: Proceedings of the conference FREC 14 held in Marseille, 38-30 April 2014. 12 papers contributed by 14 authors

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

[8] arXiv:1411.5679 [pdf, other]

Title: Zeno machines and Running Turing machine for infinite time

Bryce M. Kim

Comments: 14 pages

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

[9] arXiv:1411.6027 [pdf, other]

Title: Concurrent Timed Port Automata

Radu Grosu, Bernhard Rumpe

Comments: 34 pages, 3 figures, Technical Report TUM-I9533, TU Munich, 1995

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

[10] arXiv:1411.6463 [pdf, other]

Title: Quotient of Acceptance Specifications under Reachability Constraints

Guillaume Verdier, Jean-Baptiste Raclet

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

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

Title: Orbit automata as a new tool to attack the order problem in automaton groups

Ines Klimann, Matthieu Picantin, Dmytro Savchuk

Comments: 19 pages, 9 figures; example with Bellaterra group added; references updated

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

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

Title: Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms

Manfred Kufleitner, Jan Philipp Wächter

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

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

Title: Variations on the Stochastic Shortest Path Problem

Mickael Randour, Jean-François Raskin, Ocan Sankur

Comments: Invited paper for VMCAI 2015

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

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

Title: More Tight Bounds for Active Self-Assembly Using an Insertion Primitive

Benjamin Hescott, Caleb Malchik, Andrew Winslow

Comments: A subset of the results appear in arXiv:1401.0359 and the proceedings of ESA 2014

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

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

Title: Reverse Engineering of Middleware for Verification of Robot Control Architectures

Ali Khalili, Lorenzo Natale, Armando Tacchella

Comments: 14 pages, 4 figures. The final version of the article is published in Proc. of "Simulation, Modeling, and Programming for Autonomous Robots", SIMPAR 2014 (published by Springer)

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

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

Title: The Cyclic-Routing UAV Problem is PSPACE-Complete

Hsi-Ming Ho, Joel Ouaknine

Comments: 19 pages. Full version of the FoSSaCS'15 paper with the same title

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

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

Title: Proceedings First Workshop on Logics and Model-checking for Self-* Systems

Marcello Maria Bersani (Politecnico di Milano), Davide Bresolin (Università di Bologna), Luca Ferrucci (Politecnico di Milano), Manuel Mazzara (Innopolis University and ETH Zuerich)

Journal-ref: EPTCS 168, 2014

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

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

Title: The complexity of some regex crossword problems

Stephen A. Fenner (University of South Carolina, USA)

Comments: 25 pages, 3 figures; three references added with explanation, citation added to Corollary 5, more detail in proof of Theorem 8, other minor corrections (results unchanged)

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

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

Title: Decidability and Universality of Quasiminimal Subshifts

Ville Salo

Comments: 40 pages, 1 figure, submitted to JCSS

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

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

Title: A Robust Class of Data Languages and an Application to Learning

Benedikt Bollig (LSV, ENS Cachan, CNRS & Inria, France), Peter Habermehl (LIAFA University Paris Diderot, France), Martin Leucker (ISP, University of Lübeck, Germany), Benjamin Monmege (Université Libre de Bruxelles, Belgium)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (December 30, 2014) lmcs:1030

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

[21] arXiv:1411.7315 (cross-list from cs.DS) [pdf, html, other]

Title: Language Edit Distance & Scored Parsing: Faster Algorithms & Connection to Fundamental Graph Problems

Tomasz Kociumaka, Barna Saha

Comments: The original conference version had an error in the main upper bound. This updated paper corrects it albeit with a slower running time. However, the new algorithm is deterministic and has better dependency on the grammar size. The current version also gives a new additive approximation algorithm. The remaining lower bound proofs remain same as the conference version

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

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

Title: Magic coins are useful for small-space quantum machines

A. C. Cem Say, Abuzer Yakaryilmaz

Comments: 16 pages!

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