Formal Languages and Automata Theory

Authors and titles for June 2019

[1] arXiv:1906.00665 [pdf, other]

Title: Every nonnegative real number is an abelian critical exponent

Jarkko Peltomäki, Markus A. Whiteland

Comments: 11 pages

Journal-ref: Proceedings of the 12th International Conference, WORDS, Lecture Notes in Computer Science Vol. 11682, pp. 275-285 (2019)

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

[2] arXiv:1906.00715 [pdf, other]

Title: On Modelling the Avoidability of Patterns as CSP

Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi

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

[3] arXiv:1906.03424 [pdf, other]

Title: An Automaton Group with PSPACE-Complete Word Problem

Jan Philipp Wächter, Armin Weiß

Comments: Extended version submitted to the special issue for STACS 2020; revised according to review comments

Journal-ref: Conference version: 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France, pages 6:1-6:17, 2020

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

[4] arXiv:1906.04199 [pdf, html, other]

Title: Synthesis of Computable Regular Functions of Infinite Words

V. Dave, E. Filiot, S. Krishna, N. Lhote

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

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

[5] arXiv:1906.04982 [pdf, other]

Title: Consistency in Parametric Interval Probabilistic Timed Automata

Étienne André, Benoît Delahaye, Paulin Fournier

Comments: This is the author version of the manuscript of the same name published in the Journal of Logical and Algebraic Methods in Programming. This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002)

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

[6] arXiv:1906.05847 [pdf, other]

Title: Opportunistic Synthesis in Reactive Games under Information Asymmetry

Abhishek N. Kulkarni, Jie Fu

Comments: Submitted to Conference on Decision and Control 2019

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

[7] arXiv:1906.06194 [pdf, other]

Title: A Congruence-based Perspective on Automata Minimization Algorithms

Pierre Ganty, Elena Gutiérrez, Pedro Valero

Comments: 22 pages, 2 figures, accepted at MFCS 2019

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

[8] arXiv:1906.07069 [pdf, other]

Title: Coverability is Undecidable in One-dimensional Pushdown Vector Addition Systems with Resets

Sylvain Schmitz, Georg Zetzsche

Comments: 8 pages

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

[9] arXiv:1906.07886 [pdf, other]

Title: Learning with Partially Ordered Representations

Jane Chandlee, Remi Eyraud, Jeffrey Heinz, Adam Jardine, Jonathan Rawski

Comments: to appear in Proceedings of Mathematics of Language (ACL SIGMOL 2019)

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

[10] arXiv:1906.08027 [pdf, other]

Title: From Decidability to Undecidability by Considering Regular Sets of Instances

Petra Wolf

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

[11] arXiv:1906.08688 [pdf, other]

Title: On Synthesis of Resynchronizers for Transducers

Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis

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

[12] arXiv:1906.10093 [pdf, html, other]

Title: Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques

Stefan Kiefer, Cas Widdershoven

Comments: Technical report for an MFCS'19 paper. This version fixes a bug in Appendix A

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

[13] arXiv:1906.10494 [pdf, other]

Title: New Pumping Technique for 2-dimensional VASS

Wojciech Czerwiński, Sławomir Lasota, Christof Löding, Radosław Piórkowski

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

[14] arXiv:1906.10535 [pdf, other]

Title: Pseudo-solutions of word equations

Štěpán Holub

Comments: small corrections

Journal-ref: Theoretical Computer Science 814 (2020) 13-18

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

[15] arXiv:1906.11104 [pdf, other]

Title: Approximate Learning of Limit-Average Automata

Jakub Michaliszyn, Jan Otop

Comments: This is a full version of a paper accepted to CONCUR 2019

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

[16] arXiv:1906.11421 [pdf, other]

Title: FSM Error Messages

Marco T. Morazán (Seton Hall University), Josephine A. Des Rosiers (Seton Hall University)

Comments: In Proceedings TFPIE 2018, arXiv:1906.10757

Journal-ref: EPTCS 295, 2019, pp. 1-16

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

[17] arXiv:1906.11624 [pdf, other]

Title: Good for Games Automata: From Nondeterminism to Alternation

Udi Boker, Karoliina Lehtinen

Comments: Full version of a paper of the same name accepted fr publication at the 30th International Conference on Concurrency Theory

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

[18] arXiv:1906.11718 [pdf, other]

Title: On Solving Word Equations Using SAT

Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

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

[19] arXiv:1906.12133 [pdf, other]

Title: Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata

Masaki Waga

Comments: Accepted to FORMATS 2019

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

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

Title: Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition

René Haberland, Kirill Krinkin, Sergey Ivanovskiy

Comments: 9 pages, 3 figures

Journal-ref: IEEE Xplore, 18th Conf. of Open Innovations (FRUCT), 2016, pp.66-74

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

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

Title: Separation and Renaming in Nominal Sets

Joshua Moerman, Jurriaan Rot

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

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

Title: Characteristic Parameters and Special Trapezoidal Words

Alma D'Aniello, Alessandro De Luca

Comments: 10 pages; to appear in LNCS proceedings for WORDS 2019

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

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

Title: Quasi-automatic groups are asynchronously automatic

Benjamin Blanchette

Comments: Short note, 5 pages, complementing a previous paper named Quasi-automatic Semigroups by Blanchette, Choffrut and Reutenauer

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

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

Title: Sequential Neural Networks as Automata

William Merrill

Comments: To appear in the proceedings of the Deep Learning and Formal Languages workshop at ACL 2019

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

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

Title: Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog

René Haberland, Sergey Ivanovskiy

Comments: 5 pages, 4 figures

Journal-ref: ISP-RAS, 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE), 2014, pp.46-50, ISBN 978-5-91474-020-4, ISSN 2311-7230

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

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

Title: Quasi-automatic semigroups

Benjamin Blanchette, Christian Choffrut, Christophe Reutenauer

Comments: 17 pages. In press. Theoretical Computer Science, 2019

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

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

Title: LSTM Networks Can Perform Dynamic Counting

Mirac Suzgun, Sebastian Gehrmann, Yonatan Belinkov, Stuart M. Shieber

Comments: ACL 2019 Workshop on Deep Learning and Formal Languages

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

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

Title: Borders, Palindrome Prefixes, and Square Prefixes

Daniel Gabric, Jeffrey Shallit

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

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

Title: Formalization of the Axiom of Choice and its Equivalent Theorems

Tianyu Sun, Wensheng Yu

Comments: 26 pages, 2 figures, 2 tables, journal

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

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

Title: Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga

Comments: This work was partially funded by the NWO project SEQUOIA (grant 15474), EU project SUCCESS (102112) and the PHC van Gogh PAMPAS. The work of Arias and Petrucci has been supported by the BQR project AMoJAS

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

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

Title: Two modes of recognition: algebra, coalgebra, and languages

Tomasz Brengos, Marco Peressotti

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

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

Title: Action-Sensitive Phonological Dependencies

Yiding Hao, Dustin Bowers

Comments: To appear in the Proceedings of the 16th SIGMORPHON Workshop on Computational Research in Phonetics, Phonology, and Morphology

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

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

Title: Theoretical Limitations of Self-Attention in Neural Sequence Models

Michael Hahn

Comments: Accepted by: Transactions of the Association for Computational Linguistics

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

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

Title: Matching Patterns with Variables

Florin Manea, Markus L. Schmid

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

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

Title: A note on Christol's theorem

Boris Adamczewski, Reem Yassawi

Comments: 14 pages

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

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

Title: Gray-box Monitoring of Hyperproperties (Extended Version)

Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour

Comments: This is an extended version of a paper presented at the 23rd International Symposium on Formal Methods (FM '19). This version contains full proofs, a description of the proof-of-concept monitor for DDM, and experimental results that were not included in the original publication

Journal-ref: ter Beek M., McIver A., Oliveira J. (eds), Formal Methods - The Next 30 Years. FM 2019. Lecture Notes in Computer Science, vol 11800. Springer, Cham

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

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

Title: Computer-Simulation Model Theory (P= NP is not provable)

Rasoul Ramezanian

Comments: 18 pages. arXiv admin note: text overlap with arXiv:1205.5994

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

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

Title: Joint State Estimation Under Attack of Discrete Event Systems

Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua

Comments: This paper has been accepted for publication in IEEE Access

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