Acesso mais rápido do que o navegador!
28 relações: Algoritmo CYK, Algoritmo Earley, Analisador sintático LR, Análise sintática (computação), Autômato com pilha, Autômato com pilha determinístico, Cadeia de caracteres, Concatenação, Fechamento, Fecho de Kleene, Formalismo de Backus-Naur, Gramática livre de contexto, Gramática regular, Homomorfismo, Interseção, Lema de Ogden, Lema do bombeamento para linguagens livres de contexto, Linguagem de Dyck, Linguagem de programação, Linguagem formal, Linguagem livre de contexto determinística, Linguagem regular, Linguagem sensível ao contexto, Problema de decisão, Subconjunto, União (matemática), Universidade de Illinois em Urbana-Champaign, Universidade Federal do Rio Grande do Norte.
Algoritmo CYK
O algoritmo Cocke-Younger-Kasami (CYK) determina se uma cadeia de caracteres pode ser gerada por uma determinada gramática livre de contexto e, se ela puder, como ela pode ser gerada.
Novo!!: Linguagem livre de contexto e Algoritmo CYK · Veja mais »
Algoritmo Earley
O algoritmo de análise gramatical Earley é um tipo de programa que subdivide uma entrada (input) para que um outro possa atuar sobre ela mais comumente usado em linguística computacional, nomeado após seu inventor, Jay Earley.
Novo!!: Linguagem livre de contexto e Algoritmo Earley · Veja mais »
Analisador sintático LR
Um analisador sintático LR (também chamado parser LR) é um algoritmo de análise sintática para gramáticas livres de contexto.
Novo!!: Linguagem livre de contexto e Analisador sintático LR · Veja mais »
Análise sintática (computação)
árvore da expressão Em ciência da computação e linguística, a análise sintática (do inglês: parsing) é um processo de um compilador (de uma linguagem de programação), é a segunda fase da compilação onde se analisa uma sequência que foi dada entrada (via um arquivo de computador ou via teclado, por exemplo) para verificar sua estrutura gramatical segundo uma determinada gramática formal.
Novo!!: Linguagem livre de contexto e Análise sintática (computação) · Veja mais »
Autômato com pilha
Na teoria dos autômatos, um autômato com pilha é um autômato finito com uma memória auxiliar em forma de pilha.
Novo!!: Linguagem livre de contexto e Autômato com pilha · Veja mais »
Autômato com pilha determinístico
Na teoria dos autômatos, um autômato com pilha determinístico (APD) é uma variante de autômato com pilha.
Novo!!: Linguagem livre de contexto e Autômato com pilha determinístico · Veja mais »
Cadeia de caracteres
Na programação de computadores, uma cadeia de caracteres ou string é uma sequência de caracteres, geralmente utilizada para representar palavras, frases ou textos de um programa.
Novo!!: Linguagem livre de contexto e Cadeia de caracteres · Veja mais »
Concatenação
Concatenação é um termo usado em computação para designar a operação de unir o conteúdo de duas strings.
Novo!!: Linguagem livre de contexto e Concatenação · Veja mais »
Fechamento
Em matemática, um conjunto é fechado em relação a uma dada operação quando o resultado dessa operação em elementos desse conjunto é ainda um elemento desse conjunto.
Novo!!: Linguagem livre de contexto e Fechamento · Veja mais »
Fecho de Kleene
Na lógica matemática e na ciência da computação, o fecho de Kleene, estrela de Kleene ou operador de Kleene, é uma operação unária aplicada a conjuntos.
Novo!!: Linguagem livre de contexto e Fecho de Kleene · Veja mais »
Formalismo de Backus-Naur
O Formalismo de Backus-Naur (BNF, do inglês Backus-Naur Form ou Backus Normal Form) é uma metassintaxe usada para expressar gramáticas livres de contexto, isto é, um modo formal de descrever linguagens formais.
Novo!!: Linguagem livre de contexto e Formalismo de Backus-Naur · Veja mais »
Gramática livre de contexto
A gramática livre de contexto (GLC), em teoria de linguagem formal, é uma gramática formal onde todas as regras de produções são da forma A\ \to\ \alpha A é um símbolo não terminal, e \alpha é uma cadeia de terminal e/ou não terminais (\alpha pode ser vazia). Uma linguagem formal é considerada “livre do contexto” quando suas regras de produções podem ser aplicadas independentemente do contexto do simbolo não terminal.
Novo!!: Linguagem livre de contexto e Gramática livre de contexto · Veja mais »
Gramática regular
Em Teoria da computação as Gramáticas regulares também conhecida como Tipo 3 da Hierarquia de Chomsky, é uma restrição sobre a forma das produções, pode-se criar uma nova classe de gramáticas de grande importância no estudo dos compiladores por possuírem propriedades adequadas para a obtenção de reconhecedores simples.
Novo!!: Linguagem livre de contexto e Gramática regular · Veja mais »
Homomorfismo
Em álgebra abstrata, um homomorfismo é uma aplicação que preserva a estrutura entre duas estruturas algébricas (como por exemplo grupos, anéis ou espaços vetoriais).
Novo!!: Linguagem livre de contexto e Homomorfismo · Veja mais »
Interseção
Representação gráfica da interseção entre dois conjuntos Em teoria dos conjuntos, a, é um conjunto de elementos que, simultaneamente, pertencem a dois ou mais conjuntos, representado por ∩. Por exemplo, se o conjunto A possui os elementos e o conjunto B possui os elementos, então interseção do conjunto A com o conjunto B será igual a.
Novo!!: Linguagem livre de contexto e Interseção · Veja mais »
Lema de Ogden
Acerca da teoria de Linguagens Formais, o Lema de Ogden provê uma aumento de flexibilidade sobre o lema do bombeamento para linguagens livres de contexto.
Novo!!: Linguagem livre de contexto e Lema de Ogden · Veja mais »
Lema do bombeamento para linguagens livres de contexto
O lema do bombeamento para linguagens livres de contexto, também conhecido como o lema de Bar-Hillel, é um lema que dá uma propriedade compartilhada por todas as linguagens livres de contexto.
Novo!!: Linguagem livre de contexto e Lema do bombeamento para linguagens livres de contexto · Veja mais »
Linguagem de Dyck
Na teoria das linguagens formais, a linguagem de Dyck (lê-se "daique") é uma linguagem que consiste de cadeias balanceadas por parênteses e por colchetes.
Novo!!: Linguagem livre de contexto e Linguagem de Dyck · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Linguagem livre de contexto e Linguagem de programação · Veja mais »
Linguagem formal
Entende-se por linguagem formal 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.
Novo!!: Linguagem livre de contexto e Linguagem formal · Veja mais »
Linguagem livre de contexto determinística
Na teoria da linguagem formal, linguagens livres de contexto determinísticas (LLCD) são um subconjunto de linguagens livres de contexto (LLC).
Novo!!: Linguagem livre de contexto e Linguagem livre de contexto determinística · Veja mais »
Linguagem regular
Na teoria da ciência da computação e teoria formal de linguagem, uma linguagem regular é uma linguagem formal que pode ser expressa usando expressões regulares, ou seja, uma linguagem produzida utilizando as operações de concatenação, união e fecho de Kleene sobre os elementos de um alfabeto.
Novo!!: Linguagem livre de contexto e Linguagem regular · Veja mais »
Linguagem sensível ao contexto
Na Ciência da computação teórica, a 'linguagem sensível ao contexto' é uma linguagem formal que pode ser definida por uma Gramática sensível ao contexto.
Novo!!: Linguagem livre de contexto e Linguagem sensível ao contexto · Veja mais »
Problema de decisão
Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim-ou-não.
Novo!!: Linguagem livre de contexto e Problema de decisão · Veja mais »
Subconjunto
Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").
Novo!!: Linguagem livre de contexto e Subconjunto · Veja mais »
União (matemática)
Indicação da união entre os conjuntos A e B Em teoria dos conjuntos, a união de dois ou mais conjuntos é o conjunto dos elementos que pertencem a pelo menos um destes conjuntos.
Novo!!: Linguagem livre de contexto e União (matemática) · Veja mais »
Universidade de Illinois em Urbana-Champaign
Universidade de Illinois em Urbana e Champaign (também conhecida como UIUC) é uma universidade pública estadunidense no estado de Illinois, fica localizada nas cidades gêmeas de Urbana e Champaign.
Novo!!: Linguagem livre de contexto e Universidade de Illinois em Urbana-Champaign · Veja mais »
Universidade Federal do Rio Grande do Norte
A Universidade Federal do Rio Grande do Norte (UFRN) é uma instituição de ensino superior pública brasileira, sob a forma de autarquia federal vinculada ao Ministério da Educação (MEC), com sede na cidade de Natal, no Estado do Rio Grande do Norte.
Novo!!: Linguagem livre de contexto e Universidade Federal do Rio Grande do Norte · Veja mais »
Redireciona aqui:
Linguagem independente de contexto, Linguagens Livres de Contexto.
