Aro da signoĉenoj difinita per formala gramatiko (sintakso), al kiuj signoĉenoj ofte estas atribuita signifo (semantiko): formala lingvo (kontraste al la homa lingvo, ĉu nature etna kiel la angla, ĉu planlingvo kiel Esperanto); regula, senkunteksta, kuntekstohava lingvo (t.e. difinita per gramatiko apartenanta al samnoma tipo); komputilaj lingvoj kiel Algol, Fortran kaj C [9].