Pregunta: Supongamos que un ascensor está controlado por dos comandos: ↑ para subir el ascensor un piso y ↓ para bajar el ascensor un piso. Suponga que el edificio es arbitrariamente alto y que el ascensor comienza en el piso x. A) Escriba una gramática LL(1) que genere secuencias de comandos arbitrarias que (1) nunca hagan que el ascensor baje del piso x y (2)

Supongamos que un ascensor está controlado por dos comandos: ↑ para subir el ascensor un piso y ↓ para bajar el ascensor un piso. Suponga que el edificio es arbitrariamente alto y que el ascensor comienza en el piso x.

A) Escriba una gramática LL(1) que genere secuencias de comandos arbitrarias que (1) nunca hagan que el ascensor baje del piso x y (2) siempre devuelvan el ascensor al piso x al final de la secuencia. Por ejemplo, ↑↑↓↓ y ↑↓↑↓ son secuencias de comandos válidas, pero ↑↓↓↑ y ↑↓↓ no lo son. Por conveniencia, puede considerar una secuencia nula como válida.

B) Demuestre que su gramática es LL(1) (debe proporcionar los conjuntos primero, seguidor y predictivo, así como la tabla de análisis sintáctico completa).