What is a language?
May refer either to the (human) capacity for acquiring and using complex systems of communication, or to a specific instance of such a system of complex communication.
and a formal language?
A language is formal if it is provided with a mathematically rigorous repre- sentation of itsa:
alphabet of symbols, and formation rules specifying which strings of symbols count as well-formed.
Computer science
May refer either to the (human) capacity for acquiring and using complex systems of communication, or to a specific instance of such a system of complex communication.
and a formal language?
A language is formal if it is provided with a mathematically rigorous repre- sentation of itsa:
alphabet of symbols, and formation rules specifying which strings of symbols count as well-formed.
In computer science, formal languages are used for the precise
definition of programming languages and, therefore, in the
development of compilers.
Formal Languages
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are specific to it.
Reference:
http://www.sti.uniurb.it/aldini/publications/lfga.pdf