Acesso mais rápido do que o navegador!
31 relações: Alfabeto (ciência da computação), Autômato com pilha, Autômato finito determinístico, Autômato finito não determinístico com transições ε, Autômato Probabilístico, Énuplo, Bifurcação (desenvolvimento de software), Cadeia vazia, Chamada de sistema, Ciência da computação teórica, Computação paralela, Conjunto, Conjunto de partes, Construção do conjunto das partes, Dana Scott, Diagrama de transição de estados, Expressão regular, Fecho de Kleene, Função (matemática), Linguagem formal, Linguagem regular, Matemático, Máquina de estados finita, Máquina de Turing, Michael Rabin, Michael Sipser, Processo (informática), Teoria da computação, Teoria dos grafos, União, União de duas linguagens regulares.
Alfabeto (ciência da computação)
Em ciência da computação e em lógica matemática, um alfabeto é um conjunto de símbolos, como letras ou dígitos.
Novo!!: Máquina de estados finitos não determinística e Alfabeto (ciência da 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!!: Máquina de estados finitos não determinística e Autômato com pilha · Veja mais »
Autômato finito determinístico
Um exemplo de autômato finito determinístico que aceita apenas números binários múltiplos de 3. O estado ''S''0 é tanto o estado de início quanto um estado de aceitação. Na Teoria dos autômatos, um sub-tópico da Ciência da computação teórica, um autômato finito determinístico — também chamado máquina de estados finita determinística (AFD) — é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada.
Novo!!: Máquina de estados finitos não determinística e Autômato finito determinístico · Veja mais »
Autômato finito não determinístico com transições ε
Na teoria dos autômatos, um autômato finito não-determinístico com transições ε (AFN-ε) (também conhecido como AFN-λ), é uma extensão (variação) de um autômato finito não-determinístico (AFND), que permite a transição para um novo estado sem consumir qualquer caractere da entrada.
Novo!!: Máquina de estados finitos não determinística e Autômato finito não determinístico com transições ε · Veja mais »
Autômato Probabilístico
Em matemática e ciência da computação, o autômato probabilístico (AP) é uma generalização do autômato finito não determinístico; que inclui a probabilidade de uma dada transição para a função de transição, transformando-a numa matriz de transição ou matriz estocástica.
Novo!!: Máquina de estados finitos não determinística e Autômato Probabilístico · Veja mais »
Énuplo
Énuplo (também conhecido como ênuplo, énupla, ênupla, n-tuplo, n-upla ou simplesmente tupla) é uma sequência ordenada de n elementos, que pode ser definida pela recursão do par ordenado.
Novo!!: Máquina de estados finitos não determinística e Énuplo · Veja mais »
Bifurcação (desenvolvimento de software)
Em engenharia de software, uma bifurcação ou ramificação (fork) acontece quando um desenvolvedor (ou um grupo de desenvolvedores) inicia um projeto independente com base no código de um projeto já existente, ou seja, quando um software é desenvolvido com base em outro, já existente, sem a descontinuidade deste último.
Novo!!: Máquina de estados finitos não determinística e Bifurcação (desenvolvimento de software) · Veja mais »
Cadeia vazia
Na Ciência da Computação e na Teoria das linguagens formais, a cadeia vazia é a única cadeia de comprimento zero.
Novo!!: Máquina de estados finitos não determinística e Cadeia vazia · Veja mais »
Chamada de sistema
Núcleo Linux. Em computação, uma chamada de sistema (system call) é o mecanismo programático pelo qual um programa de computador solicita um serviço do núcleo do sistema operacional sobre o qual ele está sendo executado.
Novo!!: Máquina de estados finitos não determinística e Chamada de sistema · Veja mais »
Ciência da computação teórica
Ciência da computação teórica (TCS) ou informática teórica é uma divisão ou subconjunto de ciências da computação e matemática que incide sobre os aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.
Novo!!: Máquina de estados finitos não determinística e Ciência da computação teórica · Veja mais »
Computação paralela
Computação paralela é uma forma de computação em que vários cálculos são realizados ao mesmo tempo, operando sob o princípio de que grandes problemas geralmente podem ser divididos em problemas menores, que então são resolvidos concorrentemente (em paralelo).
Novo!!: Máquina de estados finitos não determinística e Computação paralela · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Máquina de estados finitos não determinística e Conjunto · Veja mais »
Conjunto de partes
A família de todos os subconjuntos de um conjunto dado A é chamado de conjunto de partes (ou conjunto potência) de A, denotado por P(A) ou 2^A.
Novo!!: Máquina de estados finitos não determinística e Conjunto de partes · Veja mais »
Construção do conjunto das partes
Na teoria da computação e na teoria dos autômatos, a construção do conjunto das partes é um método padrão para converter autômatos finitos não-determinísticos (AFN) em autômatos finitos determinísticos(AFD) que reconheçam a mesma linguagem.
Novo!!: Máquina de estados finitos não determinística e Construção do conjunto das partes · Veja mais »
Dana Scott
Dana Stewart Scott (Berkeley) é um matemático, lógico, informático e filósofo estadunidense.
Novo!!: Máquina de estados finitos não determinística e Dana Scott · Veja mais »
Diagrama de transição de estados
Em engenharia de software e eletrônica digital, um Diagrama de Transição de Estados, ou Diagrama de Máquina de Estados, é uma representação do estado ou situação em que um objeto pode se encontrar no decorrer da execução de processos de um sistema.
Novo!!: Máquina de estados finitos não determinística e Diagrama de transição de estados · Veja mais »
Expressão regular
Em ciência da computação, uma expressão regular (do inglês regular expression, abreviado regex ou regexp) provê uma forma concisa e flexível de identificar cadeias de caracteres de interesse, como caracteres particulares, palavras ou padrões de caracteres.
Novo!!: Máquina de estados finitos não determinística e Expressão regular · 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!!: Máquina de estados finitos não determinística e Fecho de Kleene · Veja mais »
Função (matemática)
Uma função não injetiva e não sobrejetiva do domínio X para o contradomínio Y. A função é não injetova pois há dois elementos do domínio ligados a um mesmo elemento do contradomínio (cor vermelha). A função é não sobrejetiva pois há elementos de Y sem correspondentes em X (cores azul e lilás). Uma função é uma relação de um conjunto A com um conjunto B. Denotamos uma função por f:A\to B, y.
Novo!!: Máquina de estados finitos não determinística e Função (matemática) · 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!!: Máquina de estados finitos não determinística e Linguagem formal · 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!!: Máquina de estados finitos não determinística e Linguagem regular · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Máquina de estados finitos não determinística e Matemático · Veja mais »
Máquina de estados finita
Uma máquina de estados finita (FSM - do inglês Finite State Machine) ou autômato finito é um modelo matemático usado para representar programas de computadores ou circuitos lógicos.
Novo!!: Máquina de estados finitos não determinística e Máquina de estados finita · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Máquina de estados finitos não determinística e Máquina de Turing · Veja mais »
Michael Rabin
Michael Oser Rabin (Wrocław) é um informático israelita.
Novo!!: Máquina de estados finitos não determinística e Michael Rabin · Veja mais »
Michael Sipser
Michael Fredric Sipser é um professor de Matemática Aplicada no grupo de teoria da computação do Massachusetts Institute of Technology.
Novo!!: Máquina de estados finitos não determinística e Michael Sipser · Veja mais »
Processo (informática)
Em computação, um processo é uma instância de um programa de computador que está sendo executada.
Novo!!: Máquina de estados finitos não determinística e Processo (informática) · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Máquina de estados finitos não determinística e Teoria da computação · Veja mais »
Teoria dos grafos
Grafo com quatro vértices e 6 arestas. É um grafo completo, conexo e planar. A teoria dos grafos ou de grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto.
Novo!!: Máquina de estados finitos não determinística e Teoria dos grafos · Veja mais »
União
Sem descrição
Novo!!: Máquina de estados finitos não determinística e União · Veja mais »
União de duas linguagens regulares
Na teoria das linguagens formais, e em particular na teoria dos autômatos finitos não determinísticos, é conhecido que a união de duas linguagens regulares é uma linguagem regular.
Novo!!: Máquina de estados finitos não determinística e União de duas linguagens regulares · Veja mais »
Redireciona aqui:
Autômato finito não determinístico, Autômato finito não-determinístico, Autômatos finitos não determinísticos, Máquina de estados finita não determinística.
