Типология языков делит их, прежде всего, на естественные или же национальные («мертвые» и живые) и искусственные (науки, техники, другой сложной практики). Искусственные языки отличаются тем, что за каждым термином в их составе закреплено одно-единственное значение, строго определены и правила оперирования терминами, соблюдение которых дает заранее ожидаемый результат (как при написании химических формул, математических подсчетах и тому подобных операциях с искусственными языками науки и практики). Образцами искусственных языков могут служить знаки и формулы математики или химии; латинские термины медицины или юриспруденции; программы компьютеров.