Matematikk og informatikk benytter formelle språk. De er konstruerte språk, som for eksempel programmeringsspråk eller beskrivelsesspråk. Som regel er de sammensatt av tegnkjeder, definert av en formell grammatikk og med mer eller mindre utførlig semantikk.