We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL
< prev | next >
new | recent | 2303

Change to browse by:

cs
cs.LO

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Infinite Words and Morphic Languages Formalized in Isabelle/HOL

Authors: Štěpán Starosta
(Submitted on 20 Mar 2023)
Abstract: We present a formalization of basics related to infinite words in the generic proof assistant Isabelle/HOL. Furthermore, we present a formalization of purely morphic and morphic languages. Finally, we present a formalized definition of Sturmian words as lower mechanical words and prove some very elementary facts. The formalization is based on an ongoing larger project of formalization of combinatorics on words.
Comments: Submitted to Words 2023
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
MSC classes: 68R15, 68V20
Cite as: arXiv:2303.11445 [cs.FL]
  (or arXiv:2303.11445v1 [cs.FL] for this version)

Submission history

From: Štěpán Starosta [view email]
[v1] Mon, 20 Mar 2023 20:44:18 GMT (20kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.