Formal Languages and Automata Theory

Authors and titles for cs.FL in Jan 2021

[1]  arXiv:2101.00012 [pdf, other]

Title: Encoding sinusoidal functions in hybrid automata formalism

Authors: Nikolaos Kekatos

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

[2]  arXiv:2101.01033 [pdf, other]

Title: Bidimensional linear recursive sequences and universality of unambiguous register automata

Authors: Corentin Barloy, Lorenzo Clemente

Comments: full version of the homonymous paper to appear in the proceedings of STACS'21

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

[3]  arXiv:2101.01255 [pdf, ps, other]

Title: Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET$^{SMT}$

Authors: Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos

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

[4]  arXiv:2101.01968 [pdf, other]

Title: Positive first-order logic on words

Authors: Denis Kuperberg

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

[5]  arXiv:2101.02310 [pdf, ps, other]

Title: Parallel Hyperedge Replacement Grammars

Authors: Graham Campbell

Comments: 40 pages, 2021

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

[6]  arXiv:2101.02594 [pdf, other]

Title: On Satisficing in Quantitative Games

Authors: Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi

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

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

[7]  arXiv:2101.03039 [pdf, ps, other]

Title: Nondeterministic Syntactic Complexity

Authors: Robert Myers, Stefan Milius, Henning Urbat

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

[8]  arXiv:2101.05057 [pdf, other]

Title: Synchronizing Strongly Connected Partial DFAs

Authors: Mikhail V. Berlinkov, Robert Ferens, Andrew Ryzhikov, Marek Szykuła

Comments: Full version of the paper at STACS 2021

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

[9]  arXiv:2101.05895 [pdf, ps, other]

Title: A Ramsey Theorem for Finite Monoids

Authors: Ismaël Jecker

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

[10]  arXiv:2101.07038 [pdf, other]

Title: Computability of Data-Word Transductions over Different Data Domains

Authors: Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (July 29, 2022) lmcs:7104

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

[11]  arXiv:2101.07053 [pdf, other]

Title: A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces

Authors: Iman Saberi, Fathiyeh Faghih, Farzad Sobhi Bavil

Comments: 10 pages, 15 figures

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

[12]  arXiv:2101.07130 [pdf, other]

Title: SD-Regular Transducer Expressions for Aperiodic Transformations

Authors: Luc Dartois, Paul Gastin, Shankara Narayanan Krishna

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

[13]  arXiv:2101.07174 [pdf, other]

Title: Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving

Authors: Mohamed Abdelghany, Sofiene Tahar

Comments: 41 pages, 17 figures, 8 tables

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

[14]  arXiv:2101.08011 [pdf, other]

Title: One-way resynchronizability of word transducers

Authors: Sougata Bose, S.N. Krishna, Anca Muscholl, Gabriele Puppis

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

[15]  arXiv:2101.08200 [pdf, other]

Title: Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)

Authors: Daniel M. Yellin, Gail Weiss

Comments: Extended version of paper to appear in TACAS 2021

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

[16]  arXiv:2101.08611 [pdf, other]

Title: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

Authors: Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 4 (October 21, 2022) lmcs:7606

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

[17]  arXiv:2101.08720 [pdf, ps, other]

Title: Leafy Automata for Higher-Order Concurrency

Authors: Alex Dixon, Ranko Lazić, Andrzej S. Murawski, Igor Walukiewicz

Comments: 18 pages plus appendices

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

[18]  arXiv:2101.08756 [pdf, other]

Title: Certifying Inexpressibility

Authors: Orna Kupferman, Salomon Sickert

Comments: This is the full version of an article with the same title that appears in the FoSSaCS 2021 conference proceedings

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

[19]  arXiv:2101.11996 [pdf, ps, other]

Title: Continuous One-Counter Automata

Authors: Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez

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

[20]  arXiv:2101.01409 (cross-list from cs.DC) [pdf, ps, other]

Title: Revisiting the Role of Coverings in Anonymous Networks: Spanning Tree Construction and Topology Recognition

Authors: Arnaud Casteigts, Yves Métivier, John Michael Robson

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

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

Title: Fine-Grained Complexity of Regular Path Queries

Authors: Katrin Casel, Markus L. Schmid

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (November 27, 2023) lmcs:8625

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)

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

Title: Robust and Attack Resilient Logic Locking with a High Application-Level Impact

Authors: Yuntao Liu, Michael Zuzak, Yang Xie, Abhishek Chakraborty, Ankur Srivastava

Subjects: Cryptography and Security (cs.CR); Hardware Architecture (cs.AR); Formal Languages and Automata Theory (cs.FL)

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

Title: Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

Authors: Szymon Toruńczyk, Thomas Zeume

Comments: The short version of this article appeared in the conference proceedings of LICS 2020

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (March 23, 2022) lmcs:7077

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

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

Title: Analysis of E-commerce Ranking Signals via Signal Temporal Logic

Authors: Tommaso Dreossi (Amazon Search), Giorgio Ballardin (Amazon Search), Parth Gupta (Amazon Search), Jan Bakus (Amazon Search), Yu-Hsiang Lin (Amazon Search), Vamsi Salaka (Amazon Search)

Comments: In Proceedings SNR 2020, arXiv:2101.05256

Journal-ref: EPTCS 331, 2021, pp. 33-42

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[25]  arXiv:2101.06104 (cross-list from eess.SY) [pdf, ps, other]

Title: Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets

Authors: Ru Yang, Zhijun Ding, Changjun Jiang, MengChu Zhou

Comments: 12 pages

Journal-ref: IEEE Transactions on Automation Science and Engineering, 2022

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