¿Por qué las expresiones regulares se definen con unión, concatenación y operaciones en estrella?

11

Una expresión regular se define de forma recursiva como

para algunos es una expresión regular, $a$ $a \in \Sigma$
es una expresión regular, $\varepsilon$
es una expresión regular, $\emptyset$
donde y son expresiones regulares es una expresión regular, $(R_1 \cup R_2)$ $R_1$ $R_2$
donde y son expresiones regulares es una expresión regular, $(R_1 \circ R_2)$ $R_1$ $R_2$
donde es una expresión regular es una expresión regular. $(R_1)^*$ $R_1$

Esta definición está tomada de la página 64 de

Sipser, Michael. Introducción a la teoría de la computación, 3ra edición. Cengage Learning, 2012.

Ahora tengo las siguientes preguntas.

¿Por qué no contiene la definición de los intersection, complemento reverselas operaciones?
Si cambiamos el 4º elemento a , ¿obtenemos una definición equivalente, es decir, para cada idioma regular, hay una expresión regular modificada y viceversa? $R_1 \cap R_2$
Sé que esta definición es completa y bien definida, pero ¿por qué se prefiere a otras definiciones equivalentes, bien definidas y completas?

formal-languages regular-languages regular-expressions Ali Shakiba
fuente

2

Limítese a una pregunta por publicación.

Raphael

16

1) Si también permitimos la intersección y el complemento, las expresiones resultantes a veces se denominan expresiones regulares extendidas; Como los lenguajes regulares se cierran bajo operaciones booleanas, no ganan nada. Es solo azúcar sintáctico. Una conclusión similar es válida para la operación inversa. Parte de la razón por la cual, en primera instancia, no se mencionan todas las demás operaciones es el objetivo de mantener la definición lo más simple posible, de modo que las pruebas (inductivas) no tengan que ocuparse en muchos casos. Otra causa podría ser que si permitimos ciertas operaciones, pero otras no, en algunos casos resultan en clases de lenguaje muy distintas (subregulares), por ejemplo, si consideramos la expresión regular extendida sin el operador estrella, entonces obtenemos una subclase adecuada de las regulares. , los llamados lenguajes sin estrellas o aperiódicos, consulte wikipedia: lenguaje sin estrellas .

$L = \{a,b\}$ $\{a\}$ $\{b\}$

