ბეკუს-ნაურის ფორმალიზმი, არის მეტასინტაქსი, რომელიც იხმარება კონტექსტისგან თავისუფალი გრამატიკის შესაქმნელად. ბეკუს-ნაურის ფორმალიზმი ფორმალური ენების აღსაწერი ფორმალური საშუალებაა.
კატეგორია: პროგრამული ენები