Me parece que hay dos errores en la solucion propuesta:
Ejercicio 3.c
No hay forma de se desplazar A_2 y B_2 a la derecha.
S => 1 C (A_1) 1 U # # => 1 C (A_1) 1 # 1 # => 1 C 1 # (A_2) 1 # =>
1 1 C # (A_2) 1 # => 1 1 # 0 (A_2) 1 # => 1 1 # 0 1 # A
siendo el ultimo paso posible unicamente si se tiene la produccion
(A_2) 1 => 1 (A_2) de lo contrario "quedaria trancado" en
1 1 # 0 (A_2) 1 # nunca logrando formar la tira 1 1 # 0 1 # A
Ejercicio 2.b
El automata agrega A's al stack en la transicion de q_0 a q_1 y en el loop de q_1 esto lleva a que si se tiene la tira aabccc se hace la transicion de q_0 a q_1 agragando una A al stack se hace el loop de q_1 agragando otra A despues se pasa de q_1 a q_2 agragando una B al stack y esa B se consume al llegar a q_3 desde q_2 restando cc para analizar, al pasar de q_3 a q_4 se saca del stack una A pero queda otra en el stack y por esto no se puede hacer el loop de q_4 para consumir la c restante y como por el otro camino (pasar q_0 a q_6 al pricipio) tampoco se reconoce entonces la tira no es reconocida por el automata pero si pertenece al lenguaje.