Índice ColaboreContato: carlosapoie.org | leandroapoie.org

                  Linguagem Conceitos

 Conjuno de palavras ou strings sôbre um alfabeto com o objetivo de construir um texto (programa) a partir de um texto (necessidade / problema) 
LINGUAGEM CONCEITOS
Grafo da linguagem com estrutura de frase
    
Componentes
Automata finito (ou algoritimo)estados      transição entre estados        
Gramática livre de contextoléxica      sintaxe    semântica     blocos de construção        
    metalinguagem   dominio    tipo de gramática     tipos de dados   processo de  execução
Metalinguagem BNF      MOF
Nome
identificador
Dominio
gera texo para aplicação         gera texto para inteligencia artificial       gera texto para aplicação cientifica     gera texto para scripting
Genero Narrar    relatar    argumentar     expor        descrever ações
Paradigma funcional       procedural       lógica        abstração de dados
Conjunto e Lógica
Conjunto elementos    propriedades    tipo        relação(função( • Bijetora • Sobrejetora • Injetora • Composta • Inversa  • Parcial • Polinomial • Retangular • Simples • Sinal • Sobrejetora • Suave)
Algebra de Conjuntos diagramas de Venn       operaçãoes não reversiveis (união e interseção)    
  operações reversiveis (complemento   conjunto das partes   produto cartesiano   união disjunta)    mapa karnaugh   
Lógica conectivos (ou operadores. ver logica booleana))        lógica 1a ordem       lógica 2a ordem    tipo de lógica (complemntares da logica classica (modal epistêmica deôntica) e antclássicas (paraconsistente   paracompleta   difusa))    classificação (aristoteles ( formal e material)     matematica  filosofica  predicado   valorios valores)
Conjunto x Lógica conectivos lógicos x operações sobre conjunto                relaões logicas x relações sobre conjuntos
Tipo de gramática tipo 3 - regulares  tipo 2 - livres de contexto (não ambigua deterministica descendente e deterministica ascendente)  tipo 1 - sensiveis ao contexto   tipo 0 - com estrutura de frase (recursivas e recursiveis enumeraveis)                  
Sintaxe - regras gramaticais grafos de sintaxe     operadores      métodos formais
Léxica simbolos
Semântica - significado operacional     axiomática     denotacional
Blocos de construçãos 
Warnier / orr hierarquia    sequência   seleção   complemento   repetição    cocorrência    bloco begin-end    recursão  
Tipos de dados
Primitivo
Númeointeiros reias      inteiros racionais        inteiros complexos
Lógica booleanaigual   menor    maior   negativo    conjunção   disjunção   condição   bicondição
    hash listas tuplas       objeto
Composto
data (dia mês ano)
Processo de execução compilador    linkeditor    interpretador