PL/0, Niklaus Wirth tarafından 1976 yılında "Algorithms + Data Structures = Programs" adlı kitabında tanıtılan, eğitim amaçlı bir programlama dilidir. Pascal'a benzer ancak çok daha basittir ve bir compiler'ın nasıl inşa edileceğine dair pratik bir örnek teşkil eder. Dil, gerçek sayılar, gelişmiş aritmetik işlemler veya "if" ve "while" blokları dışındaki kontrol akışı yapıları gibi modern özelliklerden yoksundur. Bu kısıtlamalar, PL/0'ı gerçek dünya uygulamaları geliştirmek için elverişsiz kılsa da, compiler'ının kompakt ve anlaşılır kalmasına yardımcı olur, bu da onu öğrenme süreci için ideal kılar.
PL/0'ın temel özellikleri arasında tüm sabitlerin ve değişkenlerin açıkça bildirilmesi zorunluluğu bulunur. Tek veri tipi tam sayılardır ve yalnızca aritmetik ile karşılaştırma operatörleri mevcuttur; ayrıca bir sayının tek olup olmadığını kontrol eden "odd" adında özel bir fonksiyonu vardır. Orijinal uygulamada giriş/çıkış rutinleri bulunmazken, çoğu güncel implementasyon tek giriş ve tek çıkış rutinleri içerir. Akış kontrolü için "if-then", "while-do" yapıları ve parametre kabul etmeyen kullanıcı tanımlı prosedürler kullanılır. Dilin basit sözdizimi, öğrencilerin özyinelemeli inişli bir parser yazmasını kolaylaştırır, bu da PL/0 compiler'ının dünya genelindeki compiler yapımı derslerinde yaygın olarak kullanılmasının ana nedenlerinden biridir.
Öğrenciler genellikle PL/0'ı REPEAT..UNTIL döngüsü, prosedürlere parametre geçirme, diziler, stringler veya ondalık sayılar gibi daha gelişmiş özelliklerle genişleterek dilin sınırlarını keşfederler. PL/0, adım adım iyileştirme, özyinelemeli inişli ayrıştırma (recursive descent parsing), EBNF, P-kodu ve T-diyagramları gibi compiler alanındaki birçok etkili kavramı öğrencilere tanıtarak önemli bir rol oynamıştır. Bu sayede, compiler tasarımının temel prensiplerini anlamak ve uygulamak için sağlam bir temel sunar.
PL/0, programlama dillerinin ve compiler'ların temel çalışma prensiplerini anlamak için basit ama etkili bir eğitim aracıdır.