Linguagens Formais

Entende-se por Teoria das Linguagens Formais e dos autômatos o estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.

Por Programação Pular para comentários
Entende-se por Teoria das Linguagens Formais e dos aut?matos o estudo de modelos matem?ticos que possibilitam a especifica??o e o reconhecimento de linguagens (no sentido amplo da palavra), suas classifica?es, estruturas, propriedades, caracter?sticas e inter-relacionamentos.

A import?ncia dessa teoria na Ci?ncia da Computa??o ? dupla: ela tanto ap?ia outros aspectos te?ricos da Ci?ncia da Computa??o (decidibilidade, computabilidade, complexidade computacional, por exemplo), como fundamenta diversas aplica?es computacionais tais como processamento de linguagens, reconhecimento de padr?es, modelagem de sistemas.

Para definir o que ? a Teoria das Linguagens Formais ? necess?rio definir o que ? linguagem e o que ? linguagem formal. Inicialmente, de maneira bastante informal, podemos definir uma linguagem como sendo uma forma de comunica??o. Elaborando um pouco mais esta defini??o, podemos definir uma linguagem como sendo "um conjunto de elementos (s?mbolos) e um conjunto de m?todos (regras) para combinar estes elementos, usado e entendido por uma determinada comunidade". S?o exemplos as "linguagens naturais" (ou idiomas), "linguagens de programa??o" e os "protocolos de comunica??o".

Assim, podemos dizer que "Linguagens formais" s?o mecanismos formais para representa??o e especifica??o de linguagens, baseados na chamada "Teoria da Computa??o". As representa?es podem ser feitas por reconhecedores e geradores. Os reconhecedores s?o dispositivos formais que servem para verificar se uma senten?a pertence ou n?o ? determinada linguagem. S?o os aut?matos: aut?matos finitos, aut?matos de pilha e M?quina de Turing. Os sistemas geradores s?o dispositivos formais que permitem a gera??o sistem?tica de todas as senten?as de uma linguagem. Os principais sistemas geradores dispon?veis s?o as gram?ticas, onde se destacam as gram?ticas de Chomsky. Ent?o, linguagens formais podem ser representadas de maneira finita e precisa atrav?s de sistemas com sustenta??o matem?tica.

Fonte: Wikip?dia

Mais sobre: wikinet, programação
Compartilhe com seus amigos:
Quer conversar com o(a) Redação, comente:
Carregar comentários
Quantos celulares a Motorola tem em linha?
5(15,05%)
10(58,00%)
15(11,53%)
20(7,49%)
26(7,93%)