Естественные языки – это привычные нам с детства языки, которые были сформированы «естественным» путем. То есть, это языки, которые формировались в течении длительного времени без определенного направления, стихийно. К естественным языкам относятся все разговорные языки (русский, английский, язык жестов и прочие). Надо отметить, что для естественных языков характерна некоторая вольность при их использовании. Так, например, одно и то же слово может иметь различный смысл в различном контексте.Формальные языки были созданы людьми искусственным образом для определенных целей. Примерами формальных языков являются языки программирования, нотная запись, математические выражения. Формальные языки отличаются строгостью интерпретации: одна и та же последовательность знаков предполагает один и тот же смысл в любом контексте.