Formal Languages and Automata Theory

Authors and titles for October 2020

[1] arXiv:2010.00523 [pdf, other]

Title: On Store Languages and Applications

Oscar H. Ibarra, Ian McQuillan

Journal-ref: Information and Computation, 267, 28-48, 2019

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

[2] arXiv:2010.02055 [pdf, other]

Title: Automata-based Quantitative Verification

Suguman Bansal

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

[3] arXiv:2010.04782 [pdf, other]

Title: Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes

Timo Kötzing, Karen Seidel

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

[4] arXiv:2010.04823 [pdf, other]

Title: On some representations of context-free languages

Krasimir Yordzhev

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

[5] arXiv:2010.06361 [pdf, other]

Title: Collapsible Pushdown Parity Games

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre

Comments: 51 pages

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

[6] arXiv:2010.06797 [pdf, other]

Title: Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction

Mingyu Cai, Shaoping Xiao, Baoluo Li, Zhiliang Li, Zhen Kan

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

Journal-ref: 2021 IEEE International Conference on Robotics and Automation (ICRA)

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Robotics (cs.RO); Optimization and Control (math.OC)

[7] arXiv:2010.08042 [pdf, other]

Title: Ranked enumeration of MSO logic on words

Pierre Bourhis, Alejandro Grez, Louis Jachiet, Cristian Riveros

Comments: 29 pages (with appendix), 2 figures, submitted to the ICDT21 conference

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

[8] arXiv:2010.08347 [pdf, other]

Title: Online Monitoring $ω$-Regular Properties in Unknown Markov Chains

Javier Esparza, Stefan Kiefer, Jan Kretinsky, Maximilian Weininger

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

[9] arXiv:2010.09527 [pdf, other]

Title: Parametric non-interference in timed automata

Étienne André, Aleksander Kryukov

Comments: This is the author version of the manuscript of the same name published in the proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)

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

[10] arXiv:2010.10223 [pdf, other]

Title: Generators and Bases for Monadic Closures

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

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

[11] arXiv:2010.10912 [pdf, other]

Title: A Linear-Time Nominal $μ$-Calculus with Name Allocation

Daniel Hausmann, Stefan Milius, Lutz Schröder

Comments: Extended version (shorter version published at MFCS 2021)

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

[12] arXiv:2010.11056 [pdf, other]

Title: State-space construction of Hybrid Petri nets with multiple stochastic firings

Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke

Comments: 36 pages, 9 figures, submitted to ACM Transactions on Modeling and Computer Simulation (TOMACS)

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

[13] arXiv:2010.11706 [pdf, other]

Title: Approximating the Minimal Lookahead Needed to Win Infinite Games

Martin Zimmermann

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

[14] arXiv:2010.13675 [pdf, other]

Title: Learning automata and transducers: a categorical approach

Thomas Colcombet, Daniela Petrişan, Riccardo Stabile

Comments: 30 pages, long version of a CSL'21 paper

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

[15] arXiv:2010.16235 [pdf, other]

Title: On Krohn-Rhodes theory for semiautomata

Karl-Heinz Zimmermann

Comments: 29 pages, 0 figures

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

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

Title: Decoy Allocation Games on Graphs with Temporal Logic Objectives

Abhishek N. Kulkarni, Jie Fu, Huan Luo, Charles A. Kamhoua, Nandi O. Leslie

Comments: 20 page, 4 figures, 2 algorithms, Accepted at Conference on Decision and Game Theory for Security (GameSec) 2020

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

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

Title: When in Doubt, Ask: Generating Answerable and Unanswerable Questions, Unsupervised

Liubov Nikolenko, Pouya Rezazadeh Kalehbasti

Journal-ref: International Cross-Domain Conference for Machine Learning and Knowledge Extraction, pp. 21-33. Springer, Cham, 2021

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

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

Title: Discovering Object-Centric Petri Nets

Wil M.P. van der Aalst, Alessandro Berti

Comments: Preprint of a paper to be published in Fundamenta Informaticae

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

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

Title: Learning Half-Spaces and other Concept Classes in the Limit with Iterative Learners

Ardalan Khazraei, Timo Kötzing, Karen Seidel

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

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

Title: Test4Enforcers: Test Case Generation for Software Enforcers

Michell Guzman, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Comments: For associated video presentation, see this https URL. For associated slides, see this https URL

Journal-ref: In: Runtime Verification. RV 2020. Lecture Notes in Computer Science, vol 12399. Springer, Cham

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

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

Title: How Can Self-Attention Networks Recognize Dyck-n Languages?

Javid Ebrahimi, Dhruv Gelda, Wei Zhang

Journal-ref: Findings of EMNLP 2020

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

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

Title: Streaming enumeration on nested documents

Martín Muñoz, Cristian Riveros

Comments: 39 pages

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

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

Title: Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre

Comments: 35 pages

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

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

Title: Adaptive Testing for Specification Coverage

Ezio Bartocci (1), Roderick Bloem (2), Benedikt Maderbacher (2), Niveditha Manjunath (1 and 3), Dejan Ničković (3) ((1) Vienna University of Technology, (2) Graz University of Technology, (3) AIT Austrian Institute of Technology)

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

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

Title: Self-avoiding walks and multiple context-free languages

Florian Lehner, Christian Lindorfer

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

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

Title: Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)

Vojtěch Havlena, Ondřej Lengál

Comments: Accepted at CONCUR'21

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

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

Title: The LL(finite) strategy for optimal LL(k) parsing

Peter Belcak

Comments: An error was found in one of the algorithms for weak LL(k) grammars

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

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

Title: A symmetric attractor-decomposition lifting algorithm for parity games

Marcin Jurdziński, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini

Comments: 30 pages, including 10 pages of appendix and 5 figures. Submitted to FoSSaCS2021

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

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

Title: Maps for Learning Indexable Classes

Julian Berger, Maximilian Böther, Vanja Doskoč, Jonathan Gadea Harder, Nicolas Klodt, Timo Kötzing, Winfried Lötzsch, Jannik Peters, Leon Schiller, Lars Seifert, Armin Wells, Simon Wietheger

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

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

Title: Normal Forms for (Semantically) Witness-Based Learners in Inductive Inference

Vanja Doskoč, Timo Kötzing

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

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

Title: Mapping Monotonic Restrictions in Inductive Inference

Vanja Doskoč, Timo Kötzing

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

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

Title: Quines are the fittest programs: Nesting algorithmic probability converges to constructors

Aritra Sarkar

Comments: 5 pages

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

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

Title: Connecting Weighted Automata, Tensor Networks and Recurrent Neural Networks through Spectral Learning

Tianyu Li, Doina Precup, Guillaume Rabusseau

Comments: Accepted as a journal paper in Machine Learning Journal. arXiv admin note: text overlap with arXiv:1807.01406

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

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

Title: Language Inference with Multi-head Automata through Reinforcement Learning

Alper Şekerci, Özlem Salehi

Comments: Published in: 2020 International Joint Conference on Neural Networks (IJCNN)

Journal-ref: 2020 International Joint Conference on Neural Networks (IJCNN), Glasgow, United Kingdom, 2020, pp. 1-8,

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

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

Title: Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture

Jeffrey Shallit

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

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

Title: Automata and Fixpoints for Asynchronous Hyperproperties

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

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

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

Title: On the Expressiveness of Büchi Arithmetic

Christoph Haase, Jakub Różycki

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

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

Title: A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling

Milliam Maxime Zekeng Ndadji, Maurice Tchoupé Tchendji, Clémentin Tayou Djamegni, Didier Parigot

Journal-ref: ParadigmPlus, Volume 1, Number 3, October 2020, pages 1-22

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

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

Title: Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners

Markus L. Schmid, Nicole Schweikardt

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 4 (November 21, 2024) lmcs:8614

Subjects: Databases (cs.DB); Formal Languages and Automata Theory (cs.FL); Information Retrieval (cs.IR)

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

Title: Deciding $ω$-Regular Properties on Linear Recurrence Sequences

Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Jöel Ouaknine, James Worrell

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