Discusión:Lenguaje formal

sección (1) sin título

Buenas tardes

Soy estudiante de ing. en sistemas y me llama la atención la contradicción que se da en el texto

"Se sabe que un lenguaje L en un alfabeto Σ es un subconjunto de Σ * y como ya se hizo mención, Σ * es infinito incontable, por ende, L es como mucho un conjunto infinito incontable (del mismo tamaño que Σ * ), la prueba ha culminado."

teniendo en cuenta que antes fue mencionado:

"...esto nos lleva a la conclusión de que, el conjunto de todos los lenguajes en \{a\}\, es justamente 2^\{a\}^*\, (el conjunto de todos los subconjuntos o conjunto potencia de \{a\}^*\,) y es evidente que \{a\}^*\, es infinito (de hecho; contable),..."

Ahora bien, tengo entendido que cualquier conjunto A* es contable, debido a q se puede hacer una relación biyectiva entre todos sus elementos y los elementos de los enteros positivos. Considero pues, que es necesario cambiar el primer párrafo mecionado aqui para evitar confusiones.

189.163.241.22 (discusión) 00:26 9 sep 2008 (UTC) Andrés

Si crees que el texto se puede mejorar, ayúdanos. Suerte.--Εράιδα (Discusión) 06:10 10 sep 2008 (UTC)

Yo veo el mismo error si el alfabeto Σ es finito o numerable (contable en la terminología del artículo) usualmente Σ* es el conjunto de las secuencias finitas, que es finito o numerable (frente al conjunto de todas las secuencias infinitas que sí sería infinito no numerable o incontable en la terminología). Este artículo requiere citas concretas y definiciones precisas de que se está referiendo con la operación asterisco * [el artículo de la wikipedia inglesa en el que este parece basado en parte sí lo define], es claro que hay verios errores. --Davius (discusión) 23:47 2 ene 2013 (UTC)

División temática

La división temática de este artículo es arbitraria y caótica. Se utilizan términos no definidos previamente, por lo que se introduce confusión en vez de claridad. El texto contiene incorrecciones sintácticas que no contribuyen a confiar en la precisión y fidelidad de sus definiciones.--Superescalar (discusión) 16:51 6 oct 2010 (UTC)

Fusión

Se ha propuesto la fusión de este artículo con Lenguaje formalizado.--Jeruus (discusión) 04:57 9 ene 2012 (UTC)

El artículo lenguaje formalizado describe lo que otros autores llaman "lenguaje controlado", es decir, el uso de una lengua natural con restricciones simplificativas que hacen que las oraciones producidas no sean ambiguas. Lo tratado en este artículo no tiene que ver muy directamente con las lenguas naturales, razón por la cual eliminé la propuesta fusión, --Davius (discusión) 23:50 2 ene 2013 (UTC)