• Máquinas de Turing, decidibilidade e computabilidade 

      Netto, Filipe Ramos (2024-02-16)
      Nessa dissertação consideramos detalhadamente a teoria matemática das máquinas de Turing, que servem como ferramenta de estudo em áreas da Matemática e da Computação. Ao lado delas, lidamos com os tipos de funções que lhe ...

      O Manancial - Repositório Digital da UFSM utiliza a versão 6.3 do software DSpace.
      Av. Roraima, 1000. Cidade Universitária "Prof. José Mariano da Rocha Filho".
      Bairro Camobi. CEP: 97.105-900. Santa Maria, RS, Brasil.