ClariCodeClariCode

# Curso online · Ciência da Computação

Linguagens Formais e Autômatos

Expressões regulares, autômatos e gramáticas explicados do jeito que eu ensino na universidade: com desenho, exemplo e propósito. Do primeiro AFD à Máquina de Turing, um passo de cada vez.

Quero estudar LFA Ver o conteúdo
  • Acesso imediato
  • Acesso vitalício
  • Material atualizado
Prof. José Rui dando uma palestra

# se você já travou

Se autômatos já pareceram um quebra-cabeça, eu te entendo.

Quando comecei a estudar Linguagens Formais na UFV, tudo parecia abstrato demais. As expressões regulares pareciam feitiços, e os autômatos, um quebra-cabeça.

Eu sabia que aquilo era importante, mas não conseguia aplicar. Sentia que estava decorando sem entender.

Depois de anos ministrando a disciplina, aprendi o que faz a diferença: desenhar, testar com exemplos e ver para que cada coisa serve. É exatamente assim que este curso foi montado.

antes

  • Decorar definições para a prova
  • Expressão regular como feitiço
  • Montar AFD na tentativa e erro
  • Gramáticas que não se conectam a nada

depois do curso

  • Desenhar o autômato e testar palavras
  • Ler e escrever regex sabendo o que há por trás
  • Converter AFN em AFD e minimizar com método
  • Ver tudo isso virar análise léxica e sintática

# como funciona

Um curso feito como as minhas aulas.

  • Teoria com propósito

    Cada conceito aparece com a aplicação: análise léxica, análise sintática e construção de compiladores.

  • Material vivo no Notion

    Videoaulas, textos, esquemas, resumos e cronograma num material navegável, atualizado sem custo extra.

  • Prática de verdade

    Exercícios resolvidos, atividades e trabalhos práticos ao longo do curso, com exemplos em Java.

  • Professor de verdade

    Conteúdo que nasceu de mais de 15 anos ministrando Teoria da Computação na universidade.

# o que você vai aprender

Uma subida pela hierarquia de Chomsky.

O curso sobe um degrau por vez, das linguagens regulares às máquinas mais poderosas. Cada fase termina com você fazendo algo que antes parecia impossível.

  • 4 fases
  • 21 tópicos
  • 3 prévias abertas

Recursivamente enumeráveis

Máquina de Turing

Fase 4

Livres de contexto

gramáticas e autômato com pilha

Fases 3 e 4

Regulares

autômatos finitos e expressões regulares

Fases 2 e 3
  1. 01

    fase 01

    Fundamentos

    Você entende o mapa da disciplina: o que são alfabeto, palavra, linguagem e gramática, e onde cada tipo de linguagem se encaixa.

    • 1.1. Introdução: sintaxe e semântica prévia aberta
    • 1.2. Hierarquia de Chomsky e classificação das linguagens
    • 1.3. Alfabeto, palavra, linguagem e gramática
  2. 02

    fase 02

    Linguagens regulares

    Você constrói AFD e AFN, converte um no outro, minimiza autômatos e escreve expressões regulares sabendo o que acontece por trás.

    • 2.1. AFD: funcionamento e intuição
    • 2.2. AFD: construção passo a passo
    • 2.3. AFN: autômato finito não determinístico
    • 2.4. AFN com movimentos vazios (λ-transições)
    • 2.5. Equivalência: AFNλ → AFN → AFD prévia aberta
    • 2.6. Minimização de autômatos
    • 2.7. Expressões regulares: fundamentos e aplicações
    • Atividade 03: expressões regulares prática
  3. 03

    fase 03

    Gramáticas

    Você transforma e simplifica gramáticas e coloca linguagens livres de contexto nas formas normais de Chomsky e de Greibach.

    • 3.1. Gramática regular: transformações e conversões
    • 3.2. Linguagens livres de contexto (LLC)
    • 3.3. Simplificação de gramáticas
    • 3.4. Forma normal de Chomsky
    • 3.5. Forma normal de Greibach
    • Atividade 05: forma normal de Greibach prática
  4. 04

    fase 04

    Pilha e Turing

    Você projeta um autômato com pilha e entende a Máquina de Turing, o modelo que define o que um computador consegue calcular.

    • 4.1. Autômato com pilha prévia aberta
    • 4.2. Exemplos de reconhecimento com autômato com pilha
    • Trabalho 02: projeto de autômato com pilha prática
    • 4.3. Máquina de Turing
