Formal Languages and Automata Theory

Authors and titles for cs.FL in May 2020

[1]  arXiv:2005.00255 [pdf, ps, other]

Title: A direct proof of Agafonov's theorem and an extension to shift of finite type

Authors: Olivier Carton

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

[2]  arXiv:2005.00359 [pdf, ps, other]

Title: Reinforcement learning of minimalist grammars

Authors: Peter beim Graben, Ronald Römer, Werner Meyer, Markus Huber, Matthias Wolff

Comments: 25 pages, 2 figures, 9 tables. arXiv admin note: text overlap with arXiv:1906.04447

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

[3]  arXiv:2005.00373 [pdf, other]

Title: Formal assessment of some properties of Context-Aware Systems

Authors: Fabio A. Schreiber, Maria Elena Valcher

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

[4]  arXiv:2005.01112 [pdf, other]

Title: Efficiently Testing Simon's Congruence

Authors: Pawel Gawrychowski, Maria Kosche, Tore Koss, Florin Manea, Stefan Siemer

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

[5]  arXiv:2005.01342 [pdf, other]

Title: Register transducers are marble transducers

Authors: Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin

Comments: 28 pages

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

[6]  arXiv:2005.01371 [pdf, ps, other]

Title: Palindromic Length of Words with Many Periodic Palindromes

Authors: Josef Rukavicka

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

[7]  arXiv:2005.01374 [pdf, other]

Title: Synchronization of Deterministic Visibly Push-Down Automata

Authors: Henning Fernau, Petra Wolf

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

[8]  arXiv:2005.01381 [pdf, other]

Title: Synchronizing Deterministic Push-Down Automata Can Be Really Hard

Authors: Henning Fernau, Petra Wolf, Tomoyuki Yamakami

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

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

[9]  arXiv:2005.01419 [pdf, other]

Title: Automata Tutor v3

Authors: Loris D'Antoni, Martin Helfrich, Jan Kretinsky, Emanuel Ramneantu, Maximilian Weininger

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

[10]  arXiv:2005.02596 [pdf, other]

Title: What You Must Remember When Transforming Datawords

Authors: M. Praveen

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