【问题标题】:Is the language 0^m.0^n , 0<=m<=n regular?语言 0^m.0^n , 0<=m<=n 是正规的吗?
【发布时间】:2017-11-11 05:27:43
【问题描述】:

0^m.0^n, .代表串联,^代表幂。

0

我的朋友们争辩说,任何形式为 0* 的字符串都可以方便地分解以满足上述 m 和 n 之间的关系,因此这应该是正则的。

虽然我知道这是错误的,但我仍然需要确认。谢谢

【问题讨论】:

  • 不,不是..
  • 谢谢。一直在和一些朋友吵架,他们太不愿意理解了
  • 如果这里真的是这样,而不是我只是给你一个家庭作业的答案而你没有学习,那么你应该向他们展示一个引理证明(我不会提供)。
  • 我投票结束这个问题,因为它不是一个计算机编程问题。
  • 哈哈@Millie,不,这不是我的作业。我已经毕业了。我正在为我的硕士入学考试工作。谢谢您的关心!

标签: regex regular-language finite-automata computation-theory


【解决方案1】:

你的朋友是对的,这是正常的。使用 0

【讨论】:

  • 不管结论是对的,你的逻辑还是少了一步。您是说语言 0^* 是常规语言(正确),并且该语言中的所有字符串也是 OP 的语言(正确)。您由此得出结论,OP 的语言是常规的。但是,仅您先前的主张并不能支持该结论。您还需要 OP 语言中的所有字符串都为 0^*,但在您的答案中没有涵盖这一点(并不是说它应该很难添加)。
  • 好吧,@hvd,对于双向包含证明,确实应该提出您提到的论点。但是 OP 甚至没有指定字母表。如果它只有一个元素,那么这部分是完全显而易见的,即使不是说只由0组成的字符串都在0^*中似乎太清楚了。
猜你喜欢
  • 1970-01-01
  • 2022-06-28
  • 2021-12-11
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2021-03-31
相关资源
最近更新 更多