自动机、正则文法、正则表达式的相互转化