本文介绍了使用Prolog的DCG（Definite Clause Grammar）进行形式语言的练习和实践，涉及将DCG规则转化为普通Prolog规则，以及编写生成特定语言的DCG，包括even语言、anb2mc2mdn语言和命题逻辑语言。通过键盘练习和跟踪，展示DCG在处理语言表达式的高效性和易理解性。
转载自：https://mp.weixin.qq.com/s/PqjUQHSDy90KqX-tCugSuA
3 练习
练习7.1。假设我们正在使用以下DCG：
s --> foo,bar,wiggle.
foo --> [choo].
foo --> foo,foo.
bar --> mar,zar.
mar --> me,my.
me --> [i].
my --> [am].
zar --> blar,car.
blar --> [a].
car --> [train].
wiggle --> [toot].
wiggle --> wiggle,wiggle.
写下与这些DCG规则相对应的普通Prolog规则。 Prolog对查询s(X,[])的前三个响应是什么？
练习7.2 形式语言anbn − {ǫ}由anbn中的所有字符串组成，除了空字符串。编写生成这种语言的DCG。
练习7.3 假设anb2n是形式语言，它包含以下所有形式的字符串：长度为n的连续块，其后是长度为2n的bs的连续块，除此之外没有其他内容，例如abb，aabbbb和aaabbbbbb属于anb2n ，空字符串也是如此。编写生成这种语言的DCG。
4 实践环节
<
最低0.47元/天 解锁文章
扫一扫
830
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
