Formal Languages and Automata Theory

Authors and titles for July 2009

[1] arXiv:0907.0159 [pdf, other]

Title: The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languages

N. Rampersad, J. Shallit, Z. Xu

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

[2] arXiv:0907.0615 [pdf, other]

Title: Multidimensional Generalized Automatic Sequences and Shape-symmetric Morphic Words

Emilie Charlier, Tomi Karki, Michel Rigo

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)

[3] arXiv:0907.0620 [pdf, other]

Title: A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems

J. Bell, E. Charlier, A. S. Fraenkel, M. Rigo

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)

[4] arXiv:0907.0624 [pdf, other]

Title: A note on syndeticity, recognizable sets and Cobham's theorem

M. Rigo, L. Waxweiler

Journal-ref: Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 88 (2006), 169-173

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

[5] arXiv:0907.0877 [pdf, other]

Title: Algebraic Ordinals

S.L. Bloom, Z. Esik

Comments: 30 pages

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

[6] arXiv:0907.0942 [pdf, other]

Title: Representing Real Numbers in a Generalized Numeration Systems

Charlier Emilie, Le Gonidec Marion, Rigo Michel

Comments: 18 pages

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

[7] arXiv:0907.1072 [pdf, other]

Title: Self-Assembling Systems are Distributed Systems

Aaron Sterling

Comments: Withdrawing because I would like to polish this before submitting it publicly again

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Robotics (cs.RO)

[8] arXiv:0907.2130 [pdf, other]

Title: Algebraic properties of structured context-free languages: old approaches and novel developments

Stefano Crespi Reghizzi, Dino Mandrioli

Comments: Extended version of paper presented at WORDS2009, Salerno,Italy, September 2009

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

[9] arXiv:0907.3246 [pdf, other]

Title: Wave propagation in filamental cellular automata

Alan Gibbons, Martyn Amos

Comments: To appear in the International Journal of Natural Computing Research. Changes to previous version: (1) Made title more specific, (2) added several explanatory figures, (3) improved background material, (4) several clarifications as requested by referees

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

[10] arXiv:0907.4169 [pdf, other]

Title: Primitive Recursive Presentations of Automata and their Products

Victor Yodaiken

Comments: 11 pages

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

[11] arXiv:0907.4180 [pdf, other]

Title: On Descriptional Complexity of the Planarity Problem for Gauss Words

Vitaliy Kurlin, Alexei Lisitsa, Igor Potapov, Rafiq Saleh

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

[12] arXiv:0907.4296 [pdf, other]

Title: Algorithms for Glushkov K-graphs

Pascal Caron, Marianne Flouret

Comments: 31 pages, 20 figures, 1 table

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

[13] arXiv:0907.4547 [pdf, other]

Title: Quotient Complexity of Regular Languages

Janusz Brzozowski

Journal-ref: EPTCS 3, 2009, pp. 17-28

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

[14] arXiv:0907.4554 [pdf, other]

Title: The Nondeterministic Waiting Time Algorithm: A Review

John Jack (Louisiana Tech University), Andrei Paun (Louisiana Tech University, INCDSB, UPM)

Journal-ref: EPTCS 3, 2009, pp. 29-46

Subjects: Formal Languages and Automata Theory (cs.FL); Other Computer Science (cs.OH)

[15] arXiv:0907.4576 [pdf, other]

Title: Slowly synchronizing automata with zero and incomplete sets

E. V. Pribavkina

Comments: 9 pages, 6 figures

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

[16] arXiv:0907.4760 [pdf, other]

Title: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability

Christel Baier (Technische Universität Dresden), Nathalie Bertrand (INRIA Rennes), Marcus Größer (Technische Universität Dresden)

Journal-ref: EPTCS 3, 2009, pp. 3-16

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

[17] arXiv:0907.5055 [pdf, other]

Title: Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation

Fevzi Belli, Mutlu Beyazit

Journal-ref: EPTCS 3, 2009, pp. 69-77

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

[18] arXiv:0907.5058 [pdf, other]

Title: Testing the Equivalence of Regular Languages

Marco Almeida (<a href="http://LIACC-U.Porto" rel="external noopener nofollow" class="link-external link-http">this http URL</a>), Nelma Moreira (<a href="http://LIACC-U.Porto" rel="external noopener nofollow" class="link-external link-http">this http URL</a>), Rogério Reis (<a href="http://LIACC-U.Porto" rel="external noopener nofollow" class="link-external link-http">this http URL</a>)

Journal-ref: EPTCS 3, 2009, pp. 47-57

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

[19] arXiv:0907.5063 [pdf, other]

Title: On Measuring Non-Recursive Trade-Offs

Hermann Gruber, Markus Holzer, Martin Kutrib

Journal-ref: EPTCS 3, 2009, pp. 141-150

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

[20] arXiv:0907.5072 [pdf, other]

Title: Nondeterministic State Complexity of Positional Addition

Galina Jirásková (Slovak Academy of Sciences), Alexander Okhotin (University of Turku)

Journal-ref: EPTCS 3, 2009, pp. 151-161

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

[21] arXiv:0907.5083 [pdf, other]

Title: Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems

M. Sakthi Balan (Infosys)

Journal-ref: EPTCS 3, 2009, pp. 59-68

Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL); Distributed, Parallel, and Cluster Computing (cs.DC)

[22] arXiv:0907.5111 [pdf, other]

Title: On the Shuffle Automaton Size for Words

Franziska Biegler, Mark Daley, Ian McQuillan

Journal-ref: EPTCS 3, 2009, pp. 79-89

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)

[23] arXiv:0907.5119 [pdf, other]

Title: On the Size Complexity of Non-Returning Context-Free PC Grammar Systems

Erzsébet Csuhaj-Varjú, György Vaszil

Journal-ref: EPTCS 3, 2009, pp. 91-100

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)

[24] arXiv:0907.5120 [pdf, other]

Title: On the Number of Membranes in Unary P Systems

Rudolf Freund, Andreas Klein, Martin Kutrib

Journal-ref: EPTCS 3, 2009, pp. 101-109

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

[25] arXiv:0907.5121 [pdf, other]

Title: On Languages Accepted by P/T Systems Composed of joins

Pierluigi Frisco (Heriot-Watt University), Oscar H. Ibarra (University of California)

Journal-ref: EPTCS 3, 2009, pp. 111-120

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

[26] arXiv:0907.5124 [pdf, other]

Title: State Complexity Approximation

Yuan Gao, Sheng Yu

Journal-ref: EPTCS 3, 2009, pp. 121-130

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

[27] arXiv:0907.5127 [pdf, other]

Title: Translation from Classical Two-Way Automata to Pebble Two-Way Automata

Viliam Geffert, Lubomíra Ištoňová

Journal-ref: EPTCS 3, 2009, pp. 131-140

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

[28] arXiv:0907.5128 [pdf, other]

Title: Bounded Languages Meet Cellular Automata with Sparse Communication

Martin Kutrib, Andreas Malcher

Journal-ref: EPTCS 3, 2009, pp. 163-172

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC)

[29] arXiv:0907.5130 [pdf, other]

Title: Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections

Remco Loos, Florin Manea, Victor Mitrana

Journal-ref: EPTCS 3, 2009, pp. 173-182

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

[30] arXiv:0907.5132 [pdf, other]

Title: Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement

Tomáš Masopust, Alexander Meduna

Journal-ref: EPTCS 3, 2009, pp. 183-192

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

[31] arXiv:0907.5136 [pdf, other]

Title: Capacity Bounded Grammars and Petri Nets

Ralf Stiebe, Sherzod Turaev

Journal-ref: EPTCS 3, 2009, pp. 193-203

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

[32] arXiv:0907.5257 [pdf, other]

Title: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems

Jürgen Dassow, Giovanni Pighizzini, Bianca Truthe

Journal-ref: EPTCS 3, 2009

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

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

Title: Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words

Philipp Weis, Neil Immerman

Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 3 (August 4, 2009) lmcs:1159

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

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

Title: Modelling Concurrency with Comtraces and Generalized Comtraces

Ryszard Janicki, Dai Tri Man Le

Comments: 49 pages

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

[35] arXiv:0907.2755 (cross-list from cs.DM) [pdf, other]

Title: The Visualization of the Road Coloring Algorithm in the package TESTAS

A.N. Trahtman, T. Bauer, N. Cohen

Comments: 12 pages

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

[36] arXiv:0907.3005 (cross-list from cs.DM) [pdf, other]

Title: On some counting problems for semi-linear sets

Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio

Comments: 34 pages

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

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

Title: Further applications of a power series method for pattern avoidance

Narad Rampersad

Comments: 7 pages

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

[38] arXiv:0907.4957 (cross-list from cs.CG) [pdf, other]

Title: Iterative pushdown automata and hyperbolic contour words

Maurice Margenstern

Comments: 15 pages, 6 figures

Subjects: Computational Geometry (cs.CG); Formal Languages and Automata Theory (cs.FL)