Grafos

1 – Introdução

Neste trabalho procuramos abordar os aspectos do teorema dos grafos, onde tem a finalidade de aplicar os princípios e abordar os fundamentos. Tendo como a intenção do estudo demonstrar a sua lógica. Descrever as operações das principais portas utilizadas em circuitos digitais, apresentar as expressões booleanas para a combinação das portas lógicas.
De inicio mostra-se a definição da álgebra de boole e suas principais evoluções.
Em seguida introduz conceitos das funções lógicas e suas respectivas tabelas-verdade, logo após serão representadas as aplicações das principais portas lógicas e mostradas através de símbolos, funções e também tabela-verdade.
Finalizando o trabalho com a descrição de pequenos circuitos e modos de simplificar os mesmos.

No contexto das especificações, pode-se distinguí-las como informais, semi-formais e formais. As especificações informais são certamente muito flexíveis (ambíguas). Especificações semi-formais geralmente provêm uma grande vantagem em cima de métodos de especificação informais; porém a precisão e as ambigüidades são enganosas. A sintaxe pode ser mais sugestiva, mas seu propósito ou é escondido em uma explicação informal ou uma interpretação existente. Isto previne modos padrões para responder perguntas sobre especificações concretas. Este é o principal potencial de especificações formais. Gramática de Grafos é um formalismo usado na especificação dos sistemas onde os estados do sistema passam a ser representados por grafos, e as transições são especificadas por regras.
Apresentando-se como uma forma formal e sugestiva ao mesmo tempo, especialmente adaptada para descrever e analisar sistemas seqüenciais, concorrentes e distribuídos, avaliar expressões funcionais, definir mecanismos de sincronização, modelar sistemas biológicos, gerar imagens (como, por exemplo, fractais), etc.[Men98].
Apesar da área de