原文:第五届形式语言学国际研讨会