Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/r/65.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Automation 语法的形式语言_Automation_Grammar_Formal Languages - Fatal编程技术网

Automation 语法的形式语言

Automation 语法的形式语言,automation,grammar,formal-languages,Automation,Grammar,Formal Languages,我试图从这些语法中推断出他们的语言: 对于第一个问题,我认为但不确定语言是: {a^ib^j | i mod 2=0且j>0} 至于第二个,我一点线索都没有 1. G = ({S,A,B},{a,b},S,P) P: S -> AAB A -> aaA | aa B -> bB | b 2. G = ({S,A,B},{a,b},S,P) P: S -> AB A -> aAb | epsi

我试图从这些语法中推断出他们的语言:

对于第一个问题,我认为但不确定语言是: {a^ib^j | i mod 2=0且j>0}

至于第二个,我一点线索都没有

1.
    G = ({S,A,B},{a,b},S,P) 
    P:
    S -> AAB
    A -> aaA | aa
    B -> bB | b

2.
    G = ({S,A,B},{a,b},S,P)
    P:
    S -> AB
    A -> aAb | epsilon
    B -> bBa | epsilon
为了达到第一个语法的形式语言,我试着用不同的形式把它剪了好几次,发现“a”必然会重复偶数次

对于第一个,我认为但不确定语言是:{a^ib^j|i mod 2=0和j>0}

反例:aab在该语言中,但不在语法语言中

旁白:而不是

{a^(i) ... | i mod 2 = 0 ...}`
我认为更常见的说法是

{a^(2i) ... | ...}
对于第二个,我一点线索都没有

1.
    G = ({S,A,B},{a,b},S,P) 
    P:
    S -> AAB
    A -> aaA | aa
    B -> bB | b

2.
    G = ({S,A,B},{a,b},S,P)
    P:
    S -> AB
    A -> aAb | epsilon
    B -> bBa | epsilon
从S派生的语言只是从A和B派生的语言的串联

A有两种选择,一种是递归的,另一种是非递归的,所以从A派生的任何句子的结果都是k>=0个递归产生式应用,然后是一个非递归产生式应用。因此,您应该能够从A


B也是一样,然后连接它们。

谢谢!这真的很有帮助: