Metalingvistik formulalar tili Algoritmik tilning sintaksis qoidalarini yozish va tushuntirish uchun ham qandaydir til lozim bo‘ladi. Bu til bilan dasturlashning algoritmik tillarini almashtirib yubormaslik kerak. Kiritilishi kerak bo‘lgan bu til dasturlash tilini aniqlash uchun kerak bo‘ladi. Bu til «meta till»deb ataladi. Tilni ifodalashda Bekus-Naurning metalingvistik formulalaridan (BNF) foydalaniladi. BNF tilida dasturlash tillarining sintaksisi ixcham va formulalar ko‘rinishida aniqlanadi. Bu formulalar oddiy arifmetik formulalarga o‘xshab ketadi, shuning uchun ham ularni metalingvistik formulalar (qisqacha metaformula) deb ataladi. Metaformulaning o‘ng va chap qismlari «::=« belgisi bilan ajratiladi. Belgining ma’nosi «aniqlanishi bo‘yicha shunday» jumlasiga yaqinroq. Bu belgining o‘ng tomonida meta o‘zgaruvchi, chap tomonida esa meta o‘zgaruvchining qiymatlar to‘plami yotadi. Tushunishga oson bo‘lishi uchun meta o‘zgaruvchilar, yoki ularning qiymatlari burchak qavslar («<« va «>«) ichiga olib yoziladi. Masalan , , va hokazo. Meta o‘zgaruvchilarning meta qiymatlari bir necha mumkin bo‘lgan konstruksiyalardan tashkil rtopishi mumkin. Bu holda konstruksiyalar o‘zaro tik chiziq ( | ) bilan ajratiladi. Bu belgining ma’nosi «yoki» so‘ziga yaqinoq tushunchadir.
Metaformulalarga misollar:
1.::= A | В ::=|+|— bu formuladan deganda A yoki В harf-lari tushuniladi, tushunchasi ostida quyidagi 10 ta holning biri bo‘lishi mumkin:
2. ::= 0|l 3. ::= | 3-misolda o‘ng tomonda aniqlanayotgan tushuncha yotibdi, bu meta formulalarning rekursiv xossasiga ega ekanligini ko‘rsatadi.
Meta formulalarni yozishda «{«, «}» qavslar uchrab turadi. Bu qavs ichiga olib yozilgan konstruksiya takrorlanuvchi konstruksiya hisoblanadi.
