Что такое формальный язык и его историческое развитие