Oración 1: queremos replicar este algoritmo y utilizarlo en una máquina de Turing para determinar que este corre en tiempo polinomial
Oración 2: vamos a utilizar las representaciones binarias de dos números como input (aunque se puede trabajar en cualquier base k ≥ 2)
Conector: por lo tanto,
Relación: reasoning
Género: theses