On the Formal Way to Chinese Languages