我只是想到了不同的语言(因为我正在审查即将开始的期末考试)而且我想不出一个有效的下推自动机来处理语言A = {0 ^ n 1 ^ n 0 ^ n | n> = 0}.这不是一种无上下文的语言,我是否正确？
我正在复习关于计算理论的课程的一些注释,我有点坚持展示以下声明,我希望有人可以帮我解释一下:)
让A成为常规语言.语言B = {ab | A中存在a和b中不存在a*}为什么B是常规语言？
有些观点对我来说很明显.如果b只是一个常量字符串,这是微不足道的.由于我们知道a中的a和b是字符串,因此常规语言在union下关闭,因此联合接受这两个字符串的语言显然是常规的.但是,我不确定b是不变的.也许是,如果是的话,那么这不是一个真正的问题.我很难理解它.谢谢!