Языки бывают естественными, например, русский, китайский, английский, и формальные, например, математическая символика, нотная грамота, языки программирования. Естественные языки развивались веками и служат для общения людей между собой. Формальные языки разрабатываются для специальных применений.