⽂字、空⽂字列(形式言語）