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

Formal Languages and Automata Theory

Authors and titles for recent submissions

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

Tue, 17 May 2022

[1]  arXiv:2205.07743 [pdf, other]
Title: Strong Equivalence of TAG and CCG
Authors: Andreas Maletti, Lena Katharina Schiffer (Universität Leipzig)
Comments: 30 pages, 6 figures, revised and extended version of paper appearing in Trans. ACL (2021) 9: 707-720
Journal-ref: Transactions of the Association for Computational Linguistics (2021) 9: 707-720
Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL)
[2]  arXiv:2205.07480 [pdf, other]
Title: Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores
Subjects: Formal Languages and Automata Theory (cs.FL); Operating Systems (cs.OS)

Mon, 16 May 2022

[3]  arXiv:2205.06584 (cross-list from cs.LO) [pdf, other]
Title: A Hoare Logic with Regular Behavioral Specifications
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

Fri, 13 May 2022

[4]  arXiv:2205.06138 (cross-list from cs.LO) [pdf, other]
Title: IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

Thu, 12 May 2022

[5]  arXiv:2205.05434 [pdf, ps, other]
Title: A polynomial time algorithm for local testability and its level
Authors: A.N. Trahtman
Comments: 9 pages, no figures, found linear algorithm for study class of local testability of formal languages
Journal-ref: Int Journal of Algebra and Computation vol.9 no. 1(1998), 31-39
Subjects: Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:2205.05621 (cross-list from math.GR) [pdf, ps, other]
Title: Rational sets in virtually abelian groups: languages and growth
Comments: 19 pages, 3 figures. Comments welcome
Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)
[7]  arXiv:2205.05339 (cross-list from cs.CL) [pdf, other]
Title: An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods
Authors: Farah Benmouhoub (UPVD), Pierre-Loïc Garoche (ENAC), Matthieu Martel (UPVD)
Journal-ref: Numerical Software Verification, Jul 2021, Los Angeles, United States. pp.165-181
Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

Wed, 11 May 2022

[8]  arXiv:2205.04600 [pdf, ps, other]
Title: Parsing Expression GLL
Authors: Aaron Moss
Comments: 10 pages, 11 figures
Subjects: Formal Languages and Automata Theory (cs.FL)
[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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