Formala lingvo por prezenti komputilajn programojn: Algolo, Fortrano, Paskalo kaj C estas famaj programlingvoj; altnivela, ordonema, deklarema, strukturema, objektema programlingvo; nova serio de programoj kaj programlingvoj por Interreto, nun ellaborataj ĉe Microsoft [55].