Кіріспе

Синтаксистік/семантикалық тіл (S/SL) — 1980 жылы Торонто университетінде Джеймс Корди, Рик Холт және Дэвид Вортман жасаған рекурсивті түсу пасерлері, семантикалық талдаушылар және код генераторлары үшін орындалатын жоғары деңгейдегі сипаттама тілі. S/SL — арзан рекурсияны қолдайтын және кіріс, шығыс және қателік белгілерінің атауларын (& мәндерін), семантикалық механизмдерді (әдістері хост бағдарламалау тіліндегі процедураларға шақыру арқылы жұмыс істейтін, бірақ псевдокодта жақсы абстракцияға мүмкіндік беретін сынып интерфейстері) және бағдарлама қабылдайтын белгілер ағыны арқылы кіріс тілінің синтаксисін анықтайтын псевдокод бағдарламасын анықтайтын кішкентай бағдарламалау тілі. Баламалау, басқару ағыны және бір символға алдын ала қарау мүмкіндіктері тілдің құрамына кіреді. S/SL процессоры осы псевдокодты кестеге (байт-кодтарға) компиляциялайды, оны S/SL кестелік жүргіш (интерпретатор) түсіндіреді. Псевдокод тілі кіріс тілін LL(1) рекурсивті түсу стилінде өңдейді, бірақ кеңейтімдер кез келген LR(k) тілін салыстырмалы түрде оңай өңдеуге мүмкіндік береді. S/SL синтаксистік қателерді жақсарту және түзету үшін жасалған. Ол Yacc-тан күштірек және түсініктірек, бірақ баяу жұмыс істеуі мүмкін. S/SL-дің «семантикалық механизмдері» оның мүмкіндіктерін компиляцияның барлық кезеңдеріне дейін кеңейтеді және ол сканерлерді, пасерлерді, семантикалық талдаушыларды, код генераторларын және көп өту тіл процессорларында виртуалды машина интерпретаторларын қоса алғанда, компиляцияның барлық кезеңдерін жүзеге асыру үшін қолданылған. S/SL PL/I, Euclid, Turing, Ada және COBOL сияқты тілдер үшін өндірістік коммерциялық компиляторларды, сондай-ақ интерпретаторларды, командалық процессорларды және көптеген түрлі салалық тілдерді жүзеге асыру үшін пайдаланылды. Бұл IBM-нің ILE/400 COBOL компиляторында қолданылатын негізгі технология, ал ZMailer пошта тасымалдау агенті S/SL-ді пошта маршрутизаторының өңдеу тілін және оның RFC 822 электрондық пошта мекенжайын тексеру үшін пайдаланады.