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

Formal Languages and Automata Theory

Authors and titles for cs.FL in Apr 2014

[ total of 35 entries: 1-25 | 26-35 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:1404.0545 [pdf, ps, other]
Title: An Intensional Concurrent Faithful Encoding of Turing Machines
Authors: 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
Comments: 15 pages
Subjects: Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:1404.1201 [pdf, ps, other]
Title: Regular Substitution Sets: A Means of Controlling E-Unification
Authors: 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]
Title: The Kinetic Basis of Self-Organized Pattern Formation
Authors: 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, ps, other]
Title: Buchi Determinization Made Tighter
Comments: 12
Subjects: Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:1404.1689 [pdf, ps, other]
Title: Potential of quantum finite automata with exact acceptance
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, ps, other]
Title: Learning cover context-free grammars from structural data
Subjects: Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:1404.2816 [pdf, ps, other]
Title: Reset Complexity of Ideal Languages
Subjects: Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:1404.2824 [pdf, other]
Title: Normal, Abby Normal, Prefix Normal
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, ps, other]
Title: Generating Synchronizing Automata with Large Reset Lengths
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
Journal-ref: MFCS 2014, LNCS 8634, pp. 315-326
Subjects: Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:1404.5244 [pdf, ps, other]
Title: $\mathrm{Pal}^k$ Is Linear Recognizable Online
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
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
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, ps, other]
Title: The monoid of queue actions
Subjects: Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)
[16]  arXiv:1404.6452 [pdf, ps, other]
Title: Lipschitz Robustness of Finite-state Transducers
Comments: In FSTTCS 2014
Subjects: Formal Languages and Automata Theory (cs.FL)
[17]  arXiv:1404.6503 [pdf, other]
Title: Distributed Graph Automata
Authors: 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
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, ps, other]
Title: Complexity of Atoms, Combinatorially
Authors: Szabolcs Ivan
Subjects: Formal Languages and Automata Theory (cs.FL)
[20]  arXiv:1404.6673 [pdf, other]
Title: Stability and Complexity of Minimising Probabilistic Automata
Comments: This is the full version of an ICALP'14 paper
Subjects: Formal Languages and Automata Theory (cs.FL)
[21]  arXiv:1404.6731 [pdf, ps, other]
Title: Synchronizing automata with random inputs
Subjects: Formal Languages and Automata Theory (cs.FL)
[22]  arXiv:1404.6832 [pdf, ps, other]
Title: Going higher in the First-order Quantifier Alternation Hierarchy on Words
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
Authors: 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
Subjects: Formal Languages and Automata Theory (cs.FL)
[25]  arXiv:1404.7458 [pdf, ps, other]
Title: Automata in SageMath---Combinatorics meet Theoretical Computer Science
Journal-ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Analysis of Algorithms (May 10, 2016) dmtcs:1475
Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)
[ total of 35 entries: 1-25 | 26-35 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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