Sistema de comunicação com regras e estrutura definidas.

Linguagem formal :

Estudo de modelos matematicos para reconher uma determinada linguagem.

Sintaxe : Analisa as propriedades livres da linguagem (regras).

Semântica : Analisa a interpretação da linguagem (Sentido).

Formalismos :

Axiomático ou Gerador: regras associadas às componentes da linguagem.

Denotacional ou Funcional: um domínio que permite a caracterização do conjunto de palavras admissíveis na linguagem.

Paradigmas de Programação Referem-se a diferentes estilos ou abordagens para resolver problemas usando uma linguagem de programação.

Declarativo : Como

Imperativo : Oque

Notação por extensão : Representa todos os elementos

Notação por compreensão : Propriedades

Relacionamento esntre conjuntos :

∈ : pertence

̸∈ : não pertence

⊆ : está contido

̸⊆ : não está contido

= e /= : iguladade e desiguladade

Tupla : uma sequência de n elementos de um conjunto

Operações e seus repectivos simbolos :

União : ∪

Intersecção : ∩

Diferença : −

Complemento : ∼

Conjunto das partes : P(A)

Produto cartesiano : ×

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

Alfabeto Σ :

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

OBS : vazio tambem pode ser um alfabeto.

Cdeia :

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.

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.

Aqui vai algumas principais caracteristicas de haskel :

Puramente funcional ;

Imutavel;

Fortemente tipada :

Inferência de Tipos.

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.

São formadas por :

Nós e Arestas

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.

Que basicamente são conceitos que ajudam a organizar o fluxo de diversas coisas.

Pilha : Basicmente voce so pode adicionar e retirar elementos do topo da Pilha .

Fila : Basicamente voce so coloca elemetos o final / topo e so tira elementos do começo / base da fila .