Lenguajes naturales y lenguajes formales