Pratique de graça no Construtor de Autômatos Desenhe seus autômatos, teste palavras passo a passo e confira a definição formal, direto no navegador. A ferramenta que eu uso em aula.

# na prática

“Você vai ver autômatos com outros olhos. E vai gostar de montar o seu.”

— Prof. José Rui

  • AFD
  • AFN
  • λ-transições
  • minimização
O autômato do vídeo aceita as palavras que contêm aa ou bb.

Depoimentos Youtube

Você pode conferir cada um (e muito mais) nos meus videos do canal

Edmundo Vicente
Edmundo Vicente @edmundovicente6781
há 1 ano

Boa noite, parei de assistir essa video aula pra fazer esse comentário, meu nobre você é nota 1000; meu professor de faculdade passou essa matéria para lá, nem se quer explicou com detalhes como você está fazendo, se não fosse pessoas dedicadas como você, nos alunos estaríamos perdidos.

Curtir
Responder
Prof. José Rui

Fala Edmundo, blz? É uma grande alegria receber comentários como o seu, pois só corrobora a verdade de que quando a gente trabalhar com afinco e determinação, a aula fica boa e facilita o entendimento dos meus alunos. Obrigado mesmo, pode ter certeza que isso me incentiva a produzir mais e melhores conteúdos!

Homenagens dos formandos

Alguns momentos que aquecem o coração

Turma 2018

Formandos 2018

Prof. José Rui

# quem ensina

Nasceu da sala de aula.

Sou José Rui, doutor em Ciência da Computação pela UFV e professor efetivo do IF Sudeste MG desde 2012.

Este curso nasceu das minhas aulas de Teoria da Computação: o mesmo roteiro, os mesmos exemplos e os mesmos exercícios que funcionaram com centenas de alunos.

Aqui você não vai decorar. Vai entender e construir seus autômatos, expressões regulares e gramáticas, e andar com as próprias pernas. Porque depois que você enxerga com clareza, não tem volta.

“Criar autômato é viciante. E é a base da análise léxica de qualquer compilador.”

# Homenageado pelas turmas de formandos de 2018, 2019, 2022, 2023 e 2024.

# acesso completo

Tudo o que você precisa para dominar LFA.

  • As 4 fases completas, com videoaulas, textos, esquemas e resumos no Notion
  • Exercícios resolvidos, atividades e trabalhos práticos
  • Cronograma organizado para estudar no seu ritmo
  • Atualizações do material sem custo extra
  • Acesso vitalício

de R$ 197,90 por

R$ 59,90

você economiza R$ 138,00

Quero meu acesso

Pagamento seguro pela Hotmart. O acesso é liberado assim que a compra é confirmada.

# perguntas frequentes

Ficou alguma dúvida?

O curso é indicado para alunos de graduação?

Sim. O conteúdo é ideal para quem cursa Ciência da Computação, Sistemas de Informação ou áreas afins, e serve como reforço para a disciplina da faculdade, com uma abordagem mais clara, visual e prática.

Preciso saber programar?

Sim. O começo é mais teórico, mas ao longo do curso há três trabalhos práticos, e a minha sugestão é usar Java, porque os exemplos estão nessa linguagem.

O curso ajuda quem quer entender compiladores?

Com certeza. O curso inteiro olha para o próximo passo, a construção de compiladores: você vê como a teoria vira ferramenta real de análise e tradução de código.

Recebo acesso imediato?

Sim. Confirmada a compra, você recebe o acesso ao material completo no Notion, com videoaulas, textos, esquemas, resumos e exercícios.

O acesso é vitalício?

Sim. Você acessa quando quiser, e as atualizações do material ficam disponíveis sem custo extra.

Quero estudar LFA

Continue a sua jornada