Elysia Tools

Explore ferramentas, exemplos, explicações visuais e guias temáticos em um espaço claro.

Categorias populares

Temas

Idioma
ZHESPTRUFRDEEN

Elysia Tools

Navegação

Education

Tutor de autômatos finitos, Mealy/Moore, Karnaugh e minimização

· Última atualização：2026-08-17

Explica passo a passo autômatos e lógica combinacional: construção por subconjuntos ε-NFA→NFA→DFA, minimização por refinamento de partições de Moore, conversão Mealy↔Moore; agrupamento Gray em Karnaugh e Quine-McCluskey com implicantes primos e cobertura mínima exata para o SOP mínimo. Inclui diagramas ASCII, tabelas e iterações.

Detalhes

O que esta ferramenta ajuda você a fazer

DSL de autômato: states: q0 q1 …, start: q0, accept: q1, q2, alphabet: a b, uma transição por linha origem símbolo destino (arestas ε como ε ou eps); saída Mealy q0 a q1 / 1, saída Moore moore: q0:0 q1:1. A construção por subconjuntos aplica ε-fechamento; a minimização remove primeiro inalcançáveis e depois refina partições de Moore (armadilha clássica); Mealy→Moore divide estados por saída entrante (≤ |Q|·|Δ|). Modo booleano: Quine-McCluskey funde vizinhos (um bit, traços alinhados), o gráfico de implicantes primos cobre só os mintermos ON e após os essenciais uma enumeração exata dá a cobertura mínima (Petrick equivalente). Referências verificadas: (a|b)*abb → DFA de 5 estados, mínimo 4; Σm(0,1,2,5,6,7,8,9,10,14) → B'C' + CD' + A'BD ótimo único.

Execução

Executar esta ferramenta

Preencha o formulário, execute a ferramenta e veja o resultado no mesmo lugar.

Exemplos

Exemplos compatíveis com esta ferramenta

Relacionado

Continue com ferramentas e temas relacionados

Escrito pela equipe Elysia Tools

Guia de uso da ferramenta

Veja quando usar esta ferramenta, o que ela suporta e como os usuários a aplicam.

Fatos principais

Categoria
Education
Tipos de entrada
select, textarea, number, text, checkbox
Tipo de saída
html
Cobertura de exemplos
4
API pronta
Sim

Visão geral

O tutor de autômatos finitos e lógica booleana explica, passo a passo, a construção e a minimização de NFA, ε-NFA e DFA, as conversões Mealy↔Moore e a minimização de funções por Karnaugh e Quine-McCluskey.

Quando usar

  • Quando você precisa converter um ε-NFA ou NFA em DFA usando a construção por subconjuntos.
  • Quando deseja remover estados inalcançáveis e minimizar um DFA pelo refinamento de partições de Moore.
  • Quando precisa encontrar o SOP mínimo de uma função booleana a partir de mintermos e valores indiferentes.

Como funciona

  1. 1No modo de autômatos, informe estados, estado inicial, estados de aceitação, alfabeto e uma transição por linha; arestas ε podem ser escritas como ε ou eps.
  2. 2Ative a construção NFA para DFA para aplicar o ε-fechamento e gerar os estados por subconjuntos.
  3. 3Ative a minimização para refinar as partições de Moore e obter um DFA mínimo; saídas Mealy ou Moore também podem ser convertidas quando declaradas.
  4. 4No modo booleano, informe o número de variáveis, os mintermos ON e, se necessário, os termos indiferentes para obter agrupamentos de Karnaugh e a cobertura mínima exata por Quine-McCluskey.

Casos de uso

  • Estudar a determinização e a minimização de autômatos com fechamentos, tabelas e iterações.
  • Verificar conversões entre máquinas de Mealy e Moore com saídas associadas às transições ou aos estados.
  • Simplificar funções combinacionais usando mapas de Karnaugh, implicantes primos e cobertura mínima exata.

Exemplos

1. Determinizar e minimizar o ε-NFA de (a|b)*abb

Estudante de teoria da computação

Contexto

Um exercício de linguagens formais usa um ε-NFA de 11 estados para representar a expressão (a|b)*abb.

Problema

Obter o DFA equivalente e verificar quantos estados permanecem após a minimização.

Como usar

Selecione o modo de autômatos, informe a definição do ε-NFA e mantenha ativadas as opções de construção por subconjuntos e minimização.

machine: states: 0 1 2 3 4 5 6 7 8 9 10; start: 0; accept: 10; alphabet: a b; 0 ε 1; 0 ε 7; 1 ε 2; 1 ε 4; 2 a 3; 3 ε 6; 4 b 5; 5 ε 6; 6 ε 1; 6 ε 7; 7 a 8; 8 b 9; 9 b 10

Resultado

A construção gera um DFA de 5 estados, e o refinamento de Moore reduz o resultado ao DFA mínimo de 4 estados.

2. Minimizar uma função de quatro variáveis

Estudante de eletrônica digital

Contexto

Uma função combinacional é definida pelos mintermos 0, 1, 2, 5, 6, 7, 8, 9, 10 e 14.

Problema

Encontrar a forma SOP mínima e identificar os implicantes primos essenciais.

Como usar

Selecione o modo de minimização booleana, escolha 4 variáveis e informe os mintermos no conjunto ON.

Perguntas frequentes

Quais formatos de autômato são aceitos?

O tutor aceita NFA, ε-NFA, Mealy e Moore usando a DSL com cabeçalhos de estados, início, aceitação e alfabeto.

