Texto e documentos
Números e cálculo
Dados e formatos
Segurança
Desenvolvimento e DevOps
Inteligência Artificial
Finanças
Saúde & Bem-estar
Produtividade
Jogos & Entretenimento
Multimédia e design
Empresa
Guia de utilização
O que é

Os exercícios de autómatos e linguagens resolvidos passo a passo: de uma expressão regular a um AFN (Thompson), do AFN a um AFD (subconjuntos), o AFD mínimo e o algoritmo CYK. Em cada passo vês o que se calcula e porquê, que é o que um exame te pede para escrever.

As convenções, com a sua fonte

Tudo segue o livro do dragão (Aho, Lam, Sethi, Ullman, §3.7) tal como ensinam os diapositivos abertos da Univ. de Pisa: Thompson numera o inicial antes dos filhos e funde os estados ao concatenar (por isso (a|b)*abb dá 0–10); os estados do AFD chamam-se A, B, C… pela ordem em que são descobertos, e o conjunto vazio não é um estado (pode adicionar-se o estado morto, como fazem Hopcroft e Ullman). CYK segue Hopcroft, Motwani e Ullman: X(i,j) com índices a partir de 1.

AutómatosDe expressão regular a AFN, AFD e AFD mínimo, e CYK, passo a passo

Enunciado

Símbolos de uma letra ou algarismo; | união, * fecho, + um ou mais, ? opcional, parênteses e ε.

Cada pedaço numera o seu estado inicial antes dos filhos e o seu estado final depois; ao concatenar, o final do primeiro é o inicial do segundo (sem ε).Aho et al. §3.7.4 · Pisa PLP-05

Traço

abεεεεεεεεabb012367891045

N(a): dois estados, 2 e 3, unidos por «a».

Passo 1 de 7 N(a): dois estados, 2 e 3, unidos por «a».

A concatenação não é um passo: não cria estados, apenas junta o final de um pedaço ao início do seguinte.

AFN com 11 estados; inicial 0, final 10.

O fio completo:o inversor CMOSa porta lógicao programa em assemblyo sistema operativoos autómatos (estás aqui)