[2016] [Segundo Parcial] [Ejercicio 2] [Parte b]

[2016] [Segundo Parcial] [Ejercicio 2] [Parte b]

de Ian Ignacy Arazny Casanovas -
Número de respuestas: 2

Buenas tardes, quería saber sobre la validez de la solución propuesta para este ejercicio ya que mezcla los conceptos de lenguaje aceptado por estado final con lenguaje aceptado por stack vacío. Mi pregunta viene particularmente para saber si llegados al caso en el parcial se aceptaría por válida una solución que destruya el stack y además tenga estado final. Adjunto a continuación la información del ejercicio.

El ejercicio pide diseñar un autómata para el siguiente lenguaje:


El APD propuesto por la solución es: 


Saludos,

Ian.

En respuesta a Ian Ignacy Arazny Casanovas

Re: [2016] [Segundo Parcial] [Ejercicio 2] [Parte b]

de Diego Garat -
hola:

si un autómata tiene un estado final, se asume que el autómata reconoce por estado final. esto es, tener o no tener el stack vacío no es condición suficiente ni necesaria para aceptar a una tira.

luego, si justo, por la forma que está hecho el autómata, el stack está vacío al llegar a un estado final, termina siendo algo anecdótico. lo que importa es que la tira se haya consumido completamente y el estado sea final.

saludos,
d.-