PDA构造，并且可以识别相应文法的句子（纠正，刚才上传的FAPROJECT是又穷自动机）-PDA structure, and can identify the corresponding grammatical sentences (corrected, just upload FAPROJECT is another DFA)