Linguagens Formais e Autômatos

No Curso de Extensão em Linguagens Formais e Autômatos, você aprenderá: Toda vez que um compilador entende seu código, toda vez que uma busca encontra o que você precisa, toda vez que um sistema decide se uma entrada é válida ou não — tem um autômato trabalhando por baixo. Essa base invisível sustenta a computação inteira. E a maioria dos programadores nunca parou pra entender como ela funciona de verdade.

Aqui você vai construir esse entendimento do zero: conjuntos, lógica, símbolos, cadeias. Depois entra no coração da coisa — gramáticas regulares, expressões regulares, autômatos finitos. Sobe o nível com gramáticas livres de contexto, árvores de derivação, autômatos à pilha. Aprende a usar o lema do bombeamento pra provar o que uma linguagem consegue ou não fazer. E chega onde poucos chegam: máquinas de Turing, a tese de Church-Turing, decidibilidade e complexidade.

Quem termina esse curso não decora regra. Entende os limites fundamentais da computação — o que pode ser calculado, o que não pode, e por quê. Isso muda a forma como você pensa sobre qualquer problema.