二义文法的语言肯定不能用有限自动机来识别。