"本当の正規表現"は決定性だけど、一般的な正規表現は非決定性