[2011] [Primer Parcial] [Ejercicio 2]

[2011] [Primer Parcial] [Ejercicio 2]

de Pablo Enrique Gonzalez Inthamoussu -
Número de respuestas: 3

Buenas, 

   A este ejercicio lo pensé así, obtener la ER que define al lenguaje, la ER resultante es r=(aba)* como por cada concatencación  se concatena el doble de a que de bs cada tira del lenguaje va tener el doble de a que de b.
   Está bien razonarlo así, o en este tipo de ejercicio hay que hacer la demostración teórica que está en la solución?


Saludos

Pablo Gonzalez


En respuesta a Pablo Enrique Gonzalez Inthamoussu

Re: Parcial 2011 - Ej 2

de Diego Garat -
hola:

si aplicaste métodos probados en clase para obtener la e.r., y luego probaste formalmente que toda tira denotada por esa er. cumple la propiedad pedida, sí, está bien.

saludos,
d.-


En respuesta a Diego Garat

Re: Parcial 2011 - Ej 2

de Andres Bello Ureta -

Que seria probar formalmente que toda tira denotada por esa er cumple la propiedad pedida? Yo lo hice igual que el compañero, la justificación de que cumple la propiedad es considerada formal?