Acesso mais rápido do que o navegador!
35 relações: Abstração, Agente de software, Algoritmo, Análise de requisitos de software, Álgebra universal, C (linguagem de programação), Ciência da computação, Computação paralela, Conjunto, Emulador, Engenharia de sistemas, Especificação formal, Estado (ciência da computação), Função (matemática), Hardware, Invariante, Isomorfismo, Java (linguagem de programação), Lógica matemática, Linguagem de programação, Máquina de estados finita, Máquina de Turing, Operação (matemática), Oxford University Press, Prolog, Relação binária, SDL (linguagem), Simulação, Sistema axiomático, Sistema de processamento distribuído, Software, Springer Science+Business Media, Tabela de transição de estados para autômatos finitos, Tese de Church-Turing, UML.
Abstração
Abstração (do termo latino abstractio) é uma operação intelectual que consiste em isolar, por exemplo num conceito, um elemento à exclusão de outros, dos quais então se faz abstração.
Novo!!: Máquina de estados abstratos e Abstração · Veja mais »
Agente de software
Em desenvolvimento de software, um agente de software é um programa de computador que pode operar autonomamente e efetuar tarefas singulares sem a direta supervisão humana.
Novo!!: Máquina de estados abstratos e Agente de software · Veja mais »
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Máquina de estados abstratos e Algoritmo · Veja mais »
Análise de requisitos de software
Na sistematização e engenharia de software, análise de requisitos engloba todas as tarefas que lidam com investigação, definição e escopo de novos sistemas ou alterações.
Novo!!: Máquina de estados abstratos e Análise de requisitos de software · Veja mais »
Álgebra universal
A álgebra universal (às vezes chamada de álgebra geral) é o campo da matemática que estuda as estruturas algébricas em si, não os exemplos ("modelos") de estruturas algébricas.
Novo!!: Máquina de estados abstratos e Álgebra universal · Veja mais »
C (linguagem de programação)
C é uma linguagem de programação compilada de propósito geral, estruturada, imperativa, procedural, padronizada pela Organização Internacional para Padronização (ISO), criada em 1972 por Dennis Ritchie na empresa AT&T Bell Labs para desenvolvimento do sistema operacional Unix (originalmente escrito em Assembly).
Novo!!: Máquina de estados abstratos e C (linguagem de programação) · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Máquina de estados abstratos e Ciência da computação · 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 abstratos 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 abstratos e Conjunto · Veja mais »
Emulador
Emulador DOSBox do sistema operacional MS-DOS. Na computação, um emulador é um software que reproduz as funções de um determinado ambiente, a fim de permitir a execução de outros softwares sobre ele.
Novo!!: Máquina de estados abstratos e Emulador · Veja mais »
Engenharia de sistemas
Técnicas de '''engenharia de sistemas''' são utilizados em projetos complexos: de espaçonaves ao projeto de chips, da robótica a criação de softwares para construir pontes. Engenharia de sistema utiliza um conjunto de ferramentas que incluem modelagem e simulação. Engenharia de sistemas é um campo interdisciplinar da engenharia que se foca no desenvolvimento e organização de sistemas artificiais complexos.
Novo!!: Máquina de estados abstratos e Engenharia de sistemas · Veja mais »
Especificação formal
Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos.
Novo!!: Máquina de estados abstratos e Especificação formal · Veja mais »
Estado (ciência da computação)
Na ciência da computação e na teoria de autômatos, o estado de um circuito lógico digital ou programa de computador é um termo técnico para todas as informações armazenadas, em um determinado ponto no tempo, para que o circuito ou programa tem acesso.
Novo!!: Máquina de estados abstratos e Estado (ciência da computação) · 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 abstratos e Função (matemática) · Veja mais »
Hardware
Equipamentos de computadores. O hardware (pronúncia: 'rarduér') é um termo técnico (e anglicismo de engenharia eletrônica) que foi traduzido para a língua portuguesa como equipamento, e pode ser definido como um termo geral da língua inglesa, que se refere à parte física de computadores e outros sistemas microeletrônicos.
Novo!!: Máquina de estados abstratos e Hardware · Veja mais »
Invariante
Em matemática, invariante é algo que não se altera ao aplicar-se um conjunto de transformações.
Novo!!: Máquina de estados abstratos e Invariante · Veja mais »
Isomorfismo
Na álgebra abstrata, um isomorfismo é um homomorfismo bijetivo.
Novo!!: Máquina de estados abstratos e Isomorfismo · Veja mais »
Java (linguagem de programação)
Java é uma linguagem de programação orientada a objetos desenvolvida na década de 90 por uma equipe de programadores chefiada por James Gosling, na empresa Sun Microsystems, que em 2008 foi adquirido pela empresa Oracle Corporation.
Novo!!: Máquina de estados abstratos e Java (linguagem de programação) · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Máquina de estados abstratos e Lógica matemática · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Máquina de estados abstratos e Linguagem de programação · 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 abstratos 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 abstratos e Máquina de Turing · Veja mais »
Operação (matemática)
Em matemática, uma operação é qualquer tipo de procedimento que é realizado sobre certa quantidade de elementos, e que obedece sempre a uma mesma lógica (regra).
Novo!!: Máquina de estados abstratos e Operação (matemática) · Veja mais »
Oxford University Press
Oxford University Press (OUP) é uma casa editorial e departamento da Universidade de Oxford.
Novo!!: Máquina de estados abstratos e Oxford University Press · Veja mais »
Prolog
Prolog (Programação Lógica) é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática.
Novo!!: Máquina de estados abstratos e Prolog · Veja mais »
Relação binária
Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.
Novo!!: Máquina de estados abstratos e Relação binária · Veja mais »
SDL (linguagem)
SDL (Specification and Description Language - Linguagem de Especificação e Descrição) é uma linguagem padrão para especificação e descrição formal de sistemas de tempo real.
Novo!!: Máquina de estados abstratos e SDL (linguagem) · Veja mais »
Simulação
Uma simulação é uma imitação aproximada da realidade, operação de um processo ou sistema que representa sua operação ao longo do tempo.
Novo!!: Máquina de estados abstratos e Simulação · Veja mais »
Sistema axiomático
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.
Novo!!: Máquina de estados abstratos e Sistema axiomático · Veja mais »
Sistema de processamento distribuído
Um sistema de processamento distribuído ou paralelo é um sistema que interliga vários nós de processamento (computadores individuais, não necessariamente homogéneos) de maneira que um processo de grande consumo seja executado no nó "mais disponível", ou mesmo subdividido por vários nós.
Novo!!: Máquina de estados abstratos e Sistema de processamento distribuído · Veja mais »
Software
OpenOffice.org ''writer'' Software é um termo técnico que foi traduzido para a língua portuguesa como suporte lógico e trata-se de uma sequência de instruções a serem seguidas e/ou executadas, na manipulação, redirecionamento ou modificação de um dado (informação) ou acontecimento.
Novo!!: Máquina de estados abstratos e Software · Veja mais »
Springer Science+Business Media
Springer Science+Business Media ou Springer-Verlag, ou ainda, simplesmente Springer é uma editora mundial baseada na Alemanha, a qual publica livros-texto, livros de referência acadêmica, e periódicos de artigos com revisão por pares (peer-review), com foco em ciência, tecnologia, matemática, e medicina.
Novo!!: Máquina de estados abstratos e Springer Science+Business Media · Veja mais »
Tabela de transição de estados para autômatos finitos
Na teoria dos autômatos, uma tabela de transição de estados é uma tabela que mostra para qual estado (ou estados, no caso de um autômato finito não-determinístico) a máquina de estados finitos irá se mover, com base no estado atual e em outras entradas.
Novo!!: Máquina de estados abstratos e Tabela de transição de estados para autômatos finitos · Veja mais »
Tese de Church-Turing
Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.
Novo!!: Máquina de estados abstratos e Tese de Church-Turing · Veja mais »
UML
right A UML (do inglês Unified Modeling Language, em português Linguagem de Modelagem Unificada) é uma linguagem-padrão para a elaboração da estrutura de projetos de software.
Novo!!: Máquina de estados abstratos e UML · Veja mais »
Redireciona aqui:
Máquina de estado abstrata, Máquinas de estados abstratos.
