编译原理正规文法例题

编译原理中的正规文法是描述一类形式语言的形式化规则，常用于编译器设计和语法分析器的构建。下面是一个正规文法的例题：

考虑一个简单的正规文法，描述了一个由字母a和b组成的字符串，其中每个a后面必须跟着至少一个b。

该文法的产生式规则如下：
S -> aB
B -> bB | ε

其中，S是起始符号，a和b是终结符号，B是非终结符号，ε表示空串。

这个文法可以生成的一些有效字符串包括：ab, abb, abbb等。