Preguntas etiquetadas con formal-languages

13
¿Qué es la semántica?

Hay muchos idiomas populares. Pero, los informáticos nos dicen que para comprender el comportamiento de los programas en esos lenguajes definitivamente y sin ambigüedades argumentan sobre el comportamiento del programa (por ejemplo, demostrar su identidad), necesitamos traducirlos a otro lenguaje...

12
Si

Digamos, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Entonces, ¿cómo podemos demostrar que L∗L∗L^* es regular? Si LLL es regular, entonces, por supuesto, L∗L∗L^* también es regular. Si LLL es finito, entonces es regular y nuevamente L∗L∗L^* es regular. También he notado que, para L={0p∣p is a...