从正则表达式到有限自动机