Formal Languages and Automata Theory

Authors and titles for recent submissions

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

Fri, 27 Mar 2020

[1]  arXiv:2003.11979 [pdf, ps, other]
Title: Minimising Good-for-Games automata is NP complete
Authors: Sven Schewe
Subjects: Formal Languages and Automata Theory (cs.FL)
[2]  arXiv:2003.11808 (cross-list from eess.SY) [pdf, other]
Title: On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
Comments: 6 pages, 4 figures
Journal-ref: in IEEE Control Systems Letters, vol. 4, no. 3, pp. 530-535, July 2020
Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)

Tue, 24 Mar 2020

[3]  arXiv:2003.09918 [pdf, other]
Title: Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas
Comments: in Turkish
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[4]  arXiv:2003.10328 (cross-list from math.DS) [pdf, ps, other]
Title: A Physically Universal Turing Machine
Comments: 45 pages plus 6 pages of appendices, 17 figures
Subjects: Dynamical Systems (math.DS); Formal Languages and Automata Theory (cs.FL)

Mon, 23 Mar 2020

[5]  arXiv:2003.09364 [pdf, ps, other]
Title: Composition and Weight Pushing of Monotonic Subsequential Failure Transducers Representing Probabilistic Models
Subjects: Formal Languages and Automata Theory (cs.FL)

Fri, 20 Mar 2020

[6]  arXiv:2003.08627 (cross-list from cs.DS) [pdf, other]
Title: The Strahler number of a parity game
Subjects: Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

Thu, 19 Mar 2020

[7]  arXiv:2003.08249 [pdf, ps, other]
Title: The State Complexity of Lexicographically Smallest Words and Computing Successors
Subjects: Formal Languages and Automata Theory (cs.FL)
[ total of 7 entries: 1-7 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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