Formal Languages and Automata Theory

Authors and titles for cs.FL in Apr 2014

[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

Authors: Victor Marsault, Jacques Sakarovitch

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, ps, other]

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

Authors: Cong Tian, Zhenhua Duan

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

Authors: Jozef Gruska, Daowen Qiu, Shenggen Zheng

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

Authors: Mircea Marin, Gabriel Istrate

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

[8]  arXiv:1404.2816 [pdf, ps, other]

Title: Reset Complexity of Ideal Languages

Authors: Marina Maslennikova

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

[9]  arXiv:1404.2824 [pdf, other]

Title: Normal, Abby Normal, Prefix Normal

Authors: Péter Burcsi, Gabriele Fici, Zsuzsanna Lipták, Frank Ruskey, Joe Sawada

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

Authors: Andrzej Kisielewicz, Marek Szykuła

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