§24.6 正规集与有限自动机的等价性