Formal Languages and Automata Theory

Authors and titles for May 2021

[26] arXiv:2105.10292 [pdf, other]

Title: Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines

Alberto Larrauri, Roderick Bloem

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

[27] arXiv:2105.10293 [pdf, html, other]

Title: Decision Questions for Probabilistic Automata on Small Alphabets

Paul C. Bell, Pavel Semukhin

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

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

[28] arXiv:2105.10654 [pdf, other]

Title: An algorithm to verify local threshold testability of deterministic finite automata

A.N. Trahtman

Comments: 8 pages, 6 figures, PTSD conference, Lecture notes of computer science

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

[29] arXiv:2105.10897 [pdf, other]

Title: Asynchronous wreath product and cascade decompositions for concurrent behaviours

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 2 (June 28, 2022) lmcs:7504

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

[30] arXiv:2105.11911 [pdf, other]

Title: Automata Learning for Automated Test Generation of Real Time Localization Systems

Swantje Plambeck, Jakob Schyga, Johannes Hinckeldeyn, Jochen Kreutzfeldt, Görschwin Fey

Comments: 4 pages, 2 figures, included in the proceedings of the LEAC 2021 workshop

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

[31] arXiv:2105.12009 [pdf, other]

Title: On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

Antonio Casares

Comments: Accepted in CSL 2022

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

[32] arXiv:2105.12125 [pdf, other]

Title: An explicit algorithm for normal forms in small overlap monoids

James D. Mitchell, Maria Tsalakou

Comments: 31 pages, 6 figures (some further minor corrections from the referee are resolved, to appear in Journal of Algebra)

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

[33] arXiv:2105.12583 [pdf, other]

Title: A package TESTAS for checking some kinds of testability

A.N.Trahtman

Comments: 5 pages, Lecture Notes in Computer Science 2608(2003), 228-232

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

[34] arXiv:2105.13683 [pdf, other]

Title: Fast zone-based algorithms for reachability in pushdown timed automata

S. Akshay, Paul Gastin, Karthik R Prakash

Comments: Long version of conference paper accepted at CAV'2021

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

[35] arXiv:2105.13837 [pdf, other]

Title: Adapting Behaviors via Reactive Synthesis

Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss

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

[36] arXiv:2105.14860 [pdf, other]

Title: Definability Results for Top-Down Tree Transducers

Sebastian Maneth, Helmut Seidl, Martin Vu

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

[37] arXiv:2105.14903 [pdf, other]

Title: Lower Bounds for the Number of Repetitions in 2D Strings

Paweł Gawrychowski, Samah Ghazawi, Gad M. Landau

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

[38] arXiv:2105.14990 [pdf, other]

Title: A new distance based on minimal absent words and applications to biological sequences

Giuseppa Castiglione, Jia Gao, Sabrina Mantaci, Antonio Restivo

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

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

Title: Higher-Order Model Checking Step by Step

Paweł Parys

Comments: This is an extended version of a paper published on the ICALP 2021 conference

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

[40] arXiv:2105.03038 (cross-list from math.CT) [pdf, other]

Title: Lambek pregroups are Frobenius spiders in preorders

Dusko Pavlovic

Comments: 21 pages, 16 diagrams. Final journal version: DOI kindly inserted by Fosco Loregian

Journal-ref: Compositionality, Volume 4 (2022) (April 13, 2022) compositionality:13515

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

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

Title: Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications

Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara

Comments: 15 pages, 4 figures, 2 tables, submitted to a journal

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

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

Title: Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan Liang, Song-Chun Zhu

Comments: Accepted to ACL 2021, 13 pages, 6 figures

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Formal Languages and Automata Theory (cs.FL)

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

Title: Multi-Objective Controller Synthesis with Uncertain Human Preferences

Shenghui Chen, Kayla Boggess, David Parker, Lu Feng

Comments: 11 pages, 10 figures, 1 table

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

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

Title: Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)

Yuandong Cyrus Liu (1), Chengbin Pang (1), Daniel Dietsch (2), Eric Koskinen (1), Ton-Chanh Le (1), Georgios Portokalidis (1), Jun Xu (1) ((1) Stevens Institute of Technology, (2) University of Freiburg)

Comments: 39 pages(including Appendix), 10 tables, 4 Postscript figures, accepted to APLAS 2021

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE); Systems and Control (eess.SY)

[45] arXiv:2105.06184 (cross-list from quant-ph) [pdf, other]

Title: Implementing Quantum Finite Automata Algorithms on Noisy Devices

Utku Birkan, Özlem Salehi, Viktor Olejar, Cem Nurlu, Abuzer Yakaryılmaz

Comments: 14 pages, accepted to "Quantum Computing Thematic Track in conjunction with the International Conference on Computational Science 2021"

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

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

Title: Deciding FO-definability of regular languages

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

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

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

Title: Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives

James C. A. Main, Mickael Randour, Jeremy Sproston

Comments: Full version of CONCUR 2021 conference paper, 36 pages

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

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

Title: Bounded Reachability Problems are Decidable in FIFO Machines

Benedikt Bollig, Alain Finkel, Amrita Suresh

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 20, 2022) lmcs:7485

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

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

Title: Sofically presented dynamical systems

Johan Kopra, Ville Salo

Comments: 56+5 pages, 4 figures

Subjects: Dynamical Systems (math.DS); Formal Languages and Automata Theory (cs.FL); General Topology (math.GN)

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

Title: Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

Comments: This conference paper has been submitted to the 60th IEEE Conference on Decision and Control (CDC 2021)

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