En contraste con el reconocimiento de patrones, la coincidencia por lo general tiene que ser exacta.
La coincidencia de patrones a veces incluye soporte para los guardias.
En laboratorios Bell, Ken Thompson extendió la búsqueda y sustitución de características del editor QED para aceptar expresiones regulares.
Ahora, siempre que f da 0 como argumento coincide con el patrón y la función devuelve 1.
Como la sintaxis soporta patrones alternativos en las definiciones de funciones, podemos seguir la definición extendiéndolo a tomar argumentos más genéricos: Aquí, la primera n es un único patrón variable, que coincidirá con absolutamente ningún argumento y enlazarlo a nombre de n que se utilizará en el resto de la definición.
El patrón de comodines (a menudo escrito como _) también es simple: como un nombre de variable, que coincide con cualquier valor, pero no se une el valor a cualquier nombre.
Por ejemplo, en Haskell una lista por comprensión podría ser utilizado para este tipo de filtrado: evalúa a En Mathematica, la única estructura que existe es el árbol, que está poblada por símbolos.
En el siguiente ejemplo, devuelve porque sólo estos elementos que coincida con el patrón de una a[b[_],_] anteriormente.
Por ejemplo, la función Compile de Mathematica se puede utilizar para hacer versiones más eficientes del código.
En el ejemplo, no tenemos ningún uso para la lista, por lo que podemos prescindir de ella, y así escribir la función: La transformación en Mathematica equivalente se puede escribir como: En Mathematica, por ejemplo, coincidirá con una cadena que cuenta con dos personajes y comienza con "a".
Por ejemplo, coincidirá con una cadena que consta de una carta primero, y luego un número.
SNOBOL (String Orientada lenguaje simbólico) es un lenguaje de programación desarrollado entre 1962 y 1967 en el AT & T laboratorios Bell por David J. Farber, Ralph E. Griswold y Ivan P. Polonsky.
Cuerdas generados durante la ejecución pueden ser tratados como programas y ejecutados.
Patrones SNOBOL4, sin embargo, subsumen gramáticas de BNF, que son equivalentes a las gramáticas libres de contexto y más potente que las expresiones regulares [1]