Oración 1: también podemos decir que la máquina decide el lenguaje si siempre termina y su estado final es de aceptación o rechazo
Oración 2: el número total de nodos que deben haber en el grafo relacionado a una variable xi debe ser 3k+1, ya que, como mencionamos anteriormente, está relacionado con la cantidad de cláusulas que tenemos y el nodo libre que mencionamos an- teriormente
Relación: neutral
Género: theses