形式语言与自动机 习题答案(部分)

4.6.2
Fra Baidu bibliotek 6.2.3
• 这五座城市A，B，C，D，E之间的最短 距离的路径为：ACBED，其中最短距离为 18.
2.2.3
2.2.9
2.3.4
3.5.14
• (a):是上下文相关的，因为m,n,p之间必存在二者 相等的情况，如果a的个数确定了，则b或者c的个 数也是确定的。 • (b):是上下文相关的，因为当a的个数确定时，b和 c的个数是不能和a相同的，即n和p的取值有了限 制。 • (c):是上下文相关的，a的个数限定了b和c的个数。 • (d):是上下文相关的，当a和b的个数相等的情况下， 则限定了c的个数不能和a，b相同。 • (e):是上下文相关的，若要满足 |w1|=|w2|…..=|wn|>=2,则|w|的值限定了必须是可 被整除的数（素数）。
a）语言{ww:w∈{a,b}*}的文法G＝（V，∑，R，S）如下： V＝{S，a,b,A,B,C,Ta,Tb,Tc} ∑＝{a,b} R={ S -> CC, C -> AC | BC | Tc BTc -> Tcb ATc -> Tca Tc -> e } 或 文法G[S]： S→CD Ab→bA C→aCA Ba→aB C→bCB Bb→bB AD→aD C→ε BD→bD D→ε Aa→bD 或 S→aAS|bBS|aAE|bBE Aa→aA Ab→bA Ba→aB AE→Ea|a BE→Eb|b L(G)={ww|w∈{a,b}*}
4.1.10
• 功能是： • 首先找到第二个和第三个字符，要求不能 是空格，然后记录下，再分别填入之后的 第一个空格和第二个空格所位置。
4.3.3
• （1）把两个带头分别移动，第一个带头向左移动 到带头，第二个带头向右移动，直到发现空格为 止。 • （2）向右移动第一个带头，记录下字符的值。判 断有没有遇到空格，若遇到空格，则跳至（）， 否则，跳至（3）。 • （3）向右移动第二个带头，并复制下已记录的字 符，再跳至（2）。 • （4）第一个带头遇到空格，说明w已经复制完， 故停机。