Introduction - If you have any usage issues, please Google them yourself
Methods 1.3.1,1.3.2 based on the realization of textbooks algorithm 2.2 (elimination of unreachable symbols) to simplify the results, with 1.3.1 the grammar to a text file, the output