Rasmiy Uslub Sintaksisi - bu dasturlash tillari sintaksisini aniqlashga qaratilgan formalizm. U dasturlarning to'g'ri tuzilganligini ko'rsatish uchun sintaktik kategoriyalarning qat'iy ierarxiyasidan va aniq qoidalardan foydalanadi