学习形式语言与自动机遇到的问题3：这个命题为什么是正确的?

学习形式语言与自动机遇到的问题3：这个命题为什么是正确的?

题目来自于中国大学mooc上的形式语言与自动机上的一道测验，虽然对了，但是不知道为什么，该怎么证明是对的呢？