Como escrevo uma transição ε?

Escreva uma linha no formato origem símbolo destino, usando ε ou eps como símbolo.

O tutor converte NFA em DFA?

Sim. A opção de construção por subconjuntos aplica o ε-fechamento quando necessário.

Quantas variáveis posso usar no modo Karnaugh?

O campo aceita de 2 a 4 variáveis.

Posso informar termos indiferentes?

Sim. Informe os don't-cares no campo correspondente, separados por vírgulas.

Início
Ferramentas3201
Exemplos593
Visualizações465
Visualizadores de arquivos103
Temas233
Etiquetas333
Imagens, áudio e vídeo657

Ferramentas de processamento, conversão e otimização de imagens, áudio e vídeo

Matemática, datas e finanças644

Calculadoras, ferramentas numéricas, lógica de datas, estatística e finanças

Design e cor297

Ferramentas de cor, layout, gráficos, estilo visual e apoio ao design

Texto e escrita209

Ferramentas de escrita, limpeza, formatação, extração e análise de texto

Desenvolvimento e Web193

Utilitários para desenvolvedores, rede, depuração web e automação

Conversão e codificação175

Ferramentas de conversão de formatos, arquivos, unidades, arquivos compactados e codificação

Triagem de fontes FLAC/WAV e entrega de evidências
Revisão e entrega de um componente de sorteio auto-hospedado
Revisão de lote de códigos Stripe e pré-verificação da importação
Revisão da seleção técnica de fotos e entrega de candidatas à edição
Estruturar uma captura de interface, revisar e entregar ao desenvolvimento

© 2026 Elysia Tools. Todos os direitos reservados.

DocumentaçãoPreçosSobreTermos de serviçoPolítica de privacidadeCookiesContato
Python

Exemplos de Processamento de Imagem Web Python

Exemplos de processamento de imagem Web Python usando PIL/Pillow incluindo leitura, salvamento, redimensionamento e conversão de formato

Java

Exemplos de Processamento de Imagem Android Java

Exemplos de processamento de imagem Android Java incluindo leitura/escrita, dimensionamento e conversão de formato

Kotlin

Exemplos de Processamento de Imagem Android Kotlin

Exemplos de processamento de imagem Android Kotlin incluindo leitura/escrita, dimensionamento e conversão de formato

Rust

Exemplos de Processamento de Imagem Web Rust

Exemplos de processamento de imagem Web Rust incluindo leitura/gravação, redimensionamento e conversão de formato

Education

Analisador de composição de aminoácidos

Analisa a composição de uma sequência: contagens e percentagens molares de cada um dos 20 aminoácidos padrão; totais por grupo (básicos K/R/H, ácidos D/E, aromáticos F/W/Y, sulfurados C/M, alifáticos A/I/L/V, amidas N/Q, hidroxila S/T, outros G/P); GRAVY com os valores de hidropatia de Kyte–Doolittle 1982 (>0 tendência hidrofóbica, <0 hidrofílica; globulares solúveis ficam entre −1 e +0,3); e a massa molecular pela tabela ProtParam. Códigos de ambiguidade (B/J/O/U/X/Z) contam-se à parte e excluem-se das percentagens. Fontes: Kyte & Doolittle 1982, ExPASy ProtParam, Lehninger. Apenas para educação.

Education

Simulador do efeito gargalo genético (perda de heterozigosidade)

Simula a perda esperada de heterozigosidade após um gargalo (esperança determinística). Sob deriva Wright-Fisher ideal, H_{t+1} = H_t(1 − 1/(2N)) por geração, logo H_final = H₀(1−1/2Nb)^t × (1−1/2Nr)^g; o tamanho efetivo harmônico Ne = (t+g)/(t/Nb + g/Nr) é dominado pelo mínimo; F acumulado = 1 − H_final/H₀. Para um alelo de frequência p, a sobrevivência a UMA geração de gargalo é 1 − (1−p)^(2Nb); alelos raros perdem-se primeiro. Casos clássicos: elefante-marinho-do-norte (~20 sobreviventes em 1890), guepardo, nēnē do Havaí, bisão-europeu, atol Pingelap. Fontes: Wright 1931, Nei et al. 1975, Hartl & Clark 2007, StatPearls. Apenas uso educativo.

Education

Gerador de baralho SRS a partir de lista de frequência

Cole uma lista de vocabulário bilíngue e exporte um baralho compatível com Anki que divide cada entrada em cartões de reconhecimento, recordação e cloze com classe, IPA e frases de exemplo, além de prévia SM-2.

Education

Calculadora de comprimento de fragmentos de restrição

Estima os tamanhos dos fragmentos após a digestão: um substrato circular com n cortes produz n fragmentos (contornando a origem) e um linear produz n+1. O modo de posições calcula fragmentos exatos a partir de coordenadas separadas por vírgula; o modo de número de sítios dá a contagem e a média com distribuição uniforme. Inclui a frequência esperada de sítios em DNA aleatório: enzimas de 4 bases ~1 a cada 256 bp, de 6 bases ~1 a cada 4096 bp (REBASE/Sambrook) e avisos de resolução em agarose (<50 bp pode escapar). Fontes: Sambrook & Russell 3ª ed., REBASE. Apenas para educação.

numVars: 4; minterms: 0,1,2,5,6,7,8,9,10,14; dontcares: vazio

Resultado

O tutor identifica 6 implicantes primos e produz o SOP mínimo único B'C' + CD' + A'BD, com 3 termos e 7 literais; B'C' e CD' são essenciais.