A JSON parser base on the automaton provided by json.org