自测：理论

解释自动机分层、停机问题、熵与压缩下界、P 与 NP。