regex(7)

NOMBRE
regex - expresiones regulares POSIX.2

DESCRIPCIÓN
Las expresiones regulares ("ER"s), tal y como se definen en POSIX.2, tienen dos formas: ER modernas (tal como egrep(1); llama a estas ER "extendidas" de POSIX.2) y ER obsoletas (las que usa ed(1); son ER "básicas" de POSIX.2). Las ER obsoletas existen como tales por mantener la compatibilidad para algunos viejos programas; y serán discutidas al final. POSIX.2 deja abiertos algunos aspectos de la sintaxis y semántica de las ER; "(dg" es una de las decisiones tomadas al respecto de estos temas que puede no ser portable con otras implementaciones de la POSIX.2.

Una ER (moderna) es una (!) o más de una(!) rama no vacía, separadas por '|'. Acepta cualquier cosa que se corresponda con una de las ramas.

Una rama es una(!) o más de una pieza, concatenadas. Acepta algo que corresponda con la primera, seguida por algo que corresponda con la segunda, etc.

Una pieza es un átomo posiblemente seguido por un solo(!) '*', '+', '?', o por un límite. Un átomo seguido por '*' ajusta con una secuencia de 0 o más átomos. Un átomo seguido por '+' ajusta con una secuencia de 1 o más átomos. Un átomo seguido por '?' ajusta con una secuencia de 0 o 1 átomo.

Un límite es un '{' seguido por un entero decimal sin signo, posiblemente seguido por una ',' posiblemente seguida por otro entero decimal sin signo, y todo acabado por un '}'. Los enteros deben encontrarse entre 0 y RE_DUP_MAX (255(!)) inclusive, y si hay dos de ellos, el primero no podrá ser mayor que el segundo. Un átomo seguido por un límite conteniendo un solo entero i y sin coma ajusta con una secuencia de exactamente i átomos. Un átomo seguido por un límite conteniendo un entero i y una coma ajusta con una secuencia de i o más átomos. Un átomo seguido por un límite conteniendo dos enteros i y j ajusta con una secuencia de entre i y j átomos (ambos inclusive).

