Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- Na [[teoria da computabilidade]], '''numeração'''<ref>V.A. Uspenskiĭ, A.L. Semenov ''Algor ...ões computáveis, que pode ser usado para aplicar os resultados da teoria da computabilidade sobre o conjunto de funções computáveis em si. ...3 kB (464 palavras) - 20h55min de 27 de maio de 2024
Resultados no conteúdo das páginas
- Em [[matemática]], [[lógica]] e [[ciência da computação]], uma '''linguagem recursivamente enumerável''' é um tipo de [[Linguagem f ...mente enumerável no conjunto de todas as palavras possíveis sob o alfabeto da linguagem. ...3 kB (486 palavras) - 16h17min de 1 de janeiro de 2024
- ...de Simon''' nos é dado em uma função (implementada por uma [[Caixa preta (teoria dos sistemas)|caixa preta]]) de cordas de ''n'' bits a cordas de ''n'' bits {{Computação}} ...2 kB (299 palavras) - 14h00min de 15 de maio de 2019
- ...e que aceita exatamente as palavras do alfabeto da linguagem que são parte da linguagem e rejeita todas as outras palavras. Linguagens recursivas são tam ...sivo]] no [[conjunto]] de todas as palavras possíveis sobre o [[alfabeto]] da [[linguagem formal |linguagem]]. ...4 kB (561 palavras) - 01h35min de 9 de agosto de 2024
- ...acionada com o ''espaço'' utilizado por uma máquina seqüencial. A tese de computação paralela foi estabelecido por Chandra e Larry Stockmeyer em 1976<ref>* [htt ...que <math>t(n)^k</math> unidade de armazenamento para alguma constante k. Da mesma forma, se uma máquina no modelo de desramificação decide uma linguage ...3 kB (500 palavras) - 20h49min de 26 de março de 2013
- Em [[Ciência da Computação|computação]], o '''algoritmo de Brandes''' é um [[algoritmo]] utilizado para cálcular <math>//\ S\ retorna\ os\ vertices\ em\ ordem\ nao-crescente\ da\ distancia\ a\ partir\ de\ s</math> ...3 kB (440 palavras) - 15h40min de 31 de maio de 2019
- * Número da unidade, o número [[Um|1]] * [[Unidade (teoria dos anéis)]], um elemento invertível em relação à multiplicação do anel ...2 kB (289 palavras) - 18h38min de 15 de agosto de 2024
- ...) é solução da equação. Note que a dupla <math>(-2,1)</math> não é solução da equação. Portanto, a ordem dos elementos, de fato, é importante. == Uso em computação == ...2 kB (246 palavras) - 23h54min de 10 de agosto de 2021
- ...de computacional]] para provar a relação entre o problema de alcance dos [[Teoria dos grafos|grafos]] e a complexidade de classes. ...máquina de Turing será o estado, o conteúdo da fita e a posição da cabeça da leitora. Um grafo de configuração é um grafo dirigido rotulado onde o rótul ...4 kB (648 palavras) - 11h23min de 27 de dezembro de 2023
- ...omo Gramática com estrutura de frase) é também conhecida como '''Tipo 0''' da [[Hierarquia de Chomsky]], que são aquelas às quais nenhuma limitação é imp ...h> é um conjunto de símbolos terminais, <math>P</math> contém as produções da forma <math>\alpha \to \beta</math> onde <math>\alpha</math> e <math>\beta< ...4 kB (691 palavras) - 16h24min de 1 de janeiro de 2024
- '''Semântica formal''' é a área de estudo de [[ciência da computação]] que se preocupa em especificar o significado (ou comportamento) de progra * Pode revelar ambiguidades na definição da linguagem (o que uma descrição informal não permitiria revelar); ...4 kB (632 palavras) - 17h38min de 21 de maio de 2019
- Na [[Ciência da Computação]] e na Teoria das [[linguagens formais]], a '''cadeia vazia''' é a única cadeia de compri Na Teoria das [[linguagens formais]], cadeias vazias possuem diversas propriedades. ...1 007 byte (140 palavras) - 10h29min de 19 de agosto de 2020
- ...e conduzir o processamento, bem como pode haver vários estados resultantes da leitura do símbolo. Portanto, para uma função de transição <math>\delta</ma ...wani, Jeffrey D. Ullman – ''Introdução à Teoria de Autômatos, Linguagens e Computação (2ª Edição).'' ...3 kB (555 palavras) - 16h38min de 3 de julho de 2014
- ...ica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada em atribuir significado às construções das [[linguagens de pr Na semântica denotacional o efeito da computação interessa mais que como ela é produzida. ...3 kB (392 palavras) - 17h38min de 21 de maio de 2019
- ...tomados por um [[Autômato]] enquanto computa seu resultado. Históricos de computação são frequentemente usados em [[Prova matemática|provas]] sobre as capacidad ...' de um autômato formal. Cada configuração descreve completamente o estado da máquina em um ponto específico. Para ser considerado válido, certas condiçõ ...7 kB (1 319 palavras) - 17h58min de 28 de junho de 2015
- ...ncontra na '''forma normal beta''' se não é possível nenhuma redução beta. Da mesma forma, um termo se encontra na '''forma normal beta-eta''' se uma red No cálculo lambda, uma '''redex do tipo beta''' é um termo da forma ...1 kB (170 palavras) - 00h52min de 9 de setembro de 2021
- Um '''equalizador''' é uma construção de [[Teoria das categorias]]. ...th> e <math>g</math> é um par <math>(e,i)</math>, <math>e</math> [[objeto (teoria das categorias)|objeto]] de '''C''' e <math>i:e\rightarrow a</math> morfism ...3 kB (467 palavras) - 23h13min de 19 de fevereiro de 2020
- Em [[ciência da computação]], um '''tipo recursivo''' é um [[tipo de dado]] para valores que podem con ...code> (a cabeça da lista) seguido de uma lista de <code>a</code> (a cauda da lista). ...1 kB (221 palavras) - 20h26min de 26 de setembro de 2020
- Em [[Teoria Geral dos Sistemas]] diz-se que a não linearidade é pressuposto de [[Sistem ...</math> (<math> m </math> ≤ <math> n </math>) soluções também seja solução da equação. ...1 kB (181 palavras) - 12h10min de 13 de agosto de 2021
- ...ala de [[energia]], ''μ'', de um determinado processo físico descrito pela teoria quântica de campos.<ref>{{Citar web|url=https://inspirehep.net/literature/2 ...a fundamental da dependência de escala na teoria quântica de campos, e sua computação explícita pode ser alcançada por meio de uma variedade de técnicas matemáti ...1 kB (239 palavras) - 18h54min de 28 de fevereiro de 2022
- ...no processo de computar seu resultado para uma dada entrada. Histórias de computação são freqüentemente usadas em provas matemáticas sobre as capacidades de cer A história de computação para uma máquina <math>M</math> sobre uma entrada <math>w</math> é simplesm ...10 kB (1 734 palavras) - 14h43min de 4 de março de 2020