Plaši izplatīta formālā apzīmējumu sistēma programmēšanas valodu sintakses aprakstīšanai. Ar tās palīdzību var aprakstīt jebkuras valodas sintaksi. Pirmais šīs sistēmas praktiskais pielietojums - programmēšanas valodas ALGOL-60 sintakses apraksts.