确定有限自动机和非确定有限自动机概念及变换,语法图与自动机