ここで、|は「選択」を意味し、ε は空の文字列を意味する。