Resultados da pesquisa

Na [[Ciência da Computação]] e na Teoria das [[linguagens formais]], a '''cadeia vazia''' é a única cadeia de comprimento zero. Ela é represe Na Teoria das [[linguagens formais]], cadeias vazias possuem diversas propriedades. ...

Alfabetos são importantes em [[linguagens formais]], [[autômato]]s e semiautômatos. [[Categoria:Linguagens formais]] ...

...es (palavras) não-vazias estão contidas em, no máximo, um número finito de linguagens) é equivalente.</ref> ...'C'' = { ''L''₁, ''L''₂, ''L''₃, ... } de linguagens, uma linguagem membro ''L''_''j'' ∈ ''C'' é dita '''conceito míni ...

...l|linguagens recursivamente enumeráveis]], e outras famílias de linguagens formais estudadas na literatura científica. == Definições formais == ...

...s finitos não determinísticos]], é conhecido que a '''concatenação de duas linguagens regulares''' é uma [[linguagem regular]]. Este artigo fornece uma prova des Para quaisquer [[linguagem regular|linguagens regulares]] <math>L_{1}</math> e <math>L_{2}</math>, a linguagem <math>L_{1 ...

...] são reescritos. As gramáticas de prefixo descrevem exatamente todas as [[linguagens regulares]].<ref>[http://portal.acm.org/citation.cfm?id=185820 M. Frazier a [[Categoria:Linguagens formais]] ...

== Sistemas Formais == ...ões.Calculo proposicional e calculo de predicados são exemplos de sistemas formais. ...

...utômatos finitos não determinísticos]], é conhecido que a '''união de duas linguagens regulares''' é uma [[linguagem regular]]. Este artigo fornece uma prova des Para quaisquer [[linguagem regular|linguagens regulares]] <math>L_{1}</math> e <math>L_{2}</math>, a linguagem <math>L_{1 ...

...t, Rajeev Motwani, Jeffrey D. Ullman – ''Introdução à Teoria de Autômatos, Linguagens e Computação (2ª Edição).'' ...onstrução e simulação de autômatos finitos e conversão para outros modelos formais. ...

...a da computação]], preocupada em atribuir significado às construções das [[linguagens de programação]]. * [[Linguagens de programação]] ...

...gicos; Metalógica fornece afirmações que podem ser verificadas a partir de linguagens e sistemas que são usados para expressar tais afirmações <ref name="Referen ...emas formais, e suas interpretações. O estudo da interpretação de sistemas formais está no ramo da Lógica Matemática que é conhecida como teoria dos modelos, ...

...Também é conhecida como tipo-0 na [[hierarquia de Chomsky]] das linguagens formais. O décimo [[Problemas de Hilbert|problema de Hilbert]] abrange a classe das linguagens recursivamente enumeráveis. ...

...a da computação]], preocupada em atribuir significado às construções das [[linguagens de programação]]. Nesta abordagem, os significados são modelados por objeto ...cando que as funções semânticas denotam os significados das estruturas das linguagens de programação. A abordagem faz uso de [[cálculo lambda]] para modelar as f ...

...madas de '''decidíveis''' ou '''Turing-decidíveis'''. A classe de todas as linguagens recursivas é freqüentemente chamado de '''[[R (complexidade)|R]]''', embora ...hierarquia de [[hierarquia de Chomsky]] de {{Harv|Chomsky|1959}}. Todas as linguagens recursivas também são [[linguagem recursivamente enumerável|recursivamente ...

...a da computação]], preocupada em atribuir significado às construções das [[linguagens de programação]]. * [[Linguagens de programação]] ...

...a da computação]], preocupada em atribuir significado às construções das [[linguagens de programação]]. * [[Linguagens de programação]] ...

A necessidade de uma semântica formal (matemática) para linguagens de programação justifica-se, pois: A definição da semântica de linguagens faz uso de ''funções semânticas'' que se aplicam sobre as estruturas da lin ...

...á uma propriedade compartilhada por todas as [[Linguagem livre de contexto|linguagens livres de contexto]]. ...do bombeamento" de agora em diante) descreve uma propriedade que todas as linguagens livres de contexto garantidamente possuem. ...

...Bar-Hillel, é um lema que que sua propriedade é compartilhada por todas as linguagens livres de contexto. ...' é uma constante chamada de bombeamento de comprimento que varia entre as linguagens livres de contexto. E ''s'' é uma sequência de tamanho pelo menos ''p'', qu ...

'''Linguagens indexadas''' são uma classe de [[linguagens formais]] descoberta por [[Alfred Aho]];<ref name="aho1968">{{citar periódico|últim ...contexto]].<ref name="aho1968"/> Elas qualificam uma família abstrata de linguagens (Além disso, um AFL cheio) e satisfazem muitas propriedades de fechamento. ...