Formal Languages and Automata Theory

Authors and titles for May 2021

[1] arXiv:2105.00052 [pdf, other]

Title: Long Runs Imply Big Separators in Vector Addition Systems

Wojciech Czerwiński, Adam Jędrych

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

[2] arXiv:2105.00208 [pdf, other]

Title: A structural operational semantics for interactions with a look at loops

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Comments: 14 pages of contents, 9 additional pages with 1 for references and 8 for appendices, 5 figures

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

[3] arXiv:2105.00436 [pdf, other]

Title: Properties of Graphs Specified by a Regular Language

Volker Diekert, Henning Fernau, Petra Wolf

Comments: 25 pages

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

[4] arXiv:2105.00452 [pdf, other]

Title: Winning Sets of Regular Languages: Descriptional and Computational Complexity

Pierre Marcus, Ilkka Törmä

Comments: 24 pages, 11 figures. arXiv admin note: substantial text overlap with arXiv:2004.13668

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

[5] arXiv:2105.01137 [pdf, other]

Title: Deterministic and game separability for regular languages of infinite trees

Lorenzo Clemente, Michał Skrzypczak

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

[6] arXiv:2105.01179 [pdf, other]

Title: Degrees of Restriction for Two-Dimensional Automata

Taylor J. Smith, Kai Salomaa

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

[7] arXiv:2105.01236 [pdf, other]

Title: Environment Modeling During Model Checking of Cyber-Physical Systems

Guangyao Chen, Zhihao Jiang

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

[8] arXiv:2105.01341 [pdf, other]

Title: Signal automata and hidden Markov models

Teodor Knapik (ISEA)

Subjects: Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

[9] arXiv:2105.01512 [pdf, other]

Title: Simulation by Rounds of Letter-to-Letter Transducers

Antonio Abu Nassar, Shaull Almagor

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 5, 2023) lmcs:9920

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

[10] arXiv:2105.02033 [pdf, other]

Title: Polynomial Graph Parsing with Non-Structural Reentrancies

Johanna Björklund, Frank Drewes, Anna Jonsson

Comments: 23 pages with 7 figures

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

[11] arXiv:2105.02611 [pdf, html, other]

Title: A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 1 (January 11, 2024) lmcs:10156

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

[12] arXiv:2105.02750 [pdf, other]

Title: Branching Frequency and Markov Entropy of Repetition-Free Languages

Elena A. Petrova, Arseny M. Shur

Comments: 16 pages, 2 figures. Submitted to DLT 2021

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

[13] arXiv:2105.03096 [pdf, other]

Title: Petri Net Invariant Synthesis

Peter Chini, Florian Furbach

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

[14] arXiv:2105.03375 [pdf, other]

Title: Executable Interval Temporal Logic Specifications

Antonio Cau, Stefan Kuhn, James Hoey

Comments: 11 pages, 0 figures, 1 table, abridged version to published in Reversible Computation 2021

Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL)

[15] arXiv:2105.04308 [pdf, other]

Title: Parallel Sandpiles or Spurious Bidirectional Icepiles?

Gianpiero Cattaneo, Luca Manzoni

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

[16] arXiv:2105.04593 [pdf, other]

Title: Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

Lening Li, Jie Fu

Comments: 7 pages, 2 figures, submitted to The 60th IEEE conference on Decision and Control

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

[17] arXiv:2105.05968 [pdf, other]

Title: A new version of Toom's proof

Peter Gacs

Subjects: Formal Languages and Automata Theory (cs.FL); Probability (math.PR)

[18] arXiv:2105.07470 [pdf, other]

Title: On Complementing Unambiguous Automata and Graphs With Many Cliques and Cocliques

Emil Indzhev, Stefan Kiefer

Comments: version implementing referees' suggestions

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

[19] arXiv:2105.08358 [pdf, other]

Title: Comparison-free polyregular functions

Lê Thành Dũng Tito Nguyên, Camille Noûs, Cécilia Pradic

Journal-ref: International Colloquium on Automata, Languages and Programming 2021, Jul 2021, Glasgow, United Kingdom

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

[20] arXiv:2105.08551 [pdf, other]

Title: Improved Ackermannian lower bound for the Petri nets reachability problem

Sławomir Lasota

Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL)

[21] arXiv:2105.09105 [pdf, other]

Title: The Černy Conjecture for aperiodic automata

A.N. Trahtman

Comments: 8 pages, DMTCS conference 2007

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

[22] arXiv:2105.09291 [pdf, other]

Title: Deciding FO2 Alternation for Automata over Finite and Infinite Words

Viktor Henriksson, Manfred Kufleitner

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

[23] arXiv:2105.09346 [pdf, other]

Title: Conelikes and Ranker Comparisons

Viktor Henriksson, Manfred Kufleitner

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

[24] arXiv:2105.09970 [pdf, other]

Title: Forest languages defined by counting maximal paths

Martin Beaudry

Comments: The proof of the main Lemma (3.11, section 3.4) is incomplete: in the middle of page 22, the fact that $γ$ is weakly distributive is not sufficient to justify the chain of two inclusions used to invoke Proposition 2.1

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

[25] arXiv:2105.09978 [pdf, other]

Title: A Generic Solution to Register-bounded Synthesis with an Application to Discrete Orders

Léo Exibard, Emmanuel Filiot, Ayrat Khalimov

Comments: Previously this version appeared as arXiv:2205.01952 which was submitted as a new work by accident. This is a full version of same-name paper accepted to ICALP'22

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