Formal Languages and Automata Theory

Authors and titles for September 2023

[1] arXiv:2309.00954 [pdf, other]

Title: On Decidability and Expressive Power of Fusion Grammars

Tikhon Pshenitsyn

Comments: Submitted to Theoretical Computer Science

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

[2] arXiv:2309.01126 [pdf, other]

Title: Proceedings of the 16th International Conference on Automata and Formal Languages

Zsolt Gazdag (University of Szeged, Hungary), Szabolcs Iván (University of Szeged, Hungary), Gergely Kovásznai (Eszterházy Károly Catholic University of Eger, Hungary)

Journal-ref: EPTCS 386, 2023

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

[3] arXiv:2309.01180 [pdf, other]

Title: A Usage-Aware Sequent Calculus for Differential Dynamic Logic

Myra Dotzel, Stefan Mitsch, André Platzer

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

[4] arXiv:2309.02747 [pdf, other]

Title: Reversible Two-Party Computations

Martin Kutrib, Andreas Malcher

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 142-154

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

[5] arXiv:2309.02748 [pdf, other]

Title: Operations on Boolean and Alternating Finite Automata

Galina Jirásková

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 3-10

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

[6] arXiv:2309.02749 [pdf, other]

Title: On the Degree of Extension of Some Models Defining Non-Regular Languages

Victor Mitrana (Polytechnic University of Madrid), Mihaela Păun (National Institute of Research and Development for Biological Sciences, Bucharest)

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 12-24

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

[7] arXiv:2309.02750 [pdf, other]

Title: Approximate State Reduction of Fuzzy Finite Automata

Miroslav Ćirić (University of Niš, Faculty of Sciences and Mathematics, Niš, Serbia), Ivana Micić (University of Niš, Faculty of Sciences and Mathematics, Niš, Serbia), Stefan Stanimirović (University of Niš, Faculty of Sciences and Mathematics, Niš, Serbia), Linh Anh Nguyen (University of Warsaw, Institute of Informatics, Warsaw, Poland)

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 51-66

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

[8] arXiv:2309.02751 [pdf, other]

Title: Weighted Automata over Vector Spaces

Nada Damljanović (University of Kragujevac, Faculty of Technical Sciences, Čačak, Serbia), Miroslav Ćirić (University of Niš, Faculty of Sciences and Mathematics, Niš, Serbia), Jelena Ignjatović (University of Niš, Faculty of Sciences and Mathematics, Niš, Serbia)

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 67-81

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

[9] arXiv:2309.02753 [pdf, other]

Title: Freezing 1-Tag Systems with States

Szilárd Zsolt Fazekas (Akita University), Shinnosuke Seki (University of Electro-Communications)

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 82-95

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

[10] arXiv:2309.02755 [pdf, other]

Title: When Stars Control a Grammar's Work

Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 96-111

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

[11] arXiv:2309.02756 [pdf, other]

Title: Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures

Nataliya Gribovskaya, Irina Virbitskaite

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 112-126

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

[12] arXiv:2309.02757 [pdf, other]

Title: On Minimal Pumping Constants for Regular Languages

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

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 127-141

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

[13] arXiv:2309.02758 [pdf, other]

Title: Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings

Andreas Maletti (Universität Leipzig, Germany), Nils Oskar Nuernbergk (private)

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 155-169

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

[14] arXiv:2309.02759 [pdf, other]

Title: State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters

Benedek Nagy (Eastern Mediterranean University, Eszterhazy Karoly Catholic University)

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 170-184

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

[15] arXiv:2309.02761 [pdf, other]

Title: Solving the Weighted HOM-Problem With the Help of Unambiguity

Andreea-Teodora Nász

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 200-214

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

[16] arXiv:2309.02763 [pdf, other]

Title: Once-Marking and Always-Marking 1-Limited Automata

Giovanni Pighizzini, Luca Prigioniero

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 215-227

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

[17] arXiv:2309.02765 [pdf, other]

Title: A General Approach to Proving Properties of Fibonacci Representations via Automata Theory

