في علوم الحاسوب، صيغة باكوس ونور (بالإنجليزية: Backus–Naur form) صيغة هي أسلوب لتدوين قواعد النحو وكثيرًا ما تستخدم لوصف تكوين الجملة في لغات البرمجة بروتوكولات الاتصال. ويطبق في الحالات التي تحتاج إلى وصف دقيق للغة، على سبيل المثال، في مواصفات اللغة الرسمية، في الكتيبات، وفي كتب دراسة نظرية لغة البرمجة.
وتستخدم العديد من الملحقات والمتغيرات من التدوين الأصلي؛ البعض يتم تعريفها حرفيا، بما فيها صيغة باكوس نور المطولة (EBNF) صيغة باكوس ونور المضافة (ABNF).