Formal Languages and Automata Theory

Authors and titles for August 2022

[1] arXiv:2208.00412 [pdf, other]

Title: Active Learning of One-Clock Timed Automata using Constraint Solving

Runqing Xu, Jie An, Bohua Zhan

Comments: The full version of the paper accecpted in ATVA2022

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

[2] arXiv:2208.00554 [pdf, other]

Title: A Diamond Structure in the Transducer Hierarchy

Noah Kaufmann

Comments: Incorrectly uploaded

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

[3] arXiv:2208.02286 [pdf, other]

Title: On the homology language of HDA models of transition systems

Thomas Kahl

Comments: 17 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Algebraic Topology (math.AT)

[4] arXiv:2208.03123 [pdf, html, other]

Title: Watson-Crick conjugates of words and languages

Kalpana Mahalingam, Anuran Maity

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

[5] arXiv:2208.04416 [pdf, other]

Title: Fair Planning for Mobility-on-Demand with Temporal Logic Requests

Kaier Liang, Cristian-Ioan Vasile

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

[6] arXiv:2208.04931 [pdf, other]

Title: Co-lexicographically Ordering Automata and Regular Languages -- Part I

Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza

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

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

[7] arXiv:2208.05131 [pdf, other]

Title: Synthesizing Transducers from Complex Specifications

Anvay Grover, Ruediger Ehlers, Loris D'Antoni

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

[8] arXiv:2208.05559 [pdf, other]

Title: Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types

Felix Stutz, Damien Zufferey

Comments: 15 pages, 28 pages including appendix; to appear in GandALF 2022

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

[9] arXiv:2208.05956 [pdf, html, other]

Title: Completely reachable automata: a quadratic decision algorithm and a quadratic upper bound on the reaching threshold

Robert Ferens, Marek Szykuła

Comments: Revision and new results. This is the extended version of this https URL

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

[10] arXiv:2208.06025 [pdf, other]

Title: Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev

Jeffrey Shallit, Sonja Linghui Shan, Kai Hsiang Yang

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

[11] arXiv:2208.06383 [pdf, other]

Title: Synthesis of Parametric Hybrid Automata from Time Series

Miriam García Soto, Thomas A. Henzinger, Christian Schilling

Journal-ref: ATVA 2022

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)

[12] arXiv:2208.08319 [pdf, other]

Title: Active Learning for Deterministic Bottom-up Nominal Tree Automata

R. Nakanishi, Y. Takata, H. Seki

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

[13] arXiv:2208.10347 [pdf, other]

Title: A robust class of languages of 2-nested words

Séverine Fratani, Guillaume Maurras, Pierre-Alain Reynier

Comments: Extended version of paper published at MFCS 2022

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

[14] arXiv:2208.12117 [pdf, other]

Title: Coarser Equivalences for Causal Concurrency

Azadeh Farzan, Umang Mathur

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

[15] arXiv:2208.13015 [pdf, other]

Title: Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications

Henning Bordihn, Géza Horváth, György Vaszil

Journal-ref: EPTCS 367, 2022

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

[16] arXiv:2208.14720 [pdf, other]

Title: Reversible Computations of One-Way Counter Automata

Martin Kutrib (Institut für Informatik, Universität Giessen), Andreas Malcher (Institut für Informatik, Universität Giessen)

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

Journal-ref: EPTCS 367, 2022, pp. 126-142

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

[17] arXiv:2208.14722 [pdf, other]

Title: Combinatorial Algorithms for Subsequence Matching: A Survey

Maria Kosche (Göttingen University, Germany), Tore Koß (Göttingen University, Germany), Florin Manea (Göttingen University, Germany), Stefan Siemer (Göttingen University, Germany)

Comments: This is a revised version of the paper with the same title which appeared in the Proceedings of NCMA 2022, EPTCS 367, 2022, pp. 11-27 (DOI: https://doi.org/10.4204/EPTCS.367.2). The revision consists in citing a series of relevant references which were not covered in the initial version, and commenting on how they relate to the results we survey. arXiv admin note: text overlap with arXiv:2206.13896

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

[18] arXiv:2208.14723 [pdf, other]

Title: P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks

Artiom Alhazov (Vladimir Andrunachievici Institute of Mathematics and Computer Science), Rudolf Freund (Faculty of Informatics, TU Wien), Sergiu Ivanov (Université Paris-Saclay, Univ. Évry, IBISC)

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

Journal-ref: EPTCS 367, 2022, pp. 28-48

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

[19] arXiv:2208.14724 [pdf, other]

Title: Monadic Expressions and their Derivatives

Samira Attou (LITIS, Université de Rouen Normandie), Ludovic Mignot (GR2IF, Université de Rouen Normandie), Clément Miklarz (GR2IF, Université de Rouen Normandie), Florent Nicart (GR2IF, Université de Rouen Normandie)

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

Journal-ref: EPTCS 367, 2022, pp. 49-64

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

[20] arXiv:2208.14725 [pdf, other]

Title: On the Generative Capacity of Contextual Grammars with Strictly Locally Testable Selection Languages

Jürgen Dassow (Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg), Bianca Truthe (Institut für Informatik, Universität Giessen)

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

Journal-ref: EPTCS 367, 2022, pp. 65-80

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

[21] arXiv:2208.14728 [pdf, other]

Title: Conclusive Tree-Controlled Grammars

Dominika Klobučníková (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology), Zbyněk Křivka (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology), Alexander Meduna (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology)

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

Journal-ref: EPTCS 367, 2022, pp. 112-125

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

[22] arXiv:2208.14729 [pdf, other]

Title: Non-Returning Finite Automata With Translucent Letters

František Mráz (Charles University), Friedrich Otto (Universität Kassel)

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

Journal-ref: EPTCS 367, 2022, pp. 143-159

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

[23] arXiv:2208.14730 [pdf, other]

Title: Quasi-deterministic 5' -> 3' Watson-Crick Automata

Benedek Nagy (Eastern Mediterranean University)

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

Journal-ref: EPTCS 367, 2022, pp. 160-176

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

[24] arXiv:2208.14731 [pdf, other]

Title: On the Accepting State Complexity of Operations on Permutation Automata

Christian Rauch (Institut für Informatik, Universität Giessen), Markus Holzer (Institut für Informatik, Universität Giessen)

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

Journal-ref: EPTCS 367, 2022, pp. 177-189

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

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

Title: Conjunctive Queries for Logic-Based Information Extraction

Sam M. Thompson

Comments: Based on the author's PhD thesis and contains work from two conference publications (arXiv:2104.04758, arXiv:1909.10869) which are joint work with Dominik D. Freydenberger

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

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

Title: Petri Nets for Concurrent Programming

Marshall Rawson, Michael Rawson

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

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

Title: Covariant-Contravariant Refinement Modal $μ$-calculus

Huili Xing

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

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

Title: Fast detection of specific fragments against a set of sequences

Marie-Pierre Béal, Maxime Crochemore

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

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

Title: Almost optimal searching of maximal subrepetitions in a word

Roman Kolpakov

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

[30] arXiv:2208.05266 (cross-list from cs.SE) [pdf, other]

Title: Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Maurice H. ter Beek, Alessio Ferrari

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)

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

Title: A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables

Adrien Benamira, Tristan Guérand, Thomas Peyrin, Trevor Yap, Bryan Hooi

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

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

Title: Embedding arbitrary Boolean circuits into fungal automata

Augusto Modanese, Thomas Worsch

Comments: 19 pages, 17 figures. To appear in LATIN 2022

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

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

Title: A Generic Information Extraction System for String Constraints

Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

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

[34] arXiv:2208.08913 (cross-list from cs.DM) [pdf, html, other]

Title: Walking on Words

Ian Pratt-Hartmann

Comments: Considerably extended from v1. (Secs. 4, 5 and 6 added.)

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

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

Title: Reachability Games and Parity Games

Volker Diekert, Manfred Kufleitner

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

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

Title: Regular languages defined by first-order formulas without quantifier alternation

Andreas Krebs, Howard Straubing

Comments: 13 pages

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

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

Title: Generating Regular Hyperbolic Honeycombs

Dorota Celińska-Kopczyńska, Eryk Kopczyński

Comments: We plan to extend this in the future with additional numerical experiments

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