Jeffrey Shallit (University of Waterloo), Sonja Linghui Shan (University of Waterloo)

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 228-242

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

[18] arXiv:2309.02766 [pdf, other]

Title: Separating Words from Every Start State with Horner Automata

Nicholas Tran (Santa Clara University)

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 243-252

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

[19] arXiv:2309.04200 [pdf, other]

Title: Cyclic Operator Precedence Grammars for Parallel Parsing

Michele Chiari (1), Dino Mandrioli (2), Matteo Pradella (2, 3) ((1) TU Wien, (2) Politecnico di Milano, (3) IEIIT Consiglio Nazionale delle Ricerche)

Comments: 23 pages, 8 figures. arXiv admin note: text overlap with arXiv:2006.01236

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

[20] arXiv:2309.04274 [pdf, other]

Title: Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof

Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li

Comments: 10pages, 8 figures, a shorter version is accepted by PRDC 2023

Subjects: Formal Languages and Automata Theory (cs.FL); Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE)

[21] arXiv:2309.06200 [pdf, other]

Title: Petri Net Classes for Collaboration Mining: Assessment and Design Guidelines

Janik-Vasily Benzin, Stefanie Rinderle-Ma

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

[22] arXiv:2309.06840 [pdf, other]

Title: Symbolic Path-guided Test Cases for Models with Data and Time

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Thang Nguyen

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

[23] arXiv:2309.07333 [pdf, other]

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

Benedek Nagy, Rudolf Freund

Journal-ref: EPTCS 388, 2023

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

[24] arXiv:2309.07806 [pdf, html, other]

Title: Feasability of Learning Weighted Automata on a Semiring

Laure Daviaud, Marianne Johnson

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

[25] arXiv:2309.08321 [pdf, other]

Title: Reset thresholds of transformation monoids

Igor Rystsov, Marek Szykuła

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

[26] arXiv:2309.08714 [pdf, other]

Title: Generating Semantic Graph Corpora with Graph Expansion Grammar

Eric Andersson (Umeå University), Johanna Björklund (Umeå University), Frank Drewes (Umeå University), Anna Jonsson (Umeå University)

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 3-15

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

[27] arXiv:2309.08715 [pdf, other]

Title: Formalizing BPE Tokenization

Martin Berglund (Umeå University), Brink van der Merwe (Stellenbosch University)

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 16-27

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

[28] arXiv:2309.08716 [pdf, other]

Title: Deterministic Real-Time Tree-Walking-Storage Automata

Martin Kutrib (Institut für Informatik, Universität Giessen), Uwe Meyer (Technische Hochschule Mittelhessen)

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 48-62

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

[29] arXiv:2309.08717 [pdf, other]

Title: Ordered Context-Free Grammars Revisited

Brink van der Merwe

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 140-153

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

[30] arXiv:2309.08718 [pdf, other]

Title: On Languages Generated by Signed Grammars

Ömer Eğecioğlu (Department of Computer Science, University of California, Santa Barbara, CA, USA), Benedek Nagy (Department of Mathematics, Eastern Mediterranean University, North Cyprus, Mersin, Turkey; Department of Computer Science, Institute of Mathematics and Informatics, Eszterhazy Karoly Catholic University, Eger, Hungary)

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 28-37

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

[31] arXiv:2309.08719 [pdf, other]

Title: Final Sentential Forms

Tomáš Kožár, Zbyněk Křivka, Alexander Meduna

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 38-47

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

[32] arXiv:2309.08720 [pdf, other]

Title: Latvian Quantum Finite State Automata for Unary Languages

Carlo Mereghetti (University of Milan, Dept. Comp. Sci.), Beatrice Palano (University of Milan, Dept. Comp. Sci.), Priscilla Raucci (University of Milan, Dept. Comp. Sci.)

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 63-78

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

[33] arXiv:2309.08722 [pdf, other]

Title: Constituency Parsing as an Instance of the M-monoid Parsing Problem

Richard Mörbitz (Technische Universität Dresden)

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 79-94

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

[34] arXiv:2309.08723 [pdf, other]

Title: Sweeping Permutation Automata

Maria Radionova (St. Petersburg State University), Alexander Okhotin (St. Petersburg State University)

Comments: In Proceedings NCMA 2023, arXiv:2309.07333

Journal-ref: EPTCS 388, 2023, pp. 110-124

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

[35] arXiv:2309.09189 [pdf, other]

Title: Shuffling posets on trajectories (technical report)

Luc Edixhoven

Comments: 9 pages. Technical report of a paper to be published in the conference proceedings of iFM 2023

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

[36] arXiv:2309.09566 [pdf, other]

Title: Synchronous orders on the set of integers

Christian Choffrut

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

[37] arXiv:2309.10562 [pdf, other]

Title: Characterizing morphic sequences

Hans Zantema

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

[38] arXiv:2309.11363 [pdf, other]

Title: Robert's theorem and graphs on complete lattices

Maximilien Gadouleau

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

[39] arXiv:2309.14401 [pdf, other]

Title: Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds

Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits

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

[40] arXiv:2309.17318 [pdf, other]

Title: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification

Antonis Achilleos (Reykjavik University), Dario Della Monica (University of Udine)

Journal-ref: EPTCS 390, 2023

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

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

Title: Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya

Comments: Accepted in Concur 2023

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

[42] arXiv:2309.00475 (cross-list from math.GR) [pdf, html, other]

Title: Effective equation solving, constraints and growth in virtually abelian groups

Laura Ciobanu, Alex Evetts, Alex Levine

Comments: 28 pages

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

[43] arXiv:2309.00708 (cross-list from math.QA) [pdf, other]

Title: From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions

Mee Seong Im, Mikhail Khovanov

Comments: 40 pages, many figures, corrected minor misprints. To appear in Contemporary Mathematics, conference proceedings "From Representation Theory to Mathematical Physics and Back"

Subjects: Quantum Algebra (math.QA); Formal Languages and Automata Theory (cs.FL); Mathematical Physics (math-ph); Category Theory (math.CT); Representation Theory (math.RT)

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

Title: Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars

Bianca Truthe

Comments: In Proceedings AFL 2023, arXiv:2309.01126

Journal-ref: EPTCS 386, 2023, pp. 253-268

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

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

Title: Arithmetical subword complexity of automatic sequences

Jakub Konieczny, Clemens Müllner

Comments: 14 pages, comments welcome

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

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

Title: Sums of products of binomial coefficients mod 2 and 2-regular sequences

Narad Rampersad, Max Wiebe

Comments: 16 pages

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

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

Title: Deciding Differential Privacy of Online Algorithms with Multiple Variables

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal

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

[48] arXiv:2309.07168 (cross-list from cs.LG) [pdf, other]

Title: Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability Analysis

Mehdi Zadem (LIX, U2IS), Sergio Mover (LIX), Sao Mai Nguyen (U2IS, Flowers, IMT Atlantique - INFO, Lab-STICC_RAMBO)

Journal-ref: Intrinsically Motivated Open-ended Learning IMOL 2023, Sep 2023, Paris, France

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Robotics (cs.RO)

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

Title: Quantifying Masking Fault-Tolerance via Fair Stochastic Games

Pablo F. Castro (Universidad Nacional de Río Cuarto-CONICET), Pedro R. D'Argenio (Universidad Nacional de Córdoba-CONICET), Ramiro Demasi (Universidad Nacional de Córdoba-CONICET), Luciano Putruele (Universidad Nacional de Río Cuarto-CONICET)

Comments: In Proceedings EXPRESS/SOS2023, arXiv:2309.05788. arXiv admin note: substantial text overlap with arXiv:2207.02045

Journal-ref: EPTCS 387, 2023, pp. 132-148

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

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

Title: Merging two Hierarchies of Internal Contextual Grammars with Subregular Selection

Bianca Truthe

Comments: In Proceedings NCMA 2023, arXiv:2309.07333. arXiv admin note: text overlap with arXiv:2309.02768, arXiv:2208.14725

Journal-ref: EPTCS 388, 2023, pp. 125-139

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