Oración 1: ahora, si una máquina decisoria reconoce algún lenguaje, se dice que la máquina decide ese lenguaje
Oración 2: estos lenguajes, como el del ejemplo, se llaman Turing-decidibles o decidibles si existe alguna máquina de Turing que lo decida
Conector: por lo tanto,
Relación: reasoning
Género: theses