Terminologia eta hizkuntza formalak
Hizkuntza arruntaren alferkeria gainditzeko baliabideak dira.
Terminologiak espezializatutako hitz-multzoak dira.
Hizkera artifizialak eta formalak:
· Kontzeptuak zientzia guztietarako ohiko erabilerako sinboloez (+, -, >, <) hitzarmenezko ordezkatzean oinarritzen diren formulez osatuta daude.
· Berezko gramatika daukate.