Oración 1: este input siempre es una cadena de caracteres del alfa- beto Σ que lee la máquina y manipula en su cinta
Oración 2: en (2.2) aseguramos que una ciudad fija cj es visitada desde solo una ciudad ci
Relación: neutral
Género: theses