ბეკუსნაურის ფორმალიზმის ერთერთი შემქმნელი რომელიც აღწერს პროგრამირების ენების სინტაქსს