Formal Languages and Automata Theory

Authors and titles for January 2022

[1] arXiv:2201.00549 [pdf, other]

Title: Efficient Enumeration Algorithms for Annotated Grammars

Antoine Amarilli, Louis Jachiet, Martín Muñoz, Cristian Riveros

Comments: 54 pages. Full version with proofs of the article to appear at PODS'22. Except formatting and minor differences, this article contains all the contents of the PODS'22 article, plus the technical appendices

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[2] arXiv:2201.01493 [pdf, other]

Title: Decision trees for binary subword-closed languages

Mikhail Moshkov

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

[3] arXiv:2201.01670 [pdf, other]

Title: Finite-Word Hyperlanguages

Borzoo Bonakdarpour, Sarai Sheinvald

Comments: 28 pages

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

[4] arXiv:2201.01952 [pdf, other]

Title: Decision trees for regular factorial languages

Mikhail Moshkov

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

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

[5] arXiv:2201.05075 [pdf, other]

Title: Completely reachable automata: an interplay between automata, graphs, and trees

Evgeniya A. Bondar, David Casas, Mikhail V. Volkov

Comments: 29 pages, 16 figures

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

[6] arXiv:2201.05376 [pdf, other]

Title: Improvements to ltlsynt

Florian Renkin (LRDE), Philipp Schlehuber (LRDE), Alexandre Duret-Lutz (LRDE), Adrien Pommellet (LRDE)

Journal-ref: 10th Workshop on Synthesis, Jul 2021, Los Angeles, United States

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

[7] arXiv:2201.05954 [pdf, other]

Title: Mechanical proving with Walnut for squares and cubes in partial words

John Machacek

Comments: v2 is the full version of the conference paper presented at CPM 2022

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

[8] arXiv:2201.06115 [pdf, other]

Title: The Normalized Edit Distance with Uniform Operation Costs is a Metric

Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss

Comments: 14 pages, 0 figures, accepted to CPM 2022

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

[9] arXiv:2201.06826 [pdf, other]

Title: Characterizing level one in group-based concatenation hierarchies

Thomas Place, Marc Zeitoun

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

[10] arXiv:2201.09784 [pdf, other]

Title: Time distance based computation of the state space of preemptive real time systems

Abdelkrim Abdelli

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

[11] arXiv:2201.09825 [pdf, other]

Title: Supported Sets -- A New Foundation For Nominal Sets And Automata

Thorsten Wißmann

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

[12] arXiv:2201.10267 [pdf, other]

Title: On the Translation of Automata to Linear Temporal Logic

Udi Boker, Karoliina Lehtinen, Salomon Sickert

Comments: Full version with appendix of a chapter with the same title that appears in the FoSSaCS 2022 conference proceedings

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

[13] arXiv:2201.11619 [pdf, other]

Title: Positive First-order Logic on Words and Graphs

Denis Kuperberg

Comments: arXiv admin note: substantial text overlap with arXiv:2101.01968

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 3 (July 25, 2023) lmcs:9081

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

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

Title: Prognosis: Closed-Box Analysis of Network Protocol Implementations

Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva

Comments: ACM SIGCOMM 2021 Conference (SIGCOMM '21), August 23--27, 2021, Virtual Event, USA

Journal-ref: In Proceedings of the 2021 ACM SIGCOMM 2021 Conference. ACM, New York, NY, USA, 762-774

Subjects: Networking and Internet Architecture (cs.NI); Formal Languages and Automata Theory (cs.FL)

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

Title: First-order separation over countable ordinals

Thomas Colcombet, Sam van Gool, Rémi Morvan

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

[16] arXiv:2201.04477 (cross-list from cs.AI) [pdf, other]

Title: DPCL: a Language Template for Normative Specifications

Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci, Tom van Engers

Comments: position paper at ProLaLa workshop @ POPL2022

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Multiagent Systems (cs.MA); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

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

Title: Characterizations of families of morphisms and words via binomial complexities

Michel Rigo, Manon Stipulanti, Markus A. Whiteland

Comments: 35 pages, 2 figures. Short version under a different title: M. Rigo, M. Stipulanti, and M. A. Whiteland. Binomial complexities and Parikh-collinear morphisms. In V. Diekert and M. V. Volkov, editors, DLT 2022, volume 13257 of LNCS, 251-262. Springer, 2022. doi:https://doi.org/10.1007/978-3-031-05578-2\_20

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

[18] arXiv:2201.05173 (cross-list from cs.CL) [pdf, other]

Title: The Combinatorics of \textit{Salva Veritate} Principles

Norman E. Trushaev

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

[19] arXiv:2201.06636 (cross-list from math.NT) [pdf, other]

Title: On digital sequences associated with Pascal's triangle

Pierre Mathonet, Michel Rigo, Manon Stipulanti, Naïm Zénaïdi

Comments: 24 pages, 12 figures

Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

[20] arXiv:2201.08275 (cross-list from cs.PL) [pdf, other]

Title: The Different Shades of Infinite Session Types

Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos

Comments: 51 pages, 12 figures

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

[21] arXiv:2201.09034 (cross-list from cs.CC) [pdf, other]

Title: Strong Sleptsov Net is Turing-Complete

Dmitry A. Zaitsev

Comments: 21 pages, 8 figures, 2 tables, 43 references

Journal-ref: Information Sciences, Volume 621, 2023, Pages 172-182, ISSN 0020-0255

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

[22] arXiv:2201.09060 (cross-list from cs.CL) [pdf, other]

Title: Solvability of orbit-finite systems of linear equations

Arka Ghosh, Piotr Hofman, Sławomir Lasota

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

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

Title: Prefix palindromic length of the Sierpinski word

Dora V. Bulgakova, Anna E. Frid, Jérémy Scanvic

Comments: Accepted to DLT 2022

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

[24] arXiv:2201.10531 (cross-list from cs.CR) [pdf, other]

Title: HOLL: Program Synthesis for Higher OrderLogic Locking

Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy

Comments: Accepted in TACAS-22 conference. 24 pages llncs format (without references), 11 figures, 5 tables

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

[25] arXiv:2201.10825 (cross-list from cs.GT) [pdf, html, other]

Title: Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem under Finite-Memory Assumptions

James C. A. Main, Mickael Randour

Comments: Extended version, preprint of Information and Computation article, 36 pages

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

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

Title: Deciding Asynchronous Hyperproperties for Recursive Programs

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

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

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

Title: The road problem and homomorphisms of directed graphs

Sophie MacDonald

Comments: 25 pages, no figures

Journal-ref: Theoretical Computer Science 968 (113981) 2023 pp. 1-25

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)

[28] arXiv:2201.13056 (cross-list from cs.AR) [pdf, other]

Title: The complexity gap in the static analysis of cache accesses grows if procedure calls are added

David Monniaux (VERIMAG - IMAG)

Subjects: Hardware Architecture (cs.AR); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[29] arXiv:2201.13283 (cross-list from math.DS) [pdf, other]

Title: On reversible asynchronous non-uniform cellular automata

Xuan Kien Phung

Comments: Updated version with several modifications

Subjects: Dynamical Systems (math.DS); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)

[30] arXiv:2201.13446 (cross-list from math.CO) [pdf, html, other]

Title: A Note on the Relation between Recognisable Series and Regular Sequences, and their Minimal Linear Representations

Clemens Heuberger, Daniel Krenn, Gabriel F. Lipnik

Journal-ref: J. Symbolic Comput. 123 (2024), Paper No. 102295, 9 pp

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