exec23-15.txt

不能用正则表达式表达的模式例如：
（1）由若干个0和相同个数的1组成的字符串。例如01、0011、0000011111等。
（2）由配对的左括号和右括号组成的字符串。例如()、(())、((())())()等。
（3）由一个字符串及其逆序拼接成的字符串。例如abba、abc123321cba等。
（4）质数。例如2、11、97、2147483647等。

利用泵引理，使用反证法。