LFA com Prof. Terra

Ricardo Terra é doutor em Ciência da Computação pela Universidade Federal de Minas Gerais (UFMG) com período sanduíche na University of Waterloo (UWaterloo) e pós-doutorado no INRIA/Université Lille 1.

Desde 2014, é professor adjunto do Departamento de Ciência da Computação (DCC) da Universidade Federal de Lavras (UFLA). Tem mais de 15 anos de docência e mais de 10 anos de experiência só em lecionar Linguagens Formais e Autômatos.

O objetivo desse canal é apenas um: *Prover conhecimento de qualidade a todos com zero de custo.* ;-)

Gostou da ideia , então me ajude *curtindo* os vídeos que gostar e se *inscrevendo* no canal para que esse conteúdo chegue a mais e mais estudantes.

LLC - Exercício de Prova - FNG com AP

LLC - Exercício de Prova - Ambiguidade If/Else (Dangling Else)

LR - Exercício de Prova - Expressão Regular - tem mas não termina bc - Resolução de exercícios

LR - Exercício de Prova - Minimização - Resolução de exercícios

LR - Exercício de Prova - Transformação AFND-λ para AFD - Resolução de exercícios

Aula 02 [exercício]: LR - Expressões Regulares - w começa com ba, contém aa e termina com ab

LRec/LRE - Exercício de Prova - MT ND para existe um c precedido por ab ou sucedido por ba

LRec/LRE - Exercício de Prova - GSC para palavras com mesma quantidade de a's, b's e c's

LLC - Exercício de Prova - AP - mesmo número de a's e b's

LLC - Exercício de Prova - FNG básica

$LLC - Exercício de Prova - AP - L = {a^ib^j | 0 lt i le j le 2i}$

LLC - Exercício de Prova - AP - L = {a^ib^j | 0 lt i le j le 2i}

LLC - Exercício de Prova - FNC

LLC - Exercício de Prova - FNC [pequeno erro, ver descrição]

LLC - Exercício de Prova - CYK e ambiguidade

LLC - Exercício de Prova - Ambiguidade - aSbb e aSbB

LRec/LRE - Exercício de Prova - ALL para c prec. por ab ou sucedido por ba

LRec/LRE - Exercício de Prova - ALL para mesma quantidade de a's, b's e c's

LR - Exercício de Prova - Expressão Regular (ER) - Contém c em índices pares

$LR - Exercício de Prova - Lema do Bombeamento - 0^{n} 1^{m}$

LR - Exercício de Prova - Lema do Bombeamento - 0^{n} 1^{m}

$LR - Exercício de Prova - Lema do Bombeamento - b^{n} a^{2n}$

LR - Exercício de Prova - Lema do Bombeamento - b^{n} a^{2n}

LR - Exercício de Prova - Transformação AFND-λ para AFD - Resolução de exercícios 3

LR - Exercício de Prova - Transformação AFND-λ para AFD - Resolução de exercícios 2

LR - Exercício de Prova - Minimização - Resolução de exercícios 2

LRec/LRE - Exercício de Prova - ALL para 2^i

LRec/LRE - Exercício de Prova - Teorema - G é uma GI, então L(G) é recursivamente enumerável

LRec/LRE - Exercício de Prova - Teorema - Se L é recursiva, então L pode ser enumerada em OL

LRec/LRE - Exercício de Prova - MT enumeradora para Σ*

$Aula 18 [exercício]: LRec/LRE - GI - L = {a^ib^ja^ib^j}$

Aula 18 [exercício]: LRec/LRE - GI - L = {a^ib^ja^ib^j}

Aula 20d: LRec/LRE [exercício] - ALL/MT - MT Operacional Ba^nBa^mBa^(n-m) - Modo 2

Aula 20d: LRec/LRE [exercício] - ALL/MT - MT Operacional Ba^nBa^mBa^(n-m) - Modo 1