巴科斯
巴科斯(Backus)、瑙尔(Naur)的关于“上下文无关方法表示形式”的研究成果推动了语法形式化的研究。
巴库斯
FORTRAN之父巴库斯(Backus)中学时成绩一塌糊涂。43年勉强到维吉尼亚大学学化学,随后参军照顾伤员,表现平平。
范式
...代表一个汉字,第‘类语言L‘代表第i个汉字,语言L‘用形式化的文法规则Gi(V:,VN,p,S)表示,常把L‘写成L(“).当用BNF范式(Backus一Naur Fortn)描述手写汉字规则时,因元符号只有::一刃n,}Pn夕n}P。,夕{yP,n}夕nPn}夕nnP}nP夕n}。