Binary intersection formalized

June 30, 2020 ยท The Ethereal ยท ๐Ÿ› Theoretical Computer Science

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors ล tฤ›pรกn Holub, ล tฤ›pรกn Starosta arXiv ID 2006.16711 Category cs.FL: Formal Languages Cross-listed cs.AI Citations 1 Venue Theoretical Computer Science Last Checked 2 months ago
Abstract
We provide a reformulation and a formalization of the classical result by Juhani Karhumรคki characterizing intersections of two languages of the form $\{x,y\}^*\cap \{u,v\}^*$. We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way, and we formalize the result in the proof assistant Isabelle/HOL.
Community shame:
Not yet rated
๐Ÿ“„ View on arXiv ๐ŸŒ View on ar5iv ๐Ÿ“‘ PDF ๐ŸŽ‰ Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Formal Languages