იხილეთ წყარო გვერდისთვის ბეკუს-ნაურის ფორმალიზმი

'''ბეკუს-ნაურის ფორმალიზმი''' — [[მეტასინტაქსი]] (ინგლისური შემოკლებით BNF), რომელიც იხმარება კონტექსტისგან თავისუფალი გრამატიკის შესაქმნელად. ბეკუს-ნაურის ფორმალიზმი [[ფორმალური ენა|ფორმალური ენების]] აღსაწერი ფორმალური საშუალებაა.

ეს სინტაქსი არის გამოგონილი [[ჯონ ბეკუსი|ჯონ ბეკუსის]] და [[პეტერ ნაური|პეტერ ნაურის]] მიერ [[Algol 60]] ენის გრამატიკის შექმნის დროს.

== სინტაქსი ==

BNF-ში განასხვავებენ მეტასიმბოლოებს, საბოლოო ტერმინებს (terminals) და არა საბოლოო ტერმინებს (non terminals). მეტასიმბოლოები წარმოადგენენ BNF-ის სიმბოლოებს. არა საბოლოო ტერმინების სიმბოლოები წარმოადგენენ დაწესებული კატეგორიების სახელებს, და საბოლოო ტერმინები არიან აღწერილი ენის სიმბოლოები.

ავიღოთ მაგალითად [[C (პროგრამირების ენა)|C პროგრამირების ენის]] if-ის სტრუქტურა:
<source lang=bnf>
  <if_structure> ::= if "(" <condition> ")" "{" <code> "}" 
</source>

წარმოადგენენ არა საბოლოო ტერმინებს. ::= არის მეტა-სიმბოლო რომელიც ნიშნავს "განსაზღვრულია".
if, "(", ")", "{" და "}" არიან საბოლოო ტერმინები. როდესაც საბოლოო ტერმონები მარტო ერთი ნიშნით შედგებიან, არა ალფაციფრულ ნიშანებს შეიცავენ ან მითი არევა შესაძლოა მეტა-სიმბოლოებთან, ვათავსებთ ბრჭყალებში.

ხშირად ხდება ისე რომ არა საბოლოო ტერმინი სხვადასხვანაირად აღიქვას.
ასეთ შემთხვევაში ვხმარობთ | მეტა-სიმბოლოს.
<source lang=bnf>
  <category> ::= <one> | <two> | ...
</source>

ზოგჯერ ფრჩხილებსაც ვხმარობთ:
<source lang=bnf>
  <category> ::= ( <one> | <two> ) <three>
</source>
რაც უდრის :
<source lang=bnf>
  <category> ::= <one> <three> | <two> <three>
</source>
==რესურსები ინტერნეტში==
* {{en icon}} [http://cui.unige.ch/db-research/Enseignement/analyseinfo/BNFweb.html BNF Web Club] {{Webarchive|url=https://web.archive.org/web/20070124000335/http://cui.unige.ch/db-research/Enseignement/analyseinfo/BNFweb.html |date=2007-01-24 }} გთავაზობთ რამდენიმე პროგრამირების ენის BNF-ს

[[კატეგორია:ინფორმატიკა]]
[[კატეგორია:პროგრამირების ენები]]