formelle sprog
udvikles i et naturligt sprog vha. ord som "hvis — så", "alle", "nogle" osv., men kan ved en formalisering af disse udtryk omdannes til et formelt sprog. Se også logik. Inden for lingvistikken og datalogien betegner formelle sprog kunstige sprog, hvori