要素
可达集R(s
i
)
先行集A(s
i
)
交集C
级别
s
3
3
3
3