Case Study: Regular Expressions

ev属性提供了一个简单的例子来说明归纳定义和对其进行推理的基本技术，但它并不十分令人兴奋——毕竟，它相当于我们已经看到的两个非归纳均匀度定义，并且似乎没有提供任何具体的好处。

为了更好地理解归纳定义的威力，我们现在展示如何使用它们来模拟计算机科学中的一个经典概念：正则表达式。

正则表达式是一种描述字符串集的简单语言。其语法定义如下：