hola:
las máquinas secuenciales están un poco en un limbo legal, porque nosotros, para simplificar los ejercicios, les decimos que se imaginen que la máquina trabaja en régimen, que se imaginen una entrada infinita, que pueden asumir que la máquina tiene la entrada correcta y si no tiene la forma correcta entonces no importa, etc.
aplicando el formato del profesor góngora:
- respuesta corta: sí, podes hacer eso. la salida es correcta para las tiras con la forma correcta esperada, y el resto no importan. la máquina solo garantiza su salida para una entrada de la forma esperada.
- respuesta larga: a pesar de lo anterior, es mucho más prolijo tener en cuenta los posibles errores de entrada y dar un KO cuando la tira no tiene el formato esperado; la forma de dar un error es, precisamente, interrumpiendo el procesamiento cuando se detecta un error. en este caso, tu transición no sería la solución buscada... habría que agregar otro estado para contemplar el primer uno de la secuencia. en estos casos, la función "parcial" me permite dar un "mensaje de error" cuando algo no va bien.
saludos,
d.-
las máquinas secuenciales están un poco en un limbo legal, porque nosotros, para simplificar los ejercicios, les decimos que se imaginen que la máquina trabaja en régimen, que se imaginen una entrada infinita, que pueden asumir que la máquina tiene la entrada correcta y si no tiene la forma correcta entonces no importa, etc.
aplicando el formato del profesor góngora:
- respuesta corta: sí, podes hacer eso. la salida es correcta para las tiras con la forma correcta esperada, y el resto no importan. la máquina solo garantiza su salida para una entrada de la forma esperada.
- respuesta larga: a pesar de lo anterior, es mucho más prolijo tener en cuenta los posibles errores de entrada y dar un KO cuando la tira no tiene el formato esperado; la forma de dar un error es, precisamente, interrumpiendo el procesamiento cuando se detecta un error. en este caso, tu transición no sería la solución buscada... habría que agregar otro estado para contemplar el primer uno de la secuencia. en estos casos, la función "parcial" me permite dar un "mensaje de error" cuando algo no va bien.
saludos,
d.-