Que linguaxes formais pode ser atribuído? exemplos de uso

Cal é a linguaxe formal e como difire do natural? Como está formado? Que linguaxes formais pode ser atribuído? E se usa para referirse a el?

Características de linguaxes formais

Entón chamamos un grupo de linguas artificiais, que se caracterizan por regras precisas sobre a construción de expresións, así como a súa comprensión. sistemas utilizados para fins industriais pode ser atribuído a linguaxes formais. Son construídos conforme as regras claras, proporcionar exhibición consistente, compacto e preciso das propiedades e relacións da estudou área de tema ou obxectos configurados. O valor e significado das marcas non poden ser alteradas por calquera características pragmáticas (uso do contexto). Isto é posible grazas á presenza na linguaxe formal das regras de conversión sintaxe e interpretación semántica. Son moitas veces construídos utilizando como base da matemática. Debido ao feito de que, en todo o período de desenvolvemento, usou unha variedade de designacións simbólicas foron aplicados a unha variedade de conceptos e obxectos. Iso é o que precisa linguaxes formais. Poden reducir significativamente os datos. Antes, xunto coas linguaxes formais e naturais foron utilizados, pero coa complicación progresiva do tema e da necesidade de facer unha análise lóxica estrita do razoamento matemático, se decidiu a abandonar o pasado. Este proceso durou desde o XVII ó século XX. É o século pasado é considerada a máis proveitosa en termos de linguaxes formais. varios ramos especiais foron creados. Así, para ciencia da computación son de particular importancia linguaxes de programación ea álxebra da lóxica, non só teórico, senón tamén desde o punto de vista práctico.

definición

Que linguaxes formais poden ser asignados, xa temos explicou brevemente. Pero o que podemos dicir sobre eles? linguaxe formal é xa unha chea de opcións diferentes. Para incluír todos eles, que vai deixar unha morea de tempo, entón bótalle un ollo no máis popular:

1. Unha simple lista de palabras na lingua - normalmente dicilo en relación ao último tipo de construción e sobre os que teñen unha estrutura simple.
2. Palabras xerados por unha determinada gramática formal.
3. A estrutura creada por expresións regulares.
4. Palabras xerados polo BPF-deseño.
5. A estrutura, recoñecible por un autómata finito.

Vexamos un exemplo. Imos dicir que temos o alfabeto enteiro, datos dous números 1 e 0. Para mostrar a letra "O", usan unha combinación de 1010001. Este é o uso dunha linguaxe formal. Tamén é posible usar palabras baleiras (cando a corda ten lonxitude cero, e non hai nada) cunha designación especial na forma familiar para nós. Pero con máis detalle a entender o que é unha linguaxe formal, axuda-4 exemplos que serán dados a continuación. O que fai? Para a comprensión do lector foi que unha linguaxe formal pode ser atribuído. Pero un pouco máis sobre como son creados.

Construción de linguaxes formais

Cada lingua é unha estrutura formal que se creou unha vez e alguén. Son xeralmente construídos no mesmo patrón:

1. Para comezar, escolla o alfabeto, ou algún conxunto de caracteres específicos que serán construídos e expresións usadas na lingua. Pola linguaxe formal é algunha forma de programar empregando un ordenador.
2. Describe a sintaxe, é dicir, as características e normas que van construír frases con sentido.
3. En certas regras para palabras e expresións. Aquí hai unha regra: calquera secuencia de letras que ser capaz de contar palabras.

Ao linguaxe formal refírese a calquera estrutura que teña regras claras - que debe lembrar. Ao construír, hai algunhas características. Así, o termo "carácter" é moi multi-funcional en termos de significado, de xeito que a maior parte usou o termo como unha "carta". Pero debaixo deles pode ser entendido non só a cualificación habitual para nós, pero tamén os parénteses, caracteres especiais e moito máis. Isto é aplicable só para linguaxes formais.

Exemplo 1

Imos comezar con 1 e 0. Nestes casos, usar máis o concepto de "prazo" e "fórmula". O primeiro funciona como un análogo do obxecto eo nome usado para referirse a algo específico. Primeiro de todo entender as constantes e variables individuais baixo eles. Destes, á súa vez, construír estruturas máis complexas, que se usa en algunha función da linguaxe. Baixo os termos do grupo de comprender a fórmula, cuxa utilización nunha determinada linguaxe de programación é posible. Este "instrución" serán procesados, ea persoa vai conseguir o resultado desexado.

Exemplo 2

Considere o exemplo lóxica en que hai unha inversión (¬), disjunção (∧), o conxunto (∨) ea implicación (⇒) e varias. En tal gravación de imaxes pode ser dado como:

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

Como os personaxes A, B, C, substitúe as variables e comeza as operacións lóxicas. Onde aplicar linguaxes formais deste tipo? O uso xeneralizado de tal mecanismo se atopa en linguaxes de programación, matemáticas, relacións, funcións lóxicas e matemáticas, ou partes de que foron descritas polo programador.

Exemplo 3

Imos ollar fórmulas lóxicas máis complexas:

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

É por iso que necesitamos linguaxes formais. Imaxina o que acontecería se foi descrito en palabras? Agora, en base a unha fórmula que deducir conclusións. expresións significativas poden obterse na linguaxe formal só cando certas regras sexan respectadas pre-formación, cambio e "comprensión" das fórmulas e termos que se fixeron:

1. fórmulas prazo de construción e;
2. Estudo do aspecto semántico e interpretación;
3. A raíz dunha das fórmulas e outro termo.

Cada linguaxe formal debe ser ben establecido conxunto de regras.

Exemplo 4

Debido á presenza nas regras da saída sintaxe da linguaxe para os termos e fórmulas poden ser feitos modelos de transformación de isomorfismo. Polo que vai ser realizada non só a reflexión (representación) un corpo específico de coñecemento que xa existe, pero pode recibir novas informacións. Ademais, a transformación, con todo, e terá lugar de acordo con regras claras e rigorosas, pode ser automatizado. Técnicas similares son usados en sistemas expertos, bases de coñecemento, e produtos de apoio á decisión software.

conclusión

linguaxes formais son amplamente utilizados en ciencia, especialmente na arte. Durante a investigación científica ea posta en marcha de actividades prácticas que poden interactuar co natural, tendo en conta as considerables capacidades expresivas deste último. Con todo, linguaxes formais poden transmitir con máis precisión o coñecemento e realizar un intercambio obxectiva de información acumulada pola humanidade.