Un átomo es una expresión regular encerrada entre "()" (que coincide con una concordancia para la expresión regular), un conjunto vacío de "()" (que concuerda con la cadena nula)(!), una expresión entre corchetes (ver más adelante), '.' (que concuerda con cualquier carácter), '^' (que concuerda con la cadena nula al principio de una línea), '$' (concuerda con la cadena nula al final de una línea), un '\' seguido de uno de los caracteres "^.[$()|*+?{\" (concuerda con ese carácter tomado como un carácter ordinario), un '\' seguido de cualquier otro carácter(!) (concuerda con ese carácter tomado como un carácter ordinario, como si el '\' no hubiera estado presente(!)), o un solo carácter sin otro significado (concuerda con ese carácter). Un '{' seguido de un carácter que no sea un dígito es un carácter ordinario, no el comienzo de un límite(!). Es incorrecto terminar una RE con '\'.

Una expresión entre corchetes es una lista de caracteres encerrados entre "[]". Normalmente concuerda con cualquier carácter de la lista (consulte más adelante). Si la lista comienza Con '^', concuerda con cualquier carácter individual (pero vea más abajo) not del resto de la lista. Si dos caracteres en la lista están separados por '-', esto es una abreviatura para el rango completo de caracteres entre esos dos (inclusive) en la secuencia de cotejo, por ejemplo, "[0-9]" en ASCII concuerda con cualquier dígito decimal. Es incorrecto(!) que dos intervalos compartan un punto final, por ejemplo, "a-c-e". Los intervalos dependen en gran medida de la secuencia de cotejo, y los programas portables deberían evitar depender de ellos.

Para incluir el carácter literal ']' en la lista, conviértalo en el primer carácter (después de un posible '^'). Para incluir un literal '-', lo convierte en el primer o último carácter, o en el segundo extremo de un intervalo. Para usar un literal '-' como primer extremo de un rango, enciérrelo entre "[." y ".]" para convertirlo en un elemento de intercalación (véase más adelante). Con la excepción de estos y algunas combinaciones que utilizan '[' (véanse los siguientes párrafos), todos los demás caracteres especiales, incluido '\', pierden su significado especial dentro de una expresión entre corchetes.

Dentro de una expresión entre corchetes, un elemento de intercalación (un carácter, una secuencia de varios caracteres que se intercala como si fuera un solo carácter o el nombre de una secuencia de intercalación para cualquiera de ellos) encerrado entre "[." y ".]" representa la secuencia de caracteres de ese elemento de intercalación. La secuencia es un solo elemento de la lista de la expresión entre corchetes. Por lo tanto, una expresión entre corchetes que contenga un elemento de intercalación de varios caracteres puede coincidir con más de un carácter; por ejemplo, si la secuencia de intercalación incluye un elemento de intercalación 'ch', entonces la expresión de equivalencia "[[.ch.]]*c" coincide con los primeros cinco caracteres de 'chchcc'.

Dentro de una expresión entre corchetes, un elemento de intercalación entre "[=" y "=]" es una clase de equivalencia que representa las secuencias de caracteres de todos los elementos de intercalación equivalentes a ese, incluido él mismo. (Si no hay otros elementos de intercalación equivalentes, el tratamiento es como si los delimitadores que lo encierran fueran "[." y ".]".) Por ejemplo, si o y ô son miembros de una clase de equivalencia, entonces "[[=o=]]", "[[=ô=]]" y "[oô]" son sinónimos. Una clase de equivalencia no puede(!) ser el extremo de un intervalo.

Dentro de una expresión entre corchetes, el nombre de una clase de caracteres, entre "[:" y ":]", representa la lista de todos los caracteres que pertenecen a esa clase. Los nombres estándar de clases de caracteres son:

    alnum | digit | punct
    alpha | graph | space
    blank | lower | upper
    cntrl | print | xdigit

Están compuestos por las clases de caracteres definidos en wctype(3). Localmente podrán proveerse de otras. Una clase de caracteres no puede formar parte de un rango.

En el caso en que una ER puede ajustar con más de una subcadena de la cadena dada, la ER se ajusta con aquella que comience antes en la cadena dada. Si la ER puede ajustar con varias subcadenas que comienzan en el mismo punto, se ajusta con la más larga. Las subexpresiones también ajustan con las subcadenas más largas posibles, sujetas a la restricción de que el ajuste global sea el más largo posible, con subexpresiones que empiecen antes en la ER con mayor prioridad que aquellas que comiencen después. Nótese que las subexpresiones de nivel más alto tienen prioridad respecto a sus subexpresiones componentes de nivel inferior.

Las longitudes de concordancia se miden en caracteres, no en elementos de intercalación. Una cadena nula se considera más larga que cualquier concordancia. Por ejemplo, "bb*" concuerda con los tres caracteres del medio de 'abbbc', "(wee|week)(knights|nights)" concuerda con los diez caracteres de 'weeknights', cuando "(.*).*" se compara con 'abc' la subexpresión entre paréntesis concuerda con los tres caracteres, y cuando "(a*)*" se compara con 'bc' tanto el RE completo como la subexpresión entre paréntesis concuerdan con la cadena nula.

Si se especifica la coincidencia independiente de mayúsculas y minúsculas, el efecto es similar al de eliminar todas las distinciones entre mayúsculas y minúsculas del alfabeto. Cuando un carácter alfabético que existe en múltiples mayúsculas y minúsculas aparece como un carácter ordinario fuera de una expresión entre corchetes, se transforma en una expresión entre corchetes que contiene ambos casos; por ejemplo, 'x' se convierte en "[xX]". Cuando aparece dentro de una expresión entre corchetes, todas sus contrapartes en mayúsculas y minúsculas se añaden a la expresión entre corchetes, de modo que, por ejemplo, "[x]" se convierte en "[xX]" y "[^x]" se convierte en "[^xX]".

No se impone ningún límite en particular en la longitud de las ER(!). Los programas que deban ser portables no deben emplear ER más largas de 256 bytes, ya que una implementación puede rechazar el aceptar estas ER y seguir cumpliendo POSIX.

Las expresiones regulares obsoletas («básicas») difieren en varios aspectos. '|', '+' y '?' son caracteres comunes y no existe un equivalente funcional. Los delimitadores para los límites son "\{" y "\}", siendo '{' y '}' por sí mismos caracteres comunes. Los paréntesis para las subexpresiones anidadas son "\(" y "\)", siendo '(' y ')' por sí mismos caracteres comunes. '^' es un carácter ordinario excepto al principio de la RE o(!) al principio de una subexpresión entre paréntesis, '$' es un carácter ordinario excepto al final de la RE o(!) al final de una subexpresión entre paréntesis, y '*' es un carácter ordinario si aparece al principio de la RE o al principio de una subexpresión entre paréntesis (después de una posible '^' inicial).

Finalmente, hay un nuevo tipo de átomo, la referencia inversa: '\' seguido de un dígito decimal distinto de cero. d coincide con la misma secuencia de caracteres que coincide con la désima subexpresión entre paréntesis (numerando las subexpresiones por las posiciones de sus paréntesis iniciales, de izquierda a derecha), por lo que Que, por ejemplo, "\([bc]\)\1" concuerda con 'bb' o 'cc' pero no con 'bc'.

ERRORES
Tener dos tipos de ER es molesto.

La especificación actual de POSIX.2 dice que un ')' es un carácter ordinario en ausencia de un '(' sin ajustar; este fue un resultado no intencionado de un error de redacción, y es probable que sea modificado. Evite usarlo.

Las retrorreferencias son una gran chapuza, que plantea importantes problemas para implementaciones eficientes. Además, su definición es algo imprecisa (¿concordará "a\(\(b\)*\2\)*d" con 'abbbd'?). Evite usarlas.

La especificación POSIX.2 sobre el ajuste independiente de mayúsculas es muy vaga. La definición "mayúsculas o minúsculas implican al otro" (N. del T. "one case implies all cases") dada arriba es un consenso entre todos los implementadores como la buena interpretación.

AUTOR
Esta página ha sido obtenida del paquete regex de Henry Spencer.

VÉASE TAMBIÉN
grep(1), regex(3)

POSIX.2, sección 2.8 (Regular Expression Notation).

TRADUCCIÓN
La traducción al español de esta página del manual fue creada por Juan José López Mellado <laveneno@hotmail.com> y Marcos Fouces <marcos@debian.org>

Esta traducción es documentación libre; lea la GNU General Public License Version 3 (https://www.gnu.org/licenses/gpl-3.0.html) o posterior con respecto a las condiciones de copyright. No existe NINGUNA RESPONSABILIDAD.

Si encuentra algún error en la traducción de esta página del manual, envíe un correo electrónico a debian-l10n-spanish@lists.debian.org.