会员服务
正则表达式（Regular Expression，一般简写为RegEx或者RegExp），也译为正规表示法、常规表示法，台湾译「规则运算式」，在计算机科学中，是指一个用来描述或者匹配一系列符合某个句法规则的字符串的单个字符串。
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
Arxiv
0+阅读 · 4月1日
A parallel parser for regular expressions
Arxiv
0+阅读 · 3月9日
Is Reuse All You Need? A Systematic Comparison of Regular Expression Composition Strategies
Arxiv
0+阅读 · 3月26日
$k$-Universality of Regular Languages Revisited
Arxiv
0+阅读 · 3月24日
xFinder: Large Language Models as Automated Evaluators for Reliable Evaluation
Arxiv
0+阅读 · 2月25日
Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
Arxiv
0+阅读 · 1月29日
Verified invertible lexer using regular expressions and DFAs
Arxiv
1+阅读 · 2024年12月18日
Secret Breach Prevention in Software Issue Reports
Arxiv
0+阅读 · 2024年12月6日
Automated Extraction of Acronym-Expansion Pairs from Scientific Papers
Arxiv
0+阅读 · 2024年12月2日
Fast Practical Compression of Deterministic Finite Automata
Arxiv
0+阅读 · 2024年11月25日
Querying Perception Streams with Spatial Regular Expressions
Arxiv
0+阅读 · 2024年11月8日
Secret Breach Prevention in Software Issue Reports
Arxiv
0+阅读 · 2024年10月31日
Membership Testing for Semantic Regular Expressions
Arxiv
0+阅读 · 2024年10月17日
Fast Practical Compression of Deterministic Finite Automata
Arxiv
0+阅读 · 2024年9月4日
Longest Common Extensions with Wildcards: Trade-off and Applications
Arxiv
0+阅读 · 2024年8月7日
参考链接
父主题
编程语言
编程
微信扫码咨询专知VIP会员
Top