Transcript 作业1


正则文法 S ::= aS | bS | a | b也能产生 anbn。例如
a3b3的推导:
SaS aaS aaaS aaabS aaabbS aaabbb


这是否说明3型文法也成产生2型语言，请给出合理
的解释。
在你所熟悉的基于静态类型检查的编程语言中，找
出两种无法静态检查的例子。并试着编两个小程序
测试一下，看看有没有动态检查。
在C语言（或Pascal）中，结构（或记录）的字段都
是通过字段名来访问的，例如：student.name。现
在我们希望像数组一样用下标来访问结构的字段，
如student.2。试着设计一下结构（或记录）的存储
表示，并给出字段的访问公式。