Please enable JavaScript.

Coggle requires JavaScript to display documents.

Informática (Computação - Utilização de algoritmos para resolver problemas…

- - - - Tese Church-Turing: Todos os modelos computacionais podem ser equiparados quanto ao seu poder computacional, ofecerendo possibilidade ilimitada de memória.
      - Máquina de Turing: Modelo universal da computação, trabalha com operadores simples e uma fita de comprimento infinito.
      - Cálculo Lambda: Formalismo utilizado na representação de programas desenvolvidos segundo o paradigma das linguagens funcionais.
      - Funções recursivas: Utilizado como um modelo computacional inspirado na Matemática, que permite a representação e manipulação direta de valores numéricos.
      - Gramáticas Gerativas: Permitem a representação de linguagens através do uso de regras de substituição, que operam sobre sequência de símbolos, sendo mais utilizados nas linguagens artificiais
      - Dispositivos Adaptativos: Baseado em autômatos, são modelos com a capacidade de representar fenômenos computacionais complexos através do uso de abstrações, cujo o comportamento é descrito por um conjunto de regras dinamicamente variável. Ao associar uma regra com uma ação, os dispositivos tornam-se equivalentes a uma máquina de Turing.
    - - Problemas computáveis, são problemas que podem ser resolvidos mediante a utilização de algoritmos.
        
        Indecidíveis: Existe a possibilidade de elaborar algoritmos, porém eles só terminam quando são apresentado os dados corretos, podendo gerar um ciclo infinito de execuções para outros dados.
        
        Decidíveis: Utilizam algoritmos que sempre terminam, para quaisquer dados inseridos.
      - Estudo da complexidade: Estudo das linguagens formais, baseados na hierarquia de Chomsky.
        
        Linguagens regulares: Uso de autômatos finitos e máquinas de estados finitos em um grande número de aplicações, como a projeção de circuitos sequenciais, na construção de protocolos Web, analisadores léxicos de compiladores, etc.
        
        Linguagens livres contexto: Uso de gramáticas e autômatos de pilha, que utilizam abstrações nas suas aplicações, podendo ser empregados na representação de fenômenos linguísticos, servindo assim para modelar programas constituídos por um conjunto de procedimentos interdependentes e mutuamente recursivos.
        
        Linguagens dependentes de contexto: Uso de autômatos de pilha e gramáticas livre de contexto são insuficientes. Usados nas linguagens de programação. O seu uso costuma ser evitado, devido ao fato, de gerar formulações extensas e complexas.
    - - Importância de se estudar Linguagens Formais e Autômatos:
        
        Proporciona uma visão panorâmica das bases
        científicas da computação.
        
        Proporciona fundamentos teóricos através do estudo da decidibilidade, complexidade computacional e computabilidade.
        
        Fornece uma base sólida para o desenvolvimento de diversas aplicações computacionais, como processamento de linguagens, o reconhecimento de padrões e a modelagem de sistemas.
        
        Estabelece um forte elo entre a teoria e a prática.
        
        Permite que os conceitos e os resultados da teoria referente as linguagens, seus geradores, reconhecedores e analisadores possam ser aplicados.
      - Teoria
        das linguagens de programação:
        
        Linguagens de Programação:
        
        Cálculo Lambda e Teoria dos Combinadores.
        
        Lógica de Floyd-Hoare: Sistema formal para a correção de programas imperativos.
        
        Teoria de Objetos: Fundamenta a base da Programação orientada a objetos.
        
        Semânticas formais clássicas: voltadas para a especificação formal da interpretação das linguagens de programação.
        
        Aplicação da reutilização de código reduz aos poucos a atividade de programação.
        
        As linguagens de programação modernas incorporam
        inúmeros conceitos não-triviais.
        
        Com o crescente desenvolvimento de softwares de grande porte, torna a especificação dos programas uma tarefa mais difícil para os desenvolvedores.
        
        Torna-se necessário a utilização de métodos mais rigorosos de verificação para o desenvolvimento de softwares seguros.
    - - Objetos de estudo:
        
        Variados formalismos estão disponíveis para
        sua modelagem e estudo.
        
        Os formalismos podem se analisados de maneira independentes, desde que sejam abstraídos e formalizados.
        
        Busca por soluções otimizadas.