Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag computation-models - Esta é a página 1 - GeneraCodice
Regularidade de uma linguagem construída de uma linguagem regular
https://www.generacodice.com/pt/articolo/2477946/regularidade-de-uma-linguagem-construida-de-uma-linguagem-regular
finite-automata
-
computation-models
-
regular-languages
-
closure-properties
cs.stackexchange
Toda linguagem decidível $L$ tem um subconjunto decidível infinito $S \subset L$ tal que $L \setminus S$ é infinito
https://www.generacodice.com/pt/articolo/2471648/toda-linguagem-decidivel-l-tem-um-subconjunto-decidivel-infinito-s-subset-l-tal-que-l-setminus-s-e-infinito
turing-machines
-
computation-models
-
decision-problem
cs.stackexchange
Equivalência entre um tm e um tm mutável
https://www.generacodice.com/pt/articolo/2469207/equivalencia-entre-um-tm-e-um-tm-mutavel
turing-machines
-
computation-models
-
turing-completeness
-
church-turing-thesis
cs.stackexchange
Expressar funções usando a aritmética de dicionário
https://www.generacodice.com/pt/articolo/2467152/expressar-funcoes-usando-a-aritmetica-de-dicionario
turing-machines
-
first-order-logic
-
computation-models
cs.stackexchange
Encerramento em idiomas regulares
https://www.generacodice.com/pt/articolo/2457504/encerramento-em-idiomas-regulares
automata
-
computation-models
cs.stackexchange
Complexidade computacional de símbolos de contagem
https://www.generacodice.com/pt/articolo/2455158/complexidade-computacional-de-simbolos-de-contagem
complexity-theory
-
turing-machines
-
computation-models
cs.stackexchange
Modelos de programação paralela: Por que o OpenMP e o MPI dominam?
https://www.generacodice.com/pt/articolo/2453322/modelos-de-programacao-paralela-por-que-o-openmp-e-o-mpi-dominam
programming-languages
-
message-passing
-
computation-models
-
parallel-computing
cs.stackexchange
Are weakly polynomial time algorithms truly polynomial?
https://www.generacodice.com/pt/articolo/2451194/are-weakly-polynomial-time-algorithms-truly-polynomial
complexity-theory
-
turing-machines
-
algorithms
-
computation-models
cs.stackexchange
Would models of computation in other conceivable universes be Turing complete?
https://www.generacodice.com/pt/articolo/2446171/would-models-of-computation-in-other-conceivable-universes-be-turing-complete
physics
-
computability
-
computation-models
cs.stackexchange
Showing the following language is decidable
https://www.generacodice.com/pt/articolo/1620893/showing-the-following-language-is-decidable
complexity-theory
-
turing-machines
-
computability
-
automata
-
computation-models
cs.stackexchange
«
1
2
3
4
5
6
»
Resultados encontrados: 386