Oración 1: podemos decir que el autómata "reconoce" una cadena si esta se encuentra en su cinta de entrada
Oración 2: el autómata computa una función que convierte una cadena en un elemento del conjunto (0,1)
Conector: en otras palabras,
Relación: entailment
Género: articles