Acesso mais rápido do que o navegador!
58 relações: Alfabeto (ciência da computação), Análise sintática (computação), Autómato celular, Autómato de árvore, Autômato, Autômato com pilha, Autômato com pilha determinístico, Autômato de árvore infinita, Autômato finito alternado, Autômato finito determinístico, Autômato híbrido, Autômato ω, Autômato linearmente limitado, Autômato quântico, Énuplo, Cadeia de caracteres, Categoria (teoria das categorias), Ciência da computação teórica, Compilador, Conjunto contável, Conjunto não enumerável, Edward Fredkin, Gramática livre de contexto, Grupoide (matemática), Hierarquia de Chomsky, Inteligência artificial, Σ, Jeffrey Ullman, Jogo da vida (desambiguação), John Conway, Konrad Zuse, Linguagem ômega, Linguagem formal, Linguagem livre de contexto, Linguagem Omega-regular, Linguagem recursivamente enumerável, Linguagem regular, Linguagem sensível ao contexto, Matemática discreta, Máquina abstrata, Máquina de estados finita, Máquina de estados finitos não determinística, Máquina de Turing, Máquina de Turing multifita, Máquina de Turing não determinística, Máquina de Turing probabilística, Método efetivo, Michael Sipser, Minimização de AFD, Monoide, ..., Pilha (informática), Probabilidade, Problema computacional, Símbolo, Símbolo (formal), Sistema de Transição, Teoria da computação, Verificação formal. Expandir índice (8 mais) »
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!!: Teoria dos autômatos e Alfabeto (ciência da computação) · Veja mais »
Análise sintática (computação)
árvore da expressão Em ciência da computação e linguística, a análise sintática (do inglês: parsing) é um processo de um compilador (de uma linguagem de programação), é a segunda fase da compilação onde se analisa uma sequência que foi dada entrada (via um arquivo de computador ou via teclado, por exemplo) para verificar sua estrutura gramatical segundo uma determinada gramática formal.
Novo!!: Teoria dos autômatos e Análise sintática (computação) · Veja mais »
Autómato celular
0-14-016734-X Um celular (AC) é um modelo discreto de computação estudado na teoria dos autômatos.
Novo!!: Teoria dos autômatos e Autómato celular · Veja mais »
Autómato de árvore
Um autómato de árvore é um tipo de máquina de estados que lida com estruturas em árvore (de topologia em árvore), ao invés de strings como as máquinas de estado mais convencionais.
Novo!!: Teoria dos autômatos e Autómato de árvore · Veja mais »
Autômato
Um (do grega αὐτόματον: "agindo por vontade própria") é um mecanismo que se opera de maneira automática, imitando movimentos humanos.
Novo!!: Teoria dos autômatos e Autômato · 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!!: Teoria dos autômatos e Autômato com pilha · Veja mais »
Autômato com pilha determinístico
Na teoria dos autômatos, um autômato com pilha determinístico (APD) é uma variante de autômato com pilha.
Novo!!: Teoria dos autômatos e Autômato com pilha determinístico · Veja mais »
Autômato de árvore infinita
Em ciência da computação e lógica matemática, um autômato de árvore infinita é uma máquina de estados que lida com estruturas de árvores infinitas.
Novo!!: Teoria dos autômatos e Autômato de árvore infinita · Veja mais »
Autômato finito alternado
Na teoria dos autômatos, um autômato finito alternado (AFA) é um autômato finito não-determinístico cujas transições são dividas em transições existenciais e universais.
Novo!!: Teoria dos autômatos e Autômato finito alternado · 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!!: Teoria dos autômatos e Autômato finito determinístico · Veja mais »
Autômato híbrido
Na teoria dos autômatos, um autômato híbrido é um modelo matemático para descrever precisamente sistemas onde processos computacionais digitais interagem com processos físicos analógicos.
Novo!!: Teoria dos autômatos e Autômato híbrido · Veja mais »
Autômato ω
Na teoria de autômatos, um ramo da teoria da computação, um autômato ω é uma variação do autômato finito que roda sobre cadeias infinitas como entrada, ao invés de finitas.
Novo!!: Teoria dos autômatos e Autômato ω · Veja mais »
Autômato linearmente limitado
Um Autômato linearmente limitado é uma Máquina de Turing com memória limitada e é o mecanismo reconhecedor de Linguagens sensíveis ao contexto.
Novo!!: Teoria dos autômatos e Autômato linearmente limitado · Veja mais »
Autômato quântico
Na computação quântica, o autômato quântico finito ou QFA é uma analogia quântica do autômato probabilístico.
Novo!!: Teoria dos autômatos e Autômato quântico · 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!!: Teoria dos autômatos e Énuplo · Veja mais »
Cadeia de caracteres
Na programação de computadores, uma cadeia de caracteres ou string é uma sequência de caracteres, geralmente utilizada para representar palavras, frases ou textos de um programa.
Novo!!: Teoria dos autômatos e Cadeia de caracteres · Veja mais »
Categoria (teoria das categorias)
Na matemática, uma categoria é um conceito similar a um grafo direcionado, incluindo setas entre objetos, entre elas havendo identidades e uma operação de composição, com propriedades análogas à composição de funções.
Novo!!: Teoria dos autômatos e Categoria (teoria das categorias) · 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!!: Teoria dos autômatos e Ciência da computação teórica · Veja mais »
Compilador
GCC versão 4.0.2 rodando em uma janela xterm. Um programa simples está sendo compilado e então executado. Um compilador é um programa de computador (ou um grupo de programas) que, a partir de um código fonte escrito em uma linguagem compilada, cria um programa semanticamente equivalente, porém escrito em outra linguagem, código objeto.
Novo!!: Teoria dos autômatos e Compilador · Veja mais »
Conjunto contável
Na matemática, um conjunto contável é um conjunto de mesma cardinalidade (número de elementos) de um subconjunto qualquer do conjunto dos números naturais.
Novo!!: Teoria dos autômatos e Conjunto contável · Veja mais »
Conjunto não enumerável
Um conjunto é não enumerável quando ele tem mais elementos que o conjunto dos números naturais.
Novo!!: Teoria dos autômatos e Conjunto não enumerável · Veja mais »
Edward Fredkin
Edward Fredkin (Los Angeles) é um físico estadunidense.
Novo!!: Teoria dos autômatos e Edward Fredkin · Veja mais »
Gramática livre de contexto
A gramática livre de contexto (GLC), em teoria de linguagem formal, é uma gramática formal onde todas as regras de produções são da forma A\ \to\ \alpha A é um símbolo não terminal, e \alpha é uma cadeia de terminal e/ou não terminais (\alpha pode ser vazia). Uma linguagem formal é considerada “livre do contexto” quando suas regras de produções podem ser aplicadas independentemente do contexto do simbolo não terminal.
Novo!!: Teoria dos autômatos e Gramática livre de contexto · Veja mais »
Grupoide (matemática)
Em matemática, grupoide é uma estrutura algébrica que consiste em um conjunto não-vazio com uma operação binária parcial, geralmente denotada pela concatenação, onde todo elemento possui um inverso.
Novo!!: Teoria dos autômatos e Grupoide (matemática) · Veja mais »
Hierarquia de Chomsky
Hierarquia de Chomsky é a classificação de gramáticas formais descrita em 1959 pelo linguista Noam Chomsky.
Novo!!: Teoria dos autômatos e Hierarquia de Chomsky · Veja mais »
Inteligência artificial
Inteligência artificial (de sigla: IA; do inglês: artificial intelligence, de sigla: AI) é um campo de estudo multidisciplinar que abrange varias áreas do conhecimento.
Novo!!: Teoria dos autômatos e Inteligência artificial · Veja mais »
Σ
Sigma (maiúscula Σ, minúsculas σ ou ς) é a décima oitava letra do alfabeto grego e que corresponde, no alfabeto latino, ao S. No sistema numérico grego, tem o valor 200.
Novo!!: Teoria dos autômatos e Σ · Veja mais »
Jeffrey Ullman
Jeffrey David Ullman é um cientista da computação estadunidense.
Novo!!: Teoria dos autômatos e Jeffrey Ullman · Veja mais »
Jogo da vida (desambiguação)
* Jogo da vida - um autómato celular.
Novo!!: Teoria dos autômatos e Jogo da vida (desambiguação) · Veja mais »
John Conway
John Horton Conway (Liverpool, 26 de dezembro de 1937 – 11 de abril de 2020) foi um matemático britânico.
Novo!!: Teoria dos autômatos e John Conway · Veja mais »
Konrad Zuse
Konrad Ernst Otto Zuse (Berlim, 22 de junho de 1910 — Hünfeld, 18 de dezembro de 1995) foi um engenheiro, inventor e empresário alemão e um pioneiro dos computadores.
Novo!!: Teoria dos autômatos e Konrad Zuse · Veja mais »
Linguagem ômega
Uma linguagem-ω é um conjunto de sequências de tamanho infinito de símbolos.
Novo!!: Teoria dos autômatos e Linguagem ômega · 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!!: Teoria dos autômatos e Linguagem formal · Veja mais »
Linguagem livre de contexto
Na teoria de linguagens formais, uma linguagem livre de contexto (LLC) é uma linguagem gerada por alguma gramática livre de contexto (GLC).
Novo!!: Teoria dos autômatos e Linguagem livre de contexto · Veja mais »
Linguagem Omega-regular
As Linguagens ω-regulares são uma classe de linguagens-ω que generalizam a definição de linguagens regulares para palavras infinitas.
Novo!!: Teoria dos autômatos e Linguagem Omega-regular · Veja mais »
Linguagem recursivamente enumerável
Em matemática, lógica e ciência da computação, uma linguagem recursivamente enumerável é um tipo de Linguagem formal que também é chamada de linguagem Turing-reconhecível.
Novo!!: Teoria dos autômatos e Linguagem recursivamente enumerável · 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!!: Teoria dos autômatos e Linguagem regular · Veja mais »
Linguagem sensível ao contexto
Na Ciência da computação teórica, a 'linguagem sensível ao contexto' é uma linguagem formal que pode ser definida por uma Gramática sensível ao contexto.
Novo!!: Teoria dos autômatos e Linguagem sensível ao contexto · Veja mais »
Matemática discreta
propriedades matemáticas, a sua utilidade como modelos de problemas do mundo real, e sua importância no desenvolvimento de algoritmos computacionais. Matemática discreta, também chamada matemática finita, é o estudo das estruturas algébricas que são fundamentalmente discretas, em vez de contínuas.
Novo!!: Teoria dos autômatos e Matemática discreta · Veja mais »
Máquina abstrata
Uma máquina abstrata (ou computador abstrato) é um modelo teórico de um sistema computacional de hardware ou software usado para detalhar o funcionamento do sistema,Macura usado na teoria dos autômatos.
Novo!!: Teoria dos autômatos e Máquina abstrata · 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!!: Teoria dos autômatos e Máquina de estados finita · Veja mais »
Máquina de estados finitos não determinística
Na teoria da computação, uma máquina de estados finita não-determinística ou um autômato finito não-determinístico (AFND) é uma máquina de estados finita onde para cada par de estado e símbolo de entrada pode haver vários próximos estados possíveis.
Novo!!: Teoria dos autômatos e Máquina de estados finitos não determinística · 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!!: Teoria dos autômatos e Máquina de Turing · Veja mais »
Máquina de Turing multifita
Uma máquina de Turing multifita é uma máquina de Turing comum com várias fitas.
Novo!!: Teoria dos autômatos e Máquina de Turing multifita · Veja mais »
Máquina de Turing não determinística
Máquina de Turing não-determinística em ciência da computação é uma máquina de Turing cujo mecanismo de controle atua como um autômato finito não-determinístico.
Novo!!: Teoria dos autômatos e Máquina de Turing não determinística · Veja mais »
Máquina de Turing probabilística
Em Teoria da Computabilidade, uma máquina de Turing probabilística é uma Máquina de Turing não determinística que escolhe aleatoriamente dentre as transições a cada ponto, de acordo com alguma distribuição de probabilidade.
Novo!!: Teoria dos autômatos e Máquina de Turing probabilística · Veja mais »
Método efetivo
Em lógica e matemática - especialmente metalógica e teoria da computabilidade - método efetivo Hunter, Geoffrey, Metalogic: uma Introdução ao Metateoria de lógica de primeira ordem padrão, University of California Press, 1971 (também chamado de procedimento efetivo) é o procedimento para uma classe de problemas é um método para o qual cada passo pode ser descrito como uma operação mecânica, e que, se seguidas rigorosamente resulta em.
Novo!!: Teoria dos autômatos e Método efetivo · 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!!: Teoria dos autômatos e Michael Sipser · Veja mais »
Minimização de AFD
Em ciência da computação, mais especificamente no ramo da teoria dos autômatos, Minimização de AFD é o processo de transformação de um dado autômato finito determinístico (AFD) em outro equivalente que tenha um número mínimo de estados.
Novo!!: Teoria dos autômatos e Minimização de AFD · Veja mais »
Monoide
Em álgebra abstrata, um monoide é uma estrutura algébrica com uma única operação binária, associativa e com um elemento neutro.
Novo!!: Teoria dos autômatos e Monoide · Veja mais »
Pilha (informática)
Representação da execução de uma pilha com as operações ''push'' (empilhar) e ''pop'' (desemplilhar). Em ciência da computação, uma pilha (stack em inglês) é um tipo abstrato de dado e estrutura de dados baseado no princípio de Last In First Out (LIFO), ou seja "o último que entra é o primeiro que sai" caracterizando um empilhamento de dados.
Novo!!: Teoria dos autômatos e Pilha (informática) · Veja mais »
Probabilidade
A palavra probabilidade deriva do Latim probare (provar ou testar).
Novo!!: Teoria dos autômatos e Probabilidade · Veja mais »
Problema computacional
Na ciência da teoria da computação, um problema computacional é um objeto matemático que representa um coleção de questões que computadores talvez queiram resolver.
Novo!!: Teoria dos autômatos e Problema computacional · Veja mais »
Símbolo
O termo símbolo, com origem no grego symbolon (σύμβολον), designa um tipo de signo em que o significante (realidade concreta) representa algo abstrato (religiões, nações, quantidades de tempo ou matéria, etc.) por força de convenção, semelhança ou contiguidade semântica (como no caso da cruz que representa o cristianismo, porque ela é uma parte do todo que é imagem do Cristo morto).
Novo!!: Teoria dos autômatos e Símbolo · Veja mais »
Símbolo (formal)
cadeias de símbolos podem ser divididos em disparates e fórmulas bem formadas. Uma linguagem formal pode ser pensada como sendo idêntica ao conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e "não teoremas". Símbolo lógico é um conceito fundamental em lógica, embora o termo "símbolo" normalmente seja utilizado em alguns momentos com a ideia de ser simbolizado; e em outros momentos para as marcas em um pedaço de papel ou quadro negro, que estão sendo usados para expressar essa ideia na linguagem formal.
Novo!!: Teoria dos autômatos e Símbolo (formal) · Veja mais »
Sistema de Transição
Na teoria da ciência da computação, um sistema de transição é um conceito utilizado no estudo da computação.
Novo!!: Teoria dos autômatos e Sistema de Transição · 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!!: Teoria dos autômatos e Teoria da computação · Veja mais »
Verificação formal
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais.
Novo!!: Teoria dos autômatos e Verificação formal · Veja mais »
Redireciona aqui:
Teoria de Autômatos, Teoria de autômatos, Teoria dos Autômatos, Teoria dos autómatos.
