Ton*_*ony 4 computer-science finite-automata regular-language
我正在复习关于计算理论的课程的一些注释,我有点坚持展示以下声明,我希望有人可以帮我解释一下:)
让A成为常规语言.语言B = {ab | A中存在a和b中不存在a*}为什么B是常规语言？
有些观点对我来说很明显.如果b只是一个常量字符串,这是微不足道的.由于我们知道a中的a和b是字符串,因此常规语言在union下关闭,因此联合接受这两个字符串的语言显然是常规的.但是,我不确定b是不变的.也许是,如果是的话,那么这不是一个真正的问题.我很难理解它.谢谢!
您可以通过构造证明:给出一个识别B的正则表达式.常规语言类在union,concatenation,star和complement下是关闭的.