Hola,
la idea en general está bien. sin embargo, la solución tiene algunos errores.
la idea en general está bien. sin embargo, la solución tiene algunos errores.
en primer lugar, consumis, en todos los casos, solo una b
luego, con el lazo 
estás habilitando expresamente a consumir todas las c's que se quiera, sin respetar las restricciones de la letra. cuando llegas a 
en el tope del stack, significa que leiste una tira perteneciente al lenguaje, porque apilaste por cada a una A (excepto por la primera, para tener al menos una a más que c), leiste todas las b's que querías, y luego por cada c desapilaste una A, y si habían mas A's en el stack, simplemente las desapilaste (significa que leiste varias a's mas que c's). Entonces, solo deberías tener la transición donde perdes la referencia al stack
estás habilitando expresamente a consumir todas las c's que se quiera, sin respetar las restricciones de la letra. cuando llegas a en el tope del stack, significa que leiste una tira perteneciente al lenguaje, porque apilaste por cada a una A (excepto por la primera, para tener al menos una a más que c), leiste todas las b's que querías, y luego por cada c desapilaste una A, y si habían mas A's en el stack, simplemente las desapilaste (significa que leiste varias a's mas que c's). Entonces, solo deberías tener la transición donde perdes la referencia al stackcomo recomendación, siempre esta bueno probar con un conjunto de tiras representativas, tanto que pertenezcan al lenguaje como no. acá te darías cuenta que aaaabbbcc que pertenece al lenguaje no es aceptada, y que la tira aabccccc que no pertenece al lenguaje si es aceptada
si queres corregilo y lo vemos hoy,
saludos!