falamos sobre a Linguagem Formal:

é uma área do conhecimento que investiga maneiras de expressar formalmente uma linguagem computacional

Um alfabeto é um conjunto finito de símbolos ou caracteres

Uma cadeia (ou palavra) sobre um alfabeto é uma sequência (ou lista) finita de símbolos [do alfabeto] justapostos.

A cadeia vazia é uma palavra valida ;

Possui um comprimento representado por um numero natural.

Concatenação : α · β

Justaposição ordenada dos símbolos

Linguagem :

Conjunto, finito ou infinito, de cadeias

ϵ : cadeia vazia

∅ : linguagem vazia

Operações : complementação, reverso,substituição, quociente.

Métodos para representação finita de linguagens:

Gramáticas;

Reconhecedores;

Enumerações.

Gramáticas: Definem linguagens formais por meio de regras de substituição. Exemplo: G=(V,Σ,P,S)

V : Vocabulario

Σ : Alfabeto

P: regras

S : Simbolo inicial

Linguagens Regulares: Reconhecidas por autômatos finitos, definidas por expressões regulares ou geradas por gramáticas regulares.

Automatos finitos :

Modelos com estados finitos para reconhecer linguagens.

Podem ser : Deterministico e Não Deterministico.

São representações hierárquicas que mostram a estrutura gramatical de uma expressão ou sentença de acordo com uma gramática formal.

O propósito das árvores de sintaxe é representar, de forma hierárquica, a estrutura gramatical de uma expressão ou sentença com base em uma gramática formal.

Nessa aula foi abordado o conceito de pilhas e filas .

Que basicamente são conceitos que ajudam a organizar o fluxo de diversas coisas. Pilha : Basicamente você só pode adicionar e retirar elementos do topo da Pilha .Fila : Basicamente você só coloca elementos o final / topo e só tira elementos do começo / base da fila .