Now showing items 1-1 of 1

    • Máquinas de Turing paraconsistentes : una posible definición 

      Agudelo Agudelo, Juan Carlos; Sicard Ramírez, Andrés (2011-10-13)
      Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina y una entrada, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento ...