تقرير
Infinite Words and Morphic Languages Formalized in Isabelle/HOL
العنوان: | Infinite Words and Morphic Languages Formalized in Isabelle/HOL |
---|---|
المؤلفون: | Starosta, Štěpán |
سنة النشر: | 2023 |
المجموعة: | Computer Science |
مصطلحات موضوعية: | Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, 68R15, 68V20 |
الوصف: | 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. Comment: Submitted to Words 2023 |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2303.11445 |
رقم الأكسشن: | edsarx.2303.11445 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |