Revisión del 15:38 4 dic 2020 editar SeroBOT (discusión · contribs.) Bots, Reversores 2 109 648 ediciones m Revertidos los cambios de 190.236.239.188 (disc.) a la última edición de SeroBOT Etiqueta: Reversión ← Ir a diferencia anterior		Revisión del 16:30 12 dic 2020 editar deshacer 2.153.190.71 (discusión) →‎Especificación de lenguajes formales Etiqueta: Revertido Ir a siguiente diferencia →
Línea 15: * El conjunto de todos los programas sintácticamente válidos en un determinado [[lenguaje de programación]]. * El conjunto de todas las fórmulas bien formadas en la [[lógica de primer orden]]. ~~== Especificación de lenguajes formales ==~~ ~~Los lenguajes formales se pueden especificar de una amplia variedad de formas, como por ejemplo:~~ ~~(Si el lenguaje es regular)~~ * Cadenas producidas por una [[gramática formal]] (véase la [[jerarquía de Chomsky]]). * Cadenas descritas por una [[expresión regular]]. * Cadenas aceptadas por un [[Teoría de autómatas\|autómata]], tal como una [[máquina de Turing]] o [[autómata finito]]. ~~Las cadenas están formadas por un conjunto de símbolos que pertenecen a un mismo lenguaje, existen dos formas de componer una sentencia o función con los símbolos:~~ * [[Sintaxis]] * [[Semántica]] == Operaciones ==

Diferencia entre revisiones de «Lenguaje formal»