$L(\emptyset^{\ast}) = \{\varepsilon\}$ $\emptyset = L(\overline{ X^{\ast} }$ $\{\varepsilon\}$ $\emptyset$

$\circ$ $^{\ast}$ $\cap$ $x^{\ast}$ $x \in X$ $L(a\circ b) = \{ab\}$ $L = \{a,b\}$ $L = L(R)$ $X = \{a,b\}$ $a\ne b$

{a, b} \subseteq L \Rightarrow a b \in L .

$\{a,b\} \subseteq L \Rightarrow ab \in L.$

R

$R$

L (R_{1}), L (R_{2})

$L(R_1), L(R_2)$

L = L (R_{1} \cap R_{2}) = L (R_{1}) \cap L (R_{2})

$L = L(R_1 \cap R_2) = L(R_1) \cap L(R_2)$

{a, b} \subseteq L

$\{a,b\} \subseteq L$

{a, b} \subseteq L (R_{i}), i = 1, 2

$\{a,b\} \subseteq L(R_i), i = 1,2$

a b \in L (R_{1}) \cap L (R_{2})

$ab \in L(R_1) \cap L(R_2)$

{a, b} \subseteq L (R_{1} \circ R_{2}) = L (R_{1}) L (R_{2})

$\{a,b\} \subseteq L(R_1\circ R_2) = L(R_1)L(R_2)$

a = a \cdot ε = ε \cdot a

$a = a\cdot \varepsilon = \varepsilon\cdot a$

a \in L (R_{1})

$a\in L(R_1)$

ε \in L (R_{2})

$\varepsilon \in L(R_2)$

b \in L (R_{1})

$b \in L(R_1)$

a b \in L (R_{1})

$ab \in L(R_1)$

a b = a b \cdot ε \in L (R_{1}) L (R_{2})

$ab = ab\cdot \varepsilon \in L(R_1)L(R_2)$

b \in L (R_{2})

$b \in L(R_2)$

a \cdot b \in L (R_{2}) L (R_{2})

$a\cdot b \in L(R_2)L(R_2)$

L (R_{1}) L (R_{2})

$L(R_1)L(R_2)$

a, b \in L (R_{1}^{*})

$a,b \in L(R_1^{\ast})$

a \in L (R_{1})^{n}

$a \in L(R_1)^n$

b \in L (R_{2})^{m}

$b \in L(R_2)^m$

n, m > 0

$n,m > 0$

n = m = 1

$n = m = 1$

a b \in L (R_{1})

$ab \in L(R_1)$

n > 1

$n > 1$

a \in L (R_{1})

$a \in L(R_1)$

m = 1

$m = 1$

m > 1

$m > 1$

b \in L (R_{1})

$b \in L(R_1)$

a b \in L (R_{1}) \subseteq L (R_{1}^{*})

$ab \in L(R_1) \subseteq L(R_1^{\ast})$

◻

$\square$

$a = uw$ $u = a$ $w = a$ $1 = |a| = |uw| = |u| + |w|$ $|u| = 0$ $|w| = 1$ $|u| = 1$ $|w| = 0$ $u = \varepsilon$ $a = w$

StefanH
fuente

2

{a, b}

$\{a,b\}$

{a, b}^{*}

$\{a,b\}^{\ast}$

{a, b}^{*} = (a^{*} \circ b^{*})^{*}

$\{a,b\}^{\ast} = (a^{\ast}\circ b^{\ast})^{\ast}$

Sí, a veces es un poco complicado ver qué se puede expresar y qué no, ya que con una combinación inteligente de estrella y otras puedes llegar bastante lejos.

StefanH

10

El informe técnico que introdujo lenguajes regulares, expresiones regulares y autómatas finitos hace su pregunta en la página 70:

$E\vee F$ $EF$ $E*F$

$E^*$ $E*F$ $E^*$

La respuesta ocupa varias páginas. Primero, se observa que la respuesta debe buscarse en si los idiomas resultantes forman una clase interesante y cómo se comparan con los idiomas descritos por otros medios. En la página 72, se observa que la negación y la conjunción son redundantes: no agregan ningún poder expresivo. En la página 80 y más, se demuestra que los idiomas regulares son exactamente los idiomas reconocidos por las máquinas de estados finitos.

En otras palabras: la respuesta de Stefan puede considerarse concluyente con seguridad, como ya se dio en el informe que introdujo por primera vez estos conceptos.

reinierpost
fuente

Gracias por el enlace. Siempre les explico a mis alumnos que las operaciones son abstracciones naturales de la secuencia de elección (como if-then-else) (instrucciones que se siguen una a la otra) y la iteración (como while-do). ¿Pero aparentemente eso no es mencionado por Kleene?

Hendrik Jan

Solo soy un chico que buscó el artículo de Kleene y se sorprendió de que todo en mi respuesta ya estuviera allí. No se nada mas. Así que supongo que la respuesta es leer el artículo y quizás buscar cualquier cosa que Kleene haya escrito sobre esto antes.

reinierpost

4

A partir de esta selección de operadores (unión, concatenación y estrella) se puede construir un NFA con un tamaño lineal al tamaño de la expresión. Por otro lado, si agrega intersección y complementación, el tamaño del autómata equivalente puede explotar de manera no elemental, lo que generalmente no es deseable.

doganulus
fuente

¿Por qué las expresiones regulares se definen con unión, concatenación y operaciones en estrella?

Respuestas: