Język algorytmiczny

Wikipedia:Weryfikowalność
Ten artykuł od 2022-04 wymaga zweryfikowania podanych informacji.
Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Język algorytmiczny (ang. algorithmic language) – reprezentant klasy języków sztucznych, dający się opisać za pomocą gramatyki bezkontekstowej. Pierwowzorem był język ALGOL 60 z lat 60. Wraz ze zdefiniowaniem tych języków, stało się możliwe konstruowanie translatorów zdolnych automatycznie sprawdzać poprawność składniową programów.