Discussão:samblagem

O conteúdo da página não é suportado noutras línguas.
Origem: Wikcionário, o dicionário livre.

Alguém me pode ajudar a descodificar o significado de linguagens formais neste verbete? Diabo e Santo

A área "linguagens formais"[editar]

O assunto "linguagens formais" é uma área de conhecimento e pesquisa que cruza e intersecta diversas ciências, tais como Lingüística, Computação (ou Informática), Lógica, Matemática e Semiótica. Neste assunto é especialmente importante o conceito de "samblagem", a qual é uma palavra cujo significado equivale à locução "cadeia de caracteres". Tais cadeias são um dos objetos básicos desta área de estudos. Existem vários livros que se dedicam a dissecar este assunto. Basta procurar, por exemplo, em um sítio como o do Amazon, pela expressão "formal languages".--Arthur Buchsbaum 17h38min de 10 de outubro de 2007 (UTC)[responder]


Obrigado pela explicação. Eu estava embicado para linguagem formal/linguagem informal, formulários & Cª relacionados com forma quando se lê "fôrma"
Em inglês (e como termo técnico da computação adequado a um dicionário não técnico) sei descodificar para
  • formal language (plural formal languages)
  • (computing theory) A set of finite strings (called sentences) over a specified finite alphabet.
Apetece-me errar e dizer que uma linguagem formal é uma linguagem desprovida de ambiguidades. Posso dizê-lo?
  • no momento da implementação automática de regras lingüísticas, os “cientistas da computação” se depararam com um árduo obstáculo: o problema da ambigüidade de uma língua natural. De fato, uma língua natural não é uma linguagem formal desprovida de ambigüidade. Hagége e Duarte ( 1995:81 ) dizem que os sistemas de análise sintática são “capazes de captar a ordem linear das combinações de palavras, a sua estrutura de constituintes e casos de ambigüidade estrutural. - CLAUDIA ZAVAGLIA - ANÁLISE DA HOMONÍMIA NO PORTUGUÊS: TRATAMENTO SEMÂNTICO COM VISTAS A PROCEDIMENTOS COMPUTACIONAIS
Fazendo fé na pt.wikipedia, "Linguagens formais" são mecanismos formais para representação e especificação de linguagens, baseados na chamada "Teoria da Computação"[[1]].
Diabo e Santo