aprovado.xyz · Edital SBC 2025 · POSCOMP

Estude para o
POSCOMP de um
jeito que faz sentido.

25 tópicos do edital em trilhas visuais. Autômatos animados, simulados reais, flashcards com repetição espaçada — tudo em português, baseado nos livros da SBC.

Começar grátis Ver simulador ao vivo
✓ Sem cartão de crédito✓ Linguagens Formais 100% no plano free✓ Sem fidelidade
F1 · Análise de Algoritmos · módulo 1Bubble Sort — O(n²)
AO VIVOn = 8
42
17
88
23
9
56
31
71
comparações
0
trocas
0
passe
1/7
complexidade:O(n²) ≈ 28 comparações
Pronto
↑ clique em “executar” ou “embaralhar”
25
tópicos do edital cobertos
9
módulos interativos de Linguagens Formais
70
questões no simulado oficial
100%
baseado no edital SBC
Baseado em
Edital SBC 2025Sipser 3ª ed.Cormen / CLRS 4ªTanenbaumHopcroft
70 questões · 4 áreas · 4 horas
Por que visual

Não é PDF. Não é videoaula.
É teoria que você vê funcionando.

Você acabou de testar um Bubble Sort lá em cima — esse é o nosso conteúdo, não uma demo de marketing. Cada conceito do edital tem uma visualização que você manipula. Entender vira muscle memory.

“Eu construí o aprovado pra me ajudar a estudar pro POSCOMP. Funcionou pra mim antes de funcionar pra qualquer um.”
— Renato Natali, criador · candidato POSCOMP
Manipule, não memorizeEdite a string de entrada, clique nos estados, veja a transição em tempo real.
Cobertura real do editalComeçamos por Linguagens Formais — 9 módulos completos. Análise de Algoritmos e Lógica Matemática chegam em seguida.
Sessões de 30–45 minCada módulo tem visualização, exemplo guiado e 5 exercícios. Cabe num intervalo.
F6 · Linguagens Formais · módulo 3AFD que reconhece strings terminadas em "ab"
AO VIVOΣ = {a, b}
abbaabq₀q₁q₂
a
a
b
w =
Tente:
estado atual:q0
Pronto
↑ digite uma string ou clique em “simular”
O que tem dentro

Tudo que você precisa.

Trilha

O caminho pelo edital

25 tópicos organizados como o edital SBC. Você sempre sabe onde está e o que falta.

Visualizações

Teoria interativa

Autômatos animados, diagramas de estado clicáveis, algoritmos passo a passo.

Simulado

Fiel ao real

70 questões, 4 horas, mesma distribuição do POSCOMP. Gabarito comentado e análise por área.

Flashcards

Repetição espaçada

Algoritmo prioriza o que você está esquecendo. 15 minutos por dia funciona.

Progresso

Onde você está fraco

Heatmap por área e subtópico mostra exatamente o que revisar antes da prova.

Conteúdo

100% em português

Sem depender de tradução do Sipser ou apostilas xerocadas de universidade.

Currículo

25 tópicos do edital.
Um caminho claro.

Linguagens Formais está liberado no plano free, completo. Os outros chegam em ondas — assinantes premium acessam em primeira mão.

Fundamentos da Computação
6 tópicos
Matemática para Computação
7 tópicos
Tecnologia da Computação
8 tópicos
Liberado no free Premium ou em breveclique ou foque um tópico para ver detalhes
F6 · Fundamentos da Computação

Linguagens Formais e Autômatos

Free · 100% disponível
AFDs, AFNs, expressões regulares, gramáticas livres de contexto, máquinas de Turing.
Módulos previstos · 9
01Conceitos básicos~35 min
02AFDs~35 min
03AFD que reconhece "ab"~35 min
04Lema do Bombeamento~35 min
05AFN e equivalência~35 min
06Expressões regulares~35 min
07Gramáticas livres de contexto~35 min
08Autômato de pilha~35 min
09Máquinas de Turing~35 min
Por dentro

Três telas, um fluxo.

Diagnóstico, módulos visuais, simulado. O ciclo que você repete até o dia da prova.

Dashboard · semana 4
12/25
tópicos
68%
acerto
F6 · Linguagens Formais78%
M5 · Matemática Discreta32%
14 dias seguidos · seu recorde é 18
01 · Diagnóstico

Saiba onde você está

Três perguntas montam seu plano. Dashboard mostra progresso por área, dia a dia.

F6 · módulo 3 de 9
Autômatos finitos determinísticos
AFD que reconhece “ab”
q₀
a
q₁
b
q₂
M = (E, Σ, δ, e₀, F)
02 · Módulo visual

Aprenda manipulando

Cada módulo tem visualização interativa, exemplo guiado e 5 exercícios. 35 a 45 min.

02:43:18
Q. 27 / 70
Considere o AFD M = (E, Σ, δ, q₀, F) com Σ = {a, b}. Qual linguagem M reconhece?
Astrings com nº par de a
Bstrings terminadas em “ab”
Cpalíndromos sobre {a,b}
03 · Simulado

Ensaie a prova real

70 questões, 4 horas, mesma distribuição do POSCOMP. Relatório de erros aponta o módulo certo pra revisar.

Planos

Comece grátis. Continue se valer a pena.

Linguagens Formais completo no free, sem cartão. Premium libera tudo e financia novos módulos.

Free

Para começar

R$0/sempre
Sem cartão de crédito
  • F6 · Linguagens Formais (9 módulos completos)
  • 47 flashcards de F6 com spaced rep.
  • Simulado parcial (20 questões)
  • Dashboard com progresso básico
  • Demais 24 tópicos do edital
  • Simulado completo (70 questões)
Criar conta grátis
2 minutos · sem cartão
Mais escolhido

Premium

R$39/mês
ou R$299/ano · economize 36%
  • Todos os 25 tópicos conforme liberados
  • Todos os flashcards + spaced rep.
  • Simulado completo (70 questões)
  • Analytics detalhado por tópico
  • Histórico de simulados ilimitado
  • Acesso antecipado a novos módulos
Assinar Premium
Sem fidelidade · reembolso total em 7 dias

Pronto pra estudar o POSCOMP de verdade?

Linguagens Formais completa, gratuita, agora. Em menos de 2 minutos você está rodando o primeiro AFD.

Criar conta grátis Ver currículo completo
→ aprovado.xyz