Este documento define y compara diferentes tipos de lenguaje, incluyendo el lenguaje humano, el lenguaje animal y los lenguajes formales. Explica que el lenguaje humano se basa en la capacidad de comunicación a través de signos lingüísticos, mientras que el lenguaje animal utiliza señales sonoras, visuales y olfativas. También describe que los lenguajes formales son construcciones artificiales usadas en matemáticas y programación que comparten estructuras con el lenguaje humano natural.