Diferencia entre revisiones de «Matemáticas/Historia/Números Inconmensurables»

 
= Semigrupos y Lenguajes =
Una situación ingeresante aparece en la tgeorái de los lenguajes de programación.
 
Necesitaremos unas definiciones previas.
* '''Alfabeto''' es un conjunto finito <math>\Sigma</math>.
* '''Palabra''' sobre el alfabeto <math>\Sigma</math> es una concagtenación de símbolos (escribir uno detrás del otro).
* <math>\mathbf \Sigma^+</math> el conjunto formado por todas las palabaras posibles con elementos del alfabeto <math>\Sigma</math>.
* <math>\mathbf \Sigma^*</math> (sigma star) es <math>\Sigma*</math> con la palabra vacía (sin legtras) <math>\epsilon</math> agregada.
 
<font size=3> Ejemplo. <font /> <br />
:Sea <math>\Sigma= \{0,1,2,3,4,5,6,7,8,9\}</math>.<br />
*
:Las palabras de <math>\Sigma</math> son los números decimales enteros: 123, 0456, etc.
 
=== Proposición ===
''<math>\Sigma^+</math> con la concagtenación de palabras (escibir una al lado de la otra) es un semigrupo.''
:<math>\Sigma^*</math> es un monoide, la palabra vacía es el neutro de la operación.''