片
一个原子,它可以是常规字符、字符类或带括号的正则表达式,可能后跟限定符。
语法
piece :: = atom quantifier?
注释
下表说明有效片 R 及其 L(R) 字符串集。
原子 S 的有效片 R 以及非负整数 n 和 m(例如 n<=m) |
L(R) 字符串集 |
---|---|
S |
L(S) 中的所有字符串。 |
S? |
空字符串,以及 L(S) 中的所有字符串。 |
S* |
L(S?) 中的所有字符串以及具有 L(S*) 中的 S 和 L(S) 中的 T 的所有字符串 ST。 来自 L(S) 的零个或多个字符串的所有串联。 |
S+ |
具有 L(S) 中的 S 和 L(S*) 中的 T 的所有字符串 ST。 来自 L(S) 的一个或多个字符串的所有串联。 |
S{n, m} |
具有 L(S) 中的 S 和 L(S{n-1, m-1}) 中的 T 的所有字符串 ST。 来自 L(S) 的字符串(最少为 n 个,最多为 m 个)的所有序列。 |
S{n} |
L(S{n,n}) 中的所有字符串。 来自 L(S) 且恰好为 n 个字符串的所有序列。 |
S{n,} |
L(S{n}S*) 中的所有字符串。 来自 L(S) 且至少为 n 个字符串的所有序列。 |
S{0, m} |
具有 L(S?) 中的 S 和 L(S{0, m-1}) 中的 T 的所有字符串 ST。 来自 L(S) 且最多为 m 个字符串的所有序列。 |
S{0,0} |
只包含空字符串的集合。 |