Formal Languages and Automata Theory

Authors and titles for February 2022

[1] arXiv:2202.00643 [pdf, other]

Title: Topological invariants for words of linear factor complexity

Jason Bell

Comments: 14 pages

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

[2] arXiv:2202.01594 [pdf, other]

Title: Approximate NFA Universality and Related Problems Motivated by Information Theory

Stavros Konstantinidis (1), Mitja Mastnak (1), Nelma Moreira (2), Rogério Reis (2) ((1) Saint Mary's University Halifax Canada, (2) University of Porto Portugal)

Comments: 23 pages

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

[3] arXiv:2202.02609 [pdf, other]

Title: Logarithmic equal-letter runs for BWT of purely morphic words

Andrea Frosini, Ilaria Mancini, Simone Rinaldi, Giuseppe Romana, Marinella Sciortino

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

[4] arXiv:2202.02613 [pdf, other]

Title: On the Complexity of Coordinated Table Selective Substitution Systems

Liliana Cojocaru

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

[5] arXiv:2202.03791 [pdf, other]

Title: Kleene Theorem for Higher-Dimensional Automata

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 4 (December 10, 2024) lmcs:11134

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

[6] arXiv:2202.03989 [pdf, other]

Title: The amazing mixed polynomial closure and its applications to two-variable first-order logic

Thomas Place

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

[7] arXiv:2202.04340 [pdf, other]

Title: Efficient Construction of Reversible Transducers from Regular Transducer Expressions

Luc Dartois, Paul Gastin, R. Govind, Shankaranarayanan Krishna

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

[8] arXiv:2202.05701 [pdf, other]

Title: Minimality Notions via Factorization Systems and Examples

Thorsten Wißmann

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

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (September 8, 2022) lmcs:9893

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

[9] arXiv:2202.07480 [pdf, other]

Title: Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness

Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

Journal-ref: TheoretiCS, Volume 2 (February 24, 2023) theoretics:9088

Subjects: Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC); Systems and Control (eess.SY)

[10] arXiv:2202.07629 [pdf, other]

Title: Deciding What is Good-for-MDPs

Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova

Comments: 26 pages, accepted to CONCUR 2023

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

[11] arXiv:2202.08033 [pdf, other]

Title: Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

Wojciech Czerwiński, Piotr Hofman

Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 1 (March 20, 2025) lmcs:11165

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

[12] arXiv:2202.09675 [pdf, other]

Title: Finite maximal codes and factorizations of cyclic groups

Clelia De Felice

Journal-ref: Journal of Automata, Languages and Combinatorics, Vol. 28, 2023

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

[13] arXiv:2202.12038 [pdf, other]

Title: Construction of a bi-infinite power free word with a given factor and a non-recurrent letter

Josef Rukavicka

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

[14] arXiv:2202.00559 (cross-list from eess.SP) [pdf, other]

Title: Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG

Abhinandan Panda, Srinivas Pinisetty, Partha Roop

Comments: 5pages, 6 figures

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

[15] arXiv:2202.02583 (cross-list from eess.SY) [pdf, other]

Title: Temporal Robustness of Stochastic Signals

Lars Lindemann, Alena Rodionova, George J. Pappas

Comments: 24 pages, accepted for presentation at, and publication in, the 25th ACM International Conference on Hybrid Systems: Computation and Control

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)

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

Title: An Executable Formal Model of the VHDL in Isabelle/HOL

Wilayat Khan, Zhe Hou, David Sanan, Jamel Nebhen, Yang Liu, Alwen Tiu

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

[17] arXiv:2202.04915 (cross-list from quant-ph) [pdf, other]

Title: Quantum advantage using high-dimensional twisted photons as quantum finite automata

Stephen Z. D. Plachta, Markus Hiekkamäki, Abuzer Yakaryılmaz, Robert Fickler

Comments: 20 pages, 10 figures

Journal-ref: Quantum 6, 752 (2022)

Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL)

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

Title: Kirigami, the Verifiable Art of Network Cutting

Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker

Comments: 30 pages, 9 figures, submitted to CAV 2022

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

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

Title: Processes Parametrised by an Algebraic Theory

Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot

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

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

Title: Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents

Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru

Comments: To appear in IEEE Security and Privacy, 2022

Subjects: Cryptography and Security (cs.CR); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

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

Title: Generating Hard Problems of Cellular Automata

Souvik Sur

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

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

Title: Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction

Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma

Comments: 32 pages, 18 figures (with appendix)

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

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

Title: Isometry groups of formal languages for generalized Levenshtein distances

Vladimir Yankovskiy

Comments: 8 pages

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

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

Title: Topological theories and automata

Mee Seong Im, Mikhail Khovanov

Comments: 70 pages, many figures

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

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

Title: Quotients of Palindromic and Antipalindromic Numbers

James Haoyu Bai, Joseph Meleshko, Samin Riasat, Jeffrey Shallit

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

[26] arXiv:2202.13884 (cross-list from q-bio.GN) [pdf, other]

Title: Numeric Lyndon-based feature embedding of sequencing reads for machine learning approaches

Paola Bonizzoni (1), Matteo Costantini (1), Clelia De Felice (2), Alessia Petescia (1), Yuri Pirola (1), Marco Previtali (1), Raffaella Rizzi (1), Jens Stoye (3), Rocco Zaccagnino (2), Rosalba Zizza (2) ((1) University of Milano-Bicocca, (2) University of Salerno, (3) University of Bielefeld)

Journal-ref: Information Sciences 607 (2022) 458-476

Subjects: Genomics (q-bio.GN); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)