Ao tentarmos utilizar determinados recursos nas linguagens regulares (LR), há algumas dificuldades que não os viabilizam. Entre elas está a impossibilidade de contar os símbolos das cadeias; por exemplo: não há um autômato finito determinístico (AFD) ou expressão regular que reconheça a linguagem L1 = {w ∈ Σ ={ a, b}* |w é formada por an bn | n ≥ 0}. O não reconhecimento se dá porque não é possível mapear as informações e, como consequência, não se pode contar os símbolos, pois isso exigiria um nível maior de memória do que o utilizado nas LR.

Diante das dificuldades encontradas pelas LR, as linguagens livres do contexto (LLC) são adequadas, pois dispõem de um poder de representação maior que as LR, tendo um acréscimo de memória relativamente pequeno e funcionamento razoavelmente eficiente. Com as LLC é possível identificar se uma palavra é correta em determinada linguagem (natural ou de programação) por meio de seus mecanismos formais.

Neste curso online, você vai aprender sobre o conjunto das LLC, seu conceito, características e operações (união, intersecção, diferença, concatenação, fecho de Kleene), associando exemplos práticos de implementações de linguagens de programação inseridas nas linguagens livres de contexto e usando o lema do bombeamento para provar se determinada linguagem pode ser livre de contexto ou não.

O Curso Online Linguagens Livres do Contexto: Propriedades e Operações é voltado para profissionais e estudantes da área de Engenharia de Software, além de interessados no assunto. Faz-se necessário ter conhecimentos básicos de teoria de linguagens formais na Ciência da Computação.

Este curso dispõe dos seguintes recursos de acessibilidade: cores em alto-contraste, aumento de fonte e tradução automática mediante a Língua Brasileira de Sinais (Libras). Para ativar esses recursos, acesse "minha conta" do lado direito da tela na parte superior e habilite de acordo com sua necessidade.

O conteúdo do curso ficará disponível por até 30 dias após a compra.