怎么证明一个语言是正则的