Qué lenguajes formales se puede atribuir? ejemplos de uso

¿Cuál es el lenguaje formal y cómo se diferencia de lo natural? ¿Cómo se formó? Qué lenguajes formales se puede atribuir? Y se utiliza para referirse a él?

Características de los lenguajes formales

Por lo que llamamos un grupo de lenguas artificiales, que se caracterizan por normas precisas en cuanto a la construcción de expresiones, así como su comprensión. Los sistemas utilizados para fines industriales se pueden atribuir a los lenguajes formales. Están construidos de acuerdo con las reglas claras, ofrecer una presentación unitaria, compacta y precisa de las propiedades y relaciones de los estudiados en la materia o de objetos modelados. El valor y el significado de las marcas no pueden ser modificados por cualquier característica pragmática (uso del contexto). Esto es posible gracias a la presencia en el lenguaje formal de las reglas de conversión de la sintaxis y la interpretación semántica. A menudo se construyen utilizando como base de las matemáticas. Debido al hecho de que, en todo el periodo de desarrollo, utiliza una variedad de denominaciones simbólicas se han aplicado a una variedad de conceptos y objetos. Eso es lo que hay lenguajes formales. Se puede reducir significativamente los datos. Más temprano, junto con los lenguajes formales y naturales se han utilizado, pero con la complicación gradual de la materia y la necesidad de hacer un estricto análisis lógico del razonamiento matemático, se decidió abandonar el pasado. Este proceso duró desde el siglo XVII hasta el siglo XX. Es el último siglo es considerado el más fructífero en términos de lenguajes formales. Se crearon varias ramas especiales. Por lo tanto, para la informática son de particular importancia los lenguajes de programación y el álgebra de la lógica, no sólo teórica, sino también desde un punto de vista práctico.

definición

Qué lenguajes formales se puede atribuir, ya hemos explicado brevemente. Pero ¿qué podemos decir acerca de ellos? lenguaje formal se le da una gran cantidad de diferentes definiciones. Enumerarlos todos, dejará una gran cantidad de tiempo, así que echar un vistazo a los más populares:

1. Una simple lista de palabras en la lengua – suele decir lo mismo con respecto al último tipo de construcción y sobre los que tienen una estructura simple.
2. Palabras generados por una determinada gramática formal.
3. La estructura creada por las expresiones regulares.
4. Palabras generadas por el BPF-diseño.
5. La estructura, reconocible por un autómata finito.

Veamos un ejemplo. Digamos que tenemos todo el alfabeto, dado dos números 1 y 0. Para mostrar la letra "O", se utiliza una combinación de 1010001. Este es el uso de un lenguaje formal. También es posible utilizar palabras vacías (cuando la cadena tiene longitud cero, y no hay nada) con una designación especial en forma familiar para nosotros. Pero en más detalle para comprender lo que es un lenguaje formal, ayudar a 4 ejemplos que se darán a continuación. ¿Qué hacer? Para la comprensión del lector fue que un lenguaje formal puede ser atribuido. Pero un poco más sobre la forma en que se crean.

La construcción de lenguajes formales

Cada lengua es una estructura formal que se ha creado de una vez a alguien. Por lo general, se basan en el mismo patrón:

1. Para empezar, seleccione el alfabeto, o algún conjunto de caracteres específicos que serán construidas y expresiones utilizados en el lenguaje. Por el lenguaje formal es cualquier forma de programar el uso de una computadora.
2. En él se describe la sintaxis, es decir, las características y reglas que construirán frases con sentido.
3. En ciertas reglas para las palabras y expresiones. Aquí hay una regla: cualquier secuencia de letras debe ser capaz de contar las palabras.

Por lenguaje formal se refiere a cualquier estructura que tiene reglas claras – se debe recordar. Cuando se construye, hay algunas características. Por lo tanto, el término "carácter" es muy multi-funcional en términos de significado, por lo que en su mayor parte utiliza el término como una "carta". Pero por debajo de ellos se puede entender no sólo la notación habitual para nosotros, sino también los soportes, caracteres especiales, y mucho más. Esto se aplica sólo a los lenguajes formales.

Ejemplo 1

Vamos a empezar con 1 y 0. En tales casos, utilizar más el concepto de "expresión" y "fórmula". La primera actúa como un análogo del objeto y el nombre utilizado para referirse a algo específico. En primer lugar entender las constantes y variables individuales en virtud de ellos. De éstos, a su vez, construir estructuras más complejas, que se utiliza utilizados en algunos función del lenguaje. Bajo los términos del grupo comprenden la fórmula, cuyo uso en un determinado lenguaje de programación es posible. Este "instrucción" será procesada, y la persona va a obtener el resultado deseado.

Ejemplo 2

Considere la lógica ejemplo en el que hay una inversión (¬), disyunción (∧), la conjunción (∨) y la implicación (⇒) y varios otros. En dicha grabación de imágenes se puede dar como:

1. A;
2. A∧V ⇒ ¬
3. ¬ (A∨¬S)

Como los caracteres A, B, C, sustituir las variables y se obtiene las operaciones lógicas. Dónde aplicar los lenguajes formales de este tipo? El uso generalizado de un mecanismo de este tipo se encuentra en los lenguajes de programación, matemáticas, relaciones, funciones lógicas y matemáticas, o partes de los cuales han sido descritos por el programador.

Ejemplo 3

Veamos unas más complejas fórmulas lógicas:

¬ (A∨¬S) ⇔ ¬A∧S = 1

Es por eso que necesitamos lenguajes formales. Imaginar lo que habría ocurrido si se describió en palabras? Ahora, sobre la base de una fórmula se deduce conclusiones. expresiones significativas se pueden obtener en el lenguaje formal sólo cuando ciertas reglas se respetan pre-formación, el cambio y la "comprensión" de las fórmulas y términos de los que están hechos:

1. fórmulas plazo de construcción y;
2. Estudio del aspecto semántico e interpretación;
3. La secuencia de una de las fórmulas y otros plazo.

Cada lenguaje formal debe ser establecido así un conjunto de reglas.

Ejemplo 4

Debido a la presencia en las reglas de la salida de la sintaxis del lenguaje para los términos y las fórmulas se pueden hacer modelos de transformación isomorfos. Por lo tanto, se llevará a cabo no sólo el reflejo (representación de) un cuerpo específico de conocimiento que ya existe, pero puede recibir nueva información. Por otra parte, la transformación, sin embargo, y se llevará a cabo de acuerdo con normas claras y estrictas, puede ser automatizado. Técnicas similares se utilizan en los sistemas expertos, bases de conocimiento, y productos de software de soporte de decisiones.

conclusión

Los lenguajes formales son ampliamente utilizados en la ciencia, en especial en la materia. Durante la investigación científica y la realización de actividades prácticas que pueden interactuar con el medio natural, en vista de las considerables capacidades expresivas de este último. Sin embargo, los lenguajes formales pueden transmitir con mayor precisión el conocimiento y para llevar a cabo un intercambio de información objetiva acumulada por la humanidad.