Formal Languages and Automata Theory

Authors and titles for April 2017

[1] arXiv:1704.03730 [pdf, other]

Title: On computational complexity of Set Automata

Alexander A. Rubtsov, Mikhail N. Vyalyi

Comments: 31 pages, an extended version of the conference paper (DLT 2017), includes new results and omitted proofs

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

[2] arXiv:1704.03972 [pdf, other]

Title: Register automata with linear arithmetic

Yu-Fang Chen, Ondrej Lengal, Tony Tan, Zhilin Wu

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

[3] arXiv:1704.04047 [pdf, other]

Title: On the interplay between Babai and Cerny's conjectures

François Gonze, Vladimir Gusev, Balázs Gerencsér, Raphaël M. Jungers, Mikhail V. Volkov

Comments: 21 pages version with full proofs

Subjects: Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)

[4] arXiv:1704.05263 [pdf, other]

Title: Specifying Graph Languages with Type Graphs

Andrea Corradini, Barbara König, Dennis Nolte

Comments: (v2): -Fixed some typos -Added more references

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

[5] arXiv:1704.05676 [pdf, other]

Title: CALF: Categorical Automata Learning Framework

Gerco van Heerdt, Matteo Sammartino, Alexandra Silva

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

[6] arXiv:1704.06319 [pdf, other]

Title: Control Improvisation

Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia

Comments: 25 pages. Submitted to JACM. This article supersedes arXiv:1411.0698

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

[7] arXiv:1704.07199 [pdf, other]

Title: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Comments: Version 2 incorporates changes prompted by comments of the anonymous referees at CONCUR. Besides minor corrections, this includes additions to the introduction and the discussion section, as well as a proof of Lemma 2.5. Version 3 corrects the accent on the first author's surname in the metadata

Journal-ref: Proc. CONCUR 2017, pp 25:1-25:16

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

[8] arXiv:1704.07856 [pdf, other]

Title: Separability by Piecewise Testable Languages is PTime-Complete

Tomáš Masopust

Comments: Revised version of related results separated from arXiv:1409.3943

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

[9] arXiv:1704.07860 [pdf, other]

Title: Universality of Confluent, Self-Loop Deterministic Partially Ordered NFAs is Hard

Tomáš Masopust, Markus Krötzsch

Comments: arXiv admin note: text overlap with arXiv:1609.03460

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

[10] arXiv:1704.08055 [pdf, other]

Title: Optimizing Automata Learning via Monads

Gerco van Heerdt, Matteo Sammartino, Alexandra Silva

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

[11] arXiv:1704.08233 [pdf, other]

Title: Preimage problems for deterministic finite automata

Mikhail V. Berlinkov, Robert Ferens, Marek Szykuła

Journal-ref: Journal of Computer and System Sciences, 115:214--234, 2021

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

[12] arXiv:1704.08752 [pdf, other]

Title: Busy Beaver Scores and Alphabet Size

Holger Petersen

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

[13] arXiv:1704.08820 [pdf, other]

Title: Stream Processing using Grammars and Regular Expressions

Ulrik Terp Rasmussen

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

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

Title: Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo

Comments: Published at CADE 2017

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

[15] arXiv:1704.08887 (cross-list from cs.GT) [pdf, other]

Title: Finite-state Strategies in Delay Games (full version)

Sarah Winter, Martin Zimmermann

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