We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Wed, 1 Dec 2021

[1]  arXiv:2111.15420 [pdf, ps, other]
Title: Undecidability in Finite Transducers, Defense Systems and Finite Substitutions
Authors: Vesa Halava
Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL); Discrete Mathematics (cs.DM)

Tue, 30 Nov 2021

[2]  arXiv:2111.14807 [pdf, ps, other]
Title: On formally undecidable propositions in nondeterministic languages
Authors: Martin Kolář
Comments: 4 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[3]  arXiv:2111.13840 [pdf, ps, other]
Title: A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory
Authors: Liyong Lin, Rong Su
Subjects: Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
[4]  arXiv:2111.14041 (cross-list from quant-ph) [pdf, ps, other]
Title: Learning Quantum Finite Automata with Queries
Authors: Daowen Qiu
Comments: 18pages; comments are welcome
Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL)

Mon, 29 Nov 2021

[5]  arXiv:2111.13527 [pdf, ps, other]
Title: Sync-Maximal Permutation Groups Equal Primitive Permutation Groups
Authors: Stefan Hoffmann
Comments: Accepted at the 23rd International Conference on Descriptional Complexity of Formal Systems (DCFS) 2021, see this http URL
Subjects: Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:2111.13524 [pdf, ps, other]
Title: State Complexity Investigations on Commutative Languages -- The Upward and Downward Closure, Commutative Aperiodic and Commutative Group Languages
Authors: Stefan Hoffmann
Comments: Accepted at the 23rd International Conference on Descriptional Complexity of Formal Systems (DCFS) 2021, see this http URL arXiv admin note: text overlap with arXiv:2008.05420
Subjects: Formal Languages and Automata Theory (cs.FL)
[7]  arXiv:2111.13523 [pdf, ps, other]
Title: Commutative Regular Languages with Product-Form Minimal Automata
Authors: Stefan Hoffmann
Comments: Accepted at the 23rd International Conference on Descriptional Complexity of Formal Systems (DCFS) 2021, see this http URL
Subjects: Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2111.13036 [pdf, ps, other]
Title: Regulated Multiset Rewriting Systems
Authors: Matej Troják, Samuel Pastva, David Šafránek, Luboš Brim
Comments: 12 pages, 14 figures
Subjects: Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:2111.13561 (cross-list from math.GR) [pdf, ps, other]
Title: On the transition monoid of the Stallings automaton of a subgroup of a free group
Authors: Inês F. Guimarães
Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2111.12679 (cross-list from cs.AI) [pdf, other]
Title: Reinforcement Learning for General LTL Objectives Is Intractable
Authors: Cambridge Yang, Michael Littman, Michael Carbin
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

Wed, 24 Nov 2021

[11]  arXiv:2111.12040 [pdf, other]
Title: Generating Tree Structures for Hyperbolic Tessellations
Authors: Dorota Celińska-Kopczyńska, Eryk Kopczyński
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Geometry (cs.CG); Cellular Automata and Lattice Gases (nlin.CG)

Mon, 22 Nov 2021

[12]  arXiv:2111.10318 [pdf, other]
Title: Max-algebraic hybrid automata: Modelling and equivalences
Authors: A. Gupta, B. De Schutter, J. van der Woude, T. van den Boom
Comments: 13 pages, 6 figures, submitted to Automatica
Subjects: Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
[13]  arXiv:2111.10214 [pdf, other]
Title: Homomorphisms on graph-walking automata
Authors: Olga Martynova, Alexander Okhotin
Subjects: Formal Languages and Automata Theory (cs.FL)
[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2111, contact, help  (Access key information)