【问题标题】:Theory of Automata : Context Free Grammar自动机理论:上下文无关语法
【发布时间】:2015-10-30 16:23:36
【问题描述】:

请帮我为这种语言制作一个 CFG。

a^i b^j c^k where i<j+k

我厌倦了尝试这个但无法完成它。

【问题讨论】:

  • 您可以添加一次(或多次!)您所做的尝试吗?它会帮助人们知道你在哪里挣扎以及如何帮助你。
  • 我已经完成了这个 S-> 0S1/0S2/1S/S2/1/2 但事情是我没有得到如何在这个 cfg 中强制排序以便 a 出现在 b 和 b 出现之前在c之前
  • 我投票结束这个问题,因为它最适合 CS Stack Exchange。
  • 这个问题可能更适合Computer Science StackExchange,因为它似乎是关于编程理论的。记得阅读their question requirements,因为他们比这个网站更严格。

标签: automata


【解决方案1】:
S -> Ac | Bb
A -> Ac | aAc | B
B -> Bb | aBb | ε

您“强制排序”,首先根据需要生成尽可能多的 c,然后再转到 b

【讨论】:

    猜你喜欢
    • 2014-05-09
    • 1970-01-01
    • 1970-01-01
    • 2011-05-24
    • 2012-06-19
    • 2019-01-13
    • 2012-01-10
    • 2012-01-04
    • 2014-04-26
    相关资源
    最近更新 更多