模式的代数(扩展版)
The Algebra of Patterns (Extended Version)

原始链接: https://arxiv.org/abs/2504.18920

arXivLabs是一个框架,允许合作者直接在我们网站上开发和分享新的arXiv功能。与arXivLabs合作的个人和组织都已接受并认同我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与坚持这些价值观的合作伙伴合作。有提升arXiv社区价值的项目想法吗?了解更多关于arXivLabs的信息。

Hacker News用户matt_d评论了“模式的代数”,提出了一种替代的模式代数,通过消除对默认情况和负模式的需求来简化开发。这种简化是通过要求子句集为“单纯形”来实现的,这意味着如果两个子句的模式相交,则该交集也作为该集合中的模式存在。这种方法允许基于*最*精确的模式进行匹配。虽然这个约束增加了子句结构的复杂性,但用户认为避免显式默认情况(用“_”表示)并专注于正模式的好处超过了成本。他们承认“单纯形”一词在几何上是不准确的,并寻求一个更好的形容词。他们还计划研究与相关研究的联系。

原文

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

联系我们 contact @ memedata.com