从语言中生成语法(形式语言和自动机理论)

时间:2016-06-05 06:34:50

标签: computer-science automata formal-languages

伙计们,我已经为我的正式语言课做了几天的工作,而且我在为某种语言生成语法时遇到困难。我的教科书中没有一个类似于这个问题的例子,所以我希望有人能提供解释。谢谢。 enter image description here

2 个答案:

答案 0 :(得分:2)

解决问题:

  • 了解L中的哪些单词。

我实际上是为您做了这一部分:L定义该语言中的任何单词都以ab的任意数字(包括0)开头,后跟1个或更多{ {1}} s,后面跟着一个a,后跟任意数量的b s,后面跟着它开头的相同字符(或重复它们)。

  • 读一个语法。看看你是否可以使用不在L中的语法构造单词。
  • 看看你能否在L中找到无法通过这种语法构建的单词
  • 如果您找到,请继续使用下一个语法
  • 如果找不到,则语法成功生成L。

答案 1 :(得分:0)

要解决此问题:

了解L中有哪些单词。 我实际上为您做了这部分:L定义了该语言中的任何单词都以a或b的任何数字(包括0)开头,后跟1个或多个as,后跟一个b,然后可能跟着任意多个as,然后是以相同的字符开头(或重复)。

阅读一种语法。看看是否可以使用此语法构造不在L中的单词。 看看是否可以找到L不能由该语法构造的单词 如果找到任何一个,请继续下一个语法 如果找不到,则语法成功生成L。