T6, P1.1, restricciones para A, B1, B2, q y p

PUC-IIC2223 / syllabus2019

Repositorio oficial para el curso "Teoría de Autómatas y Lenguajes Formales" del año 2019

3 stars 0 forks source link

T6, P1.1, restricciones para A, B1, B2, q y p #40

Open Drpinto1 opened 4 years ago

Drpinto1 commented 4 years ago

¡Hola!

En la pregunta 1.1 no nos dan restricciones sobre las variables mencionadas, significa esto que pueden tomar cualquier valor?, en particular, los siguientes:

p = q
B1 = B2
B1 = A
B2 = A
B1 = epsilon
B2 = epsilon

¡Gracias!

nicovsj commented 4 years ago

@Drpinto1 De lo que describes, lo único que no está permitido es que B1 = epsilon y B2 = epsilon. La restricción es que A, B1, B2 pertenezcan al alfabeto del stack (por lo que no pueden ser epsilon) y que p, q pertenezcan al conjunto de estados del autómata.