Formal Languages and Automata Theory

Authors and titles for January 2012

[1] arXiv:1201.0295 [pdf, other]

Title: Quotient Complexities of Atoms of Regular Languages

Janusz Brzozowski, Hellis Tamm

Comments: 17 pages, 2 figures, 9 tables

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

[2] arXiv:1201.0682 [pdf, other]

Title: LTL to Büchi Automata Translation: Fast and More Deterministic

Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák, Jan Strejček

Comments: Full version of the paper presented at TACAS 2012

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

[3] arXiv:1201.1095 [pdf, other]

Title: An Entertaining Example of Using the Concepts of Context-Free Grammar and Pushdown Automation

Krasimir Yordzhev

Journal-ref: Open Journal of Discrete Mathematics, 2012, 2, 105-108

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

[4] arXiv:1201.3082 [pdf, other]

Title: On the Properties of Language Classes Defined by Bounded Reaction Automata

Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori

Comments: 23 pages with 3 figures

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

[5] arXiv:1201.3194 [pdf, other]

Title: A Perfect Model for Bounded Verification

Javier Esparza, Pierre Ganty, Rupak Majumdar

Comments: 14 pages, 6 figures

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

[6] arXiv:1201.3250 [pdf, other]

Title: Strictness of the Collapsible Pushdown Hierarchy

Alexander Kartzow, Paweł Parys

Comments: 68 pages, short version in MFCS 2012

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

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

Title: An extension of data automata that captures XPath

Mikołaj Bojańczyk (University of Warsaw), Sławomir Lasota (University of Warsaw)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (February 16, 2012) lmcs:672

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

[8] arXiv:1201.1733 (cross-list from cs.SY) [pdf, other]

Title: On Conditional Decomposability

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Comments: A few minor corrections

Journal-ref: Systems & Control Letters 61 (12), 1260-1268, 2012

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)

[9] arXiv:1201.1754 (cross-list from cs.SY) [pdf, other]

Title: A Note on Undecidability of Observation Consistency for Non-Regular Languages

Tomáš Masopust

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)

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

Title: Mean-Payoff Pushdown Games

Krishnendu Chatterjee, Yaron Velner

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

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

Title: A simple block representation of reversible cellular automata with time-symmetry

Pablo Arrighi, Vincent Nesme

Comments: 6 pages, 3 figures, Automata 2011

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