Please enable JavaScript.
Coggle requires JavaScript to display documents.
Teoria da computação (Linguagens formais (Formalismo (Matemática discreta,…
Teoria da computação
Linguagens formais
Linguagem recursiva
Formalismo
Matemática discreta
Lógica
Teoria de grafos
Modelos exatos
Não possui ambiguidade
Causa confusão e falha de comunicação
Linguagens naturais são ambiguas
Hierarquia de Chomsky
Linguagens regulares
Automato finito
Linguagens livre de contexto
Gramatica de livre contexto
Automato de pilha
Linguagem dependente do contexto
Teoria da Computabilidade
Programas Recursivos
Proteção firmativa dos programas
Automatização dos paradigmas
Teoria da complexidade
Matemática voltada a algorítimo
Imprecisão
Complexidade exaustiva
Maquina de Turing
Automatização dos algorítimos
Complexidade
Ciência da computação
Matemática bem estruturada
Algorítimos
Lews
Papadimitriou
Teoria dos Conjuntos
Scheurer
Sistemas computacionais
Linguagens Funcionais
Linguagem de programação
Paradigmas
Funcional
Imperativo
Lógico
Orientada a objeto
Paralelo
Concorrente