Documentos de Académico
Documentos de Profesional
Documentos de Cultura
aeo
ioi
aeaeoa
uuuu
Definición formal
Se define el concepto de palabra como sigue:1
A pesar de ser sucesiones, es común listar los elementos concatenados en vez de separarlos por comas. A
los elementos del alfabeto también se les denomina los símbolos del alfabeto.
Si es una palabra sobre un alfabeto A, al valor de n se denomina la longitud de la palabra
y se denota . Una palabra de longitud n se denomina una n-palabra (sobre el alfabeto A).
Para cada conjunto alfabeto existe una palabra de longitud cero, denominada palabra vacía, que se denota
"" o entre otras variantes.
Cuando el alfabeto consta de dos elementos, las palabras reciben el nombre de palabras binarias. En este
caso, suele escogerse como alfabeto el conjunto A={0, 1}.
Combinatoria
Las palabras son un objeto fundamental en el área de combinatoria enumerativa, pues por el principio de la
biyección, es posible reducir una gran variedad de problemas a enumerar conjuntos de palabras que
cumplan ciertas restricciones.
La demostración es una consecuencia del principio del producto pues para determinar una palabra hay que
realizar n elecciones sucesivas, cada una de las cuales tiene exactamente r formas de realizarse.
Estructura algebraica
Para cada alfabeto fijo A, es posible definir una operación binaria en el conjunto A* de todas las palabras
sobre A mediante la operación de concatenación:
2
Si y son dos
palabras, la concatenación de y es la palabra
Se puede verificar que la longitud de una concatenación es igual a
la suma de las longitudes: .
Es posible representar el monoide libre con una estructura de árbol con la palabra vacía como nodo raíz y
en donde los nodos descendientes de son la concatenación de ésta con cualquier elemento del alfabeto.
El conjunto de todas las palabras sobre un alfabeto posee también estructura de conjunto parcialmente
ordenado, con el orden denominado orden prefijo dado por la relación
{{ecuación|1= si es un
prefijo de . Este es precisamente el orden cuyo diagrama de Hasse es la representación del monoide
descrita en la sección anterior (con la salvead que se dibujaría de abajo hacia arriba, con la palabra vacía en
la parte inferior).
Ciencias de la computación
En ciencias de la computación es común identificar los conceptos de palabra con el de cadena de
caracteres[cita requerida], el cual es una sucesión de caracteres o unidades de información, y que constituye
uno de los tipos de datos más fundamentales.
Usualmente en computación, los elementos de las cadenas pertenecen suelen ser bytes formando un arreglo
que representa, mediante una codificación de caracteres, entidades de información. Por el contrario, en la
estructura matemática, el alfabeto subyacente puede ser un conjunto cualquiera (incluso infinito) cuyos
elementos no tienen restricción de representación o codificación (los elementos del alfabeto pueden, en
teoría, ser incluso otros conjuntos).
Palabras binarias
Se desea determinar el número de palabras binarias de longitud n. Es decir, series de longitud n formadas
por cifras 0 o 1. Por ejemplo, las palabras binarias de longitud 4 son:
Se debe hacer la observación que estrictamente hablando, una palabra binaria no es lo mismo que un
número binario. Una palabra binaria es únicamente una lista formal de símbolos, y por tanto las palabras
0010, 010, 10 son diferentes aunque puedan interpretarse todas ellas como el número binario 10.
Para poder elegir una palabra, es necesario hacer n elecciones, una para cada posición de la palabra. Por
ejemplo: la primera posición puede ser 0 o 1 (dos opciones), la segunda posición es independiente de la
primera y por tanto puede ser 0 o 1 (dos opciones), y así sucesivamente.
Cada serie de n elecciones corresponde a una palabra y cada palabra corresponde a n elecciones, por lo que
el número de palabras binarias es igual al número de formas de realizar n elecciones cada una de las cuales
tiene 2 posibilidades. El principio del producto establece entonces que el resultado ha de ser
.
Un argumento similar permite concluir que si se desea enumerar palabras de longitud n, en donde cada
posición puede ser cualquiera de r posibles símbolos, el número de formas de hacerlo será .
Ejemplo: Permutaciones
Referencias
1. D.S. Malik; M.K. Sen (2004). Discrete Mathematical Structures. Course Technology.
ISBN 0619212853.
2. M. Lothaire (2002). Algebraic Combinatorics on Words (https://archive.org/details/algebraicc
ombina0000loth) (1st edición). Cambridge University Press. ISBN 0521812208. Consultado el
~~~~~.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Palabra_(matemáticas)&oldid=121936254»
Esta página se editó por última vez el 11 dic 2019 a las 02:59.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.