Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...r expressa usando [[expressão regular|expressões regulares]], ou seja, uma linguagem produzida utilizando as operações de [[concatenação]], [[União (matemática) ...omo os [[Autômato finito alternado|autômatos finitos]], pois representam a linguagem mais elementar classificada pela hierarquia de Chomsky que não requer [[Mem ...11 kB (1 755 palavras) - 16h23min de 1 de janeiro de 2024
- ...ue aceita exatamente as palavras do alfabeto da linguagem que são parte da linguagem e rejeita todas as outras palavras. Linguagens recursivas são também chamad ...ky]] de {{Harv|Chomsky|1959}}. Todas as linguagens recursivas também são [[linguagem recursivamente enumerável|recursivamente enumeráveis]]. ...4 kB (561 palavras) - 01h35min de 9 de agosto de 2024
- Uma '''linguagem-ω''' é um [[conjunto]] de sequências de tamanho infinito de [[Símbolo (form ...s (não necessariamente finito). Seguindo a definição padrão da teoria da [[linguagem formal]], Σ<sup>*</sup> é o conjunto de todas as palavras ''finitas'' sobre ...4 kB (673 palavras) - 20h57min de 7 de dezembro de 2022
- ...eoria da complexidade computacional]], uma '''linguagem esparsa''' é uma [[linguagem formal]] (um conjunto de ''[[string]]s'') cujo número de ''strings'' de com ...á apenas [[Coeficiente binomial|<math>\binom{n}{k}</math>]] ''strings'' na linguagem, que é delimitada por ''n''<sup>''k''</sup>. ...3 kB (532 palavras) - 23h10min de 20 de junho de 2018
- Linguagens indexadas são um [[subconjunto próprio]] de [[Linguagem sensível ao contexto|linguagens sensíveis ao contexto]].<ref name="aho1968" ...indexadas]] possam descrever muitas das restrições não locais ocorrendo em linguagem naturais. ...7 kB (984 palavras) - 14h46min de 19 de dezembro de 2023
- Entende-se por '''linguagem formal''' estudo de modelos matemáticos que possibilitam a especificação e ...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 (r ...17 kB (2 823 palavras) - 23h47min de 21 de setembro de 2023
- ...te enumerável''' é um tipo de [[Linguagem formal]] que também é chamada de linguagem Turing-reconhecível. Também é conhecida como tipo-0 na [[hierarquia de Chom Existem três equivalentes definições importantes para o conceito de uma linguagem recursivamente enumerável: ...3 kB (486 palavras) - 16h17min de 1 de janeiro de 2024
- ...</ref> Essa linguagem consiste em um substrato de alguma [[Língua natural|linguagem natural]] (por exemplo, o [[Língua portuguesa|português]]), usando termos t Semelhante às linguagens naturais, o discurso que usa a linguagem da matemática pode empregar uma escala de registros. Artigos de pesquisa em ...9 kB (1 299 palavras) - 14h55min de 6 de março de 2025
- ...gramáticas livres de contexto. É importante distinguir as propriedades da linguagem (propriedades intrínsecas) de propriedades de uma gramática específica (pro ...uma maneira direta para produzir um autômato com pilha para a gramática (e linguagem correspondente), mas indo para o outro lado (produzindo uma gramática dado ...9 kB (1 597 palavras) - 16h16min de 1 de janeiro de 2024
- ...putação teórica]], a ''<nowiki/>'linguagem sensível ao contexto' ''é uma [[linguagem formal]] que pode ser definida por uma [[Gramática sensível ao contexto]]. ...da por uma máquina desse tipo é uma linguagem sensível ao contexto, e cada linguagem sensível ao contexto pode ser decidida por uma máquina desse tipo. ...6 kB (853 palavras) - 16h21min de 1 de janeiro de 2024
- {{Info/Linguagem de computador * [[Miranda (linguagem de programação)|Miranda]] ...38 kB (6 007 palavras) - 16h40min de 18 de janeiro de 2025
- '''Identificação de linguagem no limite''' é um modelo formal de [[Raciocínio indutivo|inferência indutiv ...ite de uma classe de linguagens se dada qualquer representação de qualquer linguagem da classe, o aprendiz irá produzir somente um número finito de representaçõ ...16 kB (2 397 palavras) - 18h11min de 19 de abril de 2023
Resultados no conteúdo das páginas
- ...te enumerável''' é um tipo de [[Linguagem formal]] que também é chamada de linguagem Turing-reconhecível. Também é conhecida como tipo-0 na [[hierarquia de Chom Existem três equivalentes definições importantes para o conceito de uma linguagem recursivamente enumerável: ...3 kB (486 palavras) - 16h17min de 1 de janeiro de 2024
- ...ue aceita exatamente as palavras do alfabeto da linguagem que são parte da linguagem e rejeita todas as outras palavras. Linguagens recursivas são também chamad ...ky]] de {{Harv|Chomsky|1959}}. Todas as linguagens recursivas também são [[linguagem recursivamente enumerável|recursivamente enumeráveis]]. ...4 kB (561 palavras) - 01h35min de 9 de agosto de 2024
- ...a manipulação das sequências de caracteres.Elas não descrevem nada mais da linguagem,como a semantitica(i.e.significado da palavra).(Veja também gramática forma == Linguagem Formal == ...2 kB (378 palavras) - 11h26min de 12 de janeiro de 2025
- ...as e suficientes|condição suficiente]] para ''C'' sendo [[Identificação de linguagem no limite|identificável no limite]].<ref>{{citar periódico| autor=Dana Angl ...ub>1</sub>, ''L''<sub>2</sub>, ''L''<sub>3</sub>, ... } de linguagens, uma linguagem membro ''L''<sub>''j''</sub> ∈ ''C'' é dita '''conceito mínimo''' de ''L'' ...3 kB (501 palavras) - 09h46min de 20 de maio de 2016
- ...eoria da complexidade computacional]], uma '''linguagem esparsa''' é uma [[linguagem formal]] (um conjunto de ''[[string]]s'') cujo número de ''strings'' de com ...á apenas [[Coeficiente binomial|<math>\binom{n}{k}</math>]] ''strings'' na linguagem, que é delimitada por ''n''<sup>''k''</sup>. ...3 kB (532 palavras) - 23h10min de 20 de junho de 2018
- Uma '''linguagem-ω''' é um [[conjunto]] de sequências de tamanho infinito de [[Símbolo (form ...s (não necessariamente finito). Seguindo a definição padrão da teoria da [[linguagem formal]], Σ<sup>*</sup> é o conjunto de todas as palavras ''finitas'' sobre ...4 kB (673 palavras) - 20h57min de 7 de dezembro de 2022
- ...a]], [[hebraico]] [[Yodh]], as menores letras nesses dois alfabetos) são [[linguagem de programação esotérica|linguagens de programação esotéricas]], [[Turing t comentei temporariamente porque ainda não me certifiquei se tratar da mesma linguagem (para evitar construir o Frankenstein) ...2 kB (375 palavras) - 19h40min de 20 de outubro de 2019
- # Se ''V'' é uma linguagem, então ''V''* é o menor [[superconjunto]] de ''V'' que contém ε (denominado ...1</sub> = { wv : w ∈ V<sub>i</sub> e v ∈ V } onde i ≥ 0. Se ''V'' é uma [[linguagem formal]], então ''V''<sub>i</sub> representa a concatenação do conjunto ''V ...4 kB (572 palavras) - 17h26min de 17 de setembro de 2021
- ...ogramação)|ML]] e [[Haskell (linguagem de programação)|Haskell]]. Qualquer linguagem que suporte [[Clausura (ciência da computação)|clausura]] pode ser usada pa ...2 kB (372 palavras) - 23h14min de 4 de abril de 2023
- ...linguagens aceitas pelas FSMs são as [[linguagens regulares]]- isto é, uma linguagem é regular se alguma FSM aceita ela. ...al a máquina afirma que a entrada, já processada por completo, é membro da linguagem que ela aceita. Geralmente é representada por dois círculos. ...3 kB (442 palavras) - 00h12min de 10 de janeiro de 2023
- Uma linguagem linear é uma linguagem gerada por alguma gramática linear. Ela gera a linguagem <math>\{ a^ib^i \; | \; i \geq 0\}</math>. ...5 kB (843 palavras) - 22h38min de 6 de janeiro de 2021
- ...e a interseção <math>T_1\cap T_2</math> é [[teoria completa|completa]] (na linguagem comum de <math>T_1</math> e <math>T_2</math>), então a união <math>T_1\cup ...2</math> são consistentes e não existe uma fórmula <math>\varphi</math> na linguagem comum de <math>T_1</math> e <math>T_2</math> tal que <math>T_1 \vdash \varp ...2 kB (266 palavras) - 10h22min de 2 de setembro de 2021
- Na [[Ciência da computação teórica]] e na teoria das [[Linguagem formal|linguagens formais]], uma '''gramática de prefixo '''é um tipo de si A linguagem de ''G'', indicada por ''L(G)'', é o conjunto de cadeias deriváveis de ''S' ...2 kB (299 palavras) - 18h45min de 20 de janeiro de 2016
- ...putação teórica]], a ''<nowiki/>'linguagem sensível ao contexto' ''é uma [[linguagem formal]] que pode ser definida por uma [[Gramática sensível ao contexto]]. ...da por uma máquina desse tipo é uma linguagem sensível ao contexto, e cada linguagem sensível ao contexto pode ser decidida por uma máquina desse tipo. ...6 kB (853 palavras) - 16h21min de 1 de janeiro de 2024
- ...de primeira ordem]]). Ela nos possibilita dar significados a termos de uma linguagem que lida com [[variáveis livres]]. ...utura]] (conjunto de objetos que dão significados semânticos a símbolos na linguagem lógica), ambas sendo da mesma assinatura <math>\Sigma</math>. Uma atribuiçã ...5 kB (865 palavras) - 15h38min de 1 de setembro de 2021
- ...ma (matemática)|lema]] que dá uma propriedade compartilhada por todas as [[linguagem livre de contexto]]. Se uma linguagem ''L'' é de livre-contexto, então existe um número inteiro ''p'' ≥ 1 onde, s ...6 kB (951 palavras) - 22h23min de 20 de junho de 2018
- ...e são aquelas às quais nenhuma limitação é imposta. São capazes de gerar [[Linguagem recursivamente enumerável|linguagens recursivamente enumeráveis]]. O univer Pode ser mostrado que gramáticas irrestritas caracterizam as [[Linguagem recursivamente enumerável|linguagens recursivamente enumeráveis]]. Isto é o ...4 kB (691 palavras) - 16h24min de 1 de janeiro de 2024
- ...res]],[[Linguagem livre de contexto| linguagens livres de contexto]] e a [[Linguagem recursivamente enumerável|linguagens recursivamente enumeráveis]], e outras Uma ''[[linguagem formal]]'' é um conjunto <math>L</math> para o qual existe um conjunto fini ...4 kB (620 palavras) - 01h55min de 1 de agosto de 2017
- ...máximo uma resposta para cada instância do problema. Mais formalmente, uma linguagem ''L'' pertence a '''UP''' se existe um algoritmo de tempo polinomial ''A'' ...2 kB (382 palavras) - 17h05min de 5 de agosto de 2016
- ...lemento pertencente a qualquer [[interpretação (lógica)|interpretação]] da linguagem envolvido na natureza dedutiva do sistema. ...2 kB (266 palavras) - 15h34min de 4 de fevereiro de 2020