The implementation of Infinite-State Automaton parsing Context Free Gramma