正则表达式简洁性的博弈
Games for Succinctness of Regular Expressions
摘要：
我们提出了一个版本的所谓的公式大小游戏的正则表达式。这些游戏的特点等价的语言表达的一个给定的大小。我们使用正则表达式大小游戏给出一个简单的证明，一阶逻辑和正则表达式之间的一个已知的非初等简洁性差距。我们还使用游戏来计算表达式中的星星数量，而不是整体大小。对于正则表达式来说，这个度量在表达能力方面给出了一个层次。我们也得到这样的层次结构，我们称之为RE的无星表达式，其中无星表达式，即补充，但没有明星，结合使用正则表达式的操作。
英文摘要：
We present a version of so called formula size games for regular expressions. These games characterize the equivalence of languages up to expressions of a given size. We use the regular expression size game to give a simple proof of a known non-elementary succinctness gap between first-order logic and regular expressions. We also use the game to only count the number of stars in an expression instead of the overall size. For regular expressions this measure trivially gives a hierarchy in terms of expressive power. We obtain such a hierarchy also for what we call RE over star-free expressions, where star-free expressions, that is ones with complement but no stars, are combined using the operations of regular expressions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
