这题翻译是不是有点问题？

如果 P A 并且 P 不是一个空串,那么我们说 P 是A的一个proper前缀.

if P!=A and P is not an empty string, we say, that P is a proper prefix of A.

应该是P！=A吧