python 切分表达式——写个tokenizer吧