常规语言与1 * 0 *相交的是1n0n

时间:2011-02-08 21:34:06

标签: regex automata regular-language automata-theory

我正在阅读一本关于自动机理论的书,本书给出了一个例子,即0和1相等的语言与1 * 0 *相交会产生1n0n,其中n> 1。 0

所以我的问题是,如何找到一些与1 * 0 *相交的常规语言,也会产生1n0n。有没有办法考虑这个?

更新: 谢谢你的回答!我想我想要找到的是一些常规语言,所以像1n0n这样的语言不起作用;) 可能吗?有什么想法吗?

2 个答案:

答案 0 :(得分:1)

N.B。具有相等且无界数0和1的语言不是常规语言。

至于你的问题,我不认为你可以添加任何更多的限制其中一些零后跟一些零来获得 n后跟n neros < / em>除了你给出的两个。

有无数个简单构造的语言满足条件:A1nB0nC其中A,B和C是任何可以匹配零宽度的表达式。

答案 1 :(得分:1)

只需将问题视为:“当与1n0m相交时,哪些语言会使用1n0n语言?”基本上,任何增加n = m的约束的东西。

一个例子是anbn,其中a = = b。 另一个是L = { 1n0n1m0m | n!=m, n >= 0, m >= 0 }

另外,正如OrangeDog指出的那样,1n0n不是常规的,并且由于常规语言在交叉点下是封闭的,因此任何与1*0*交叉的语言都不是常规的1n0n