We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

Authors and titles for cs.FL in Aug 2014

[ total of 27 entries: 1-25 | 26-27 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:1408.0051 [pdf, other]
Title: The expressive power of quantum walks in terms of language acceptance
Authors: Katie Barr (University of Leeds), Viv Kendon (University of Leeds)
Comments: In Proceedings QPL 2012, arXiv:1407.8427
Journal-ref: EPTCS 158, 2014, pp. 39-51
Subjects: Formal Languages and Automata Theory (cs.FL); Emerging Technologies (cs.ET); Quantum Physics (quant-ph)
[2]  arXiv:1408.0683 [pdf, ps, other]
Title: Context-Free Grammars with Storage
Authors: Joost Engelfriet
Comments: 58 pages, 8 figures, slightly revised version of a report from 1986
Subjects: Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:1408.1258 [pdf, ps, other]
Title: On Practical Regular Expressions
Authors: Holger Petersen
Subjects: Formal Languages and Automata Theory (cs.FL)
[4]  arXiv:1408.2842 [pdf, ps, other]
Title: Star-free languages and local divisors
Comments: This is a prior version of an invited contribution at the 16th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2014) in Turku, Finland. The final publication is available at Springer via this http URL
Journal-ref: In H. J\"urgensen, J. Karhum\"aki, and A. Okhotin, editors, Proceedings of DCFS 2014. LNCS vol. 8614, pp. 23-28, 2014
Subjects: Formal Languages and Automata Theory (cs.FL)
[5]  arXiv:1408.3030 [pdf, other]
Title: Distributed Graph Automata and Verification of Distributed Algorithms
Authors: Fabian Reiter
Comments: 26 pages, 6 figures, includes a condensed version of the author's Master's thesis arXiv:1404.6503. (This version of the article (v2) is identical to the previous one (v1), except for minor changes in phrasing.)
Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[6]  arXiv:1408.3317 [pdf, other]
Title: Maximally Permissive Controlled System Synthesis for Modal Logic
Comments: SOFSEM 2015
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[7]  arXiv:1408.5248 [pdf, other]
Title: Strong inapproximability of the shortest reset word
Comments: extended abstract to appear in MFCS 2015
Subjects: Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:1408.5959 [pdf, other]
Title: Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
Authors: Christof Löding (RWTH Aachen University), Sarah Winter (RWTH Aachen University)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 88-101
Subjects: Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:1408.5965 [pdf, other]
Title: Hourglass Automata
Authors: Yuki Osada (The University of Western Australia), Tim French (The University of Western Australia), Mark Reynolds (The University of Western Australia), Harry Smallbone (The University of Western Australia)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 175-188
Subjects: Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:1408.5966 [pdf, other]
Title: Deterministic Automata for Unordered Trees
Authors: Adrien Boiret (University of Lille 1. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Vincent Hugot (Inria. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Joachim Niehren (Inria. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Ralf Treinen (University Paris Diderot. PPS (UMR CNRS 7126), France)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 189-202
Subjects: Formal Languages and Automata Theory (cs.FL)
[11]  arXiv:1408.5967 [pdf, ps, other]
Title: Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
Authors: Davide Bresolin (University of Bologna), Khaled El-Fakih (American University of Sharjah), Tiziano Villa (University of Verona), Nina Yevtushenko (Tomsk State University)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 203-216
Subjects: Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:1408.5968 [pdf, other]
Title: Improved Undecidability Results for Reachability Games on Recursive Timed Automata
Authors: Shankara Narayanan Krishna (IIT Bombay), Lakshmi Manasa (IIT Bombay), Ashutosh Trivedi (IIT Bombay)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 245-259
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[13]  arXiv:1408.6104 [pdf, other]
Title: The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix)
Comments: This is the preprint of the FORMATS 2014 paper, but this is the full version, containing the Appendix. The final publication is published from Springer, and is available at this http URL on the Springer webpage
Journal-ref: Lecture Notes in Computer Science vol 8711 (Jan 2014) pp 115-129
Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[14]  arXiv:1408.6198 [pdf, ps, other]
Title: Subset seed automaton
Comments: 12 pages, 2 figures, 2 tables, CIAA 2007, this http URL
Journal-ref: LNCS 4783 (2007), pp 180-191
Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS); Quantitative Methods (q-bio.QM)
[15]  arXiv:1408.6487 [pdf, ps, other]
Title: Turing degree spectra of minimal subshifts
Authors: Michael Hochman, Pascal Vanier (LACL)
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[16]  arXiv:1408.6701 [pdf, ps, other]
Title: Plane-Walking Automata
Comments: 17 pages, 3 figures. To appear in a shortened from in the postceedings of AUTOMATA 2014, published by Springer
Subjects: Formal Languages and Automata Theory (cs.FL)
[17]  arXiv:1408.2930 (cross-list from cs.LO) [src]
Title: A Hypercomputation in Brouwer's Constructivism
Comments: This paper has been withdrawn by the author due to crucial errors in theorems 4.6 and 5.2 and definition 4.2
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[18]  arXiv:1408.3560 (cross-list from cs.LO) [pdf, ps, other]
Title: Completeness of Kozen's Axiomatization for the Modal mu-Calculus: A Simple Proof
Authors: Kuniaki Tamura
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT)
[19]  arXiv:1408.5560 (cross-list from cs.GT) [html]
Title: Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
Authors: Adriano Peron (Università di Napoli Federico II), Carla Piazza (Università degli Studi di Udine)
Journal-ref: EPTCS 161, 2014
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[20]  arXiv:1408.5956 (cross-list from cs.LO) [pdf, ps, other]
Title: Kleene Algebras, Regular Languages and Substructural Logics
Authors: Christian Wurm
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 46-59
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[21]  arXiv:1408.5958 (cross-list from cs.LO) [pdf, other]
Title: On the Path-Width of Integer Linear Programming
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 74-87
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
[22]  arXiv:1408.5960 (cross-list from cs.LO) [pdf, other]
Title: Interval-based Synthesis
Authors: Angelo Montanari (Department of Mathematics and Computer Science University of Udine), Pietro Sala (Department of Computer Science University of Verona)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 102-115
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[23]  arXiv:1408.5969 (cross-list from cs.LO) [pdf, other]
Title: Visibly Pushdown Modular Games
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 260-274
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT)
[24]  arXiv:1408.6477 (cross-list from cs.LO) [pdf, other]
Title: Tree games with regular objectives
Authors: Marcin Przybyłko (University of New Caledonia, University of Warsaw)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 231-244
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT)
[25]  arXiv:1408.2277 (cross-list from math.CO) [pdf, other]
Title: Some properties of a Rudin-Shapiro-like sequence
Comments: 21 pages, 6 figures
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT)
[ total of 27 entries: 1-25 | 26-27 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2205, contact, help  (Access key information)