List<Atom>
split(java.lang.String regexp)
toCharList()
static List<Atom>
tokenize(java.util.StringTokenizer stok)