Álgebra abstracta en el análisis de las ciencias de la computación

Question

Me gustaría saber de algunos de los usos de estructuras algebraicas para estudiar ciencias de la computación. Parallels de lo que yo estoy buscando serían cosas como el grupo fundamental de la/homología/cohomology en la topología y de los campos de la clase de teoría de números donde los grupos/anillos se utilizan para representar la información sobre el objeto que estamos estudiando. No estoy pidiendo ejemplos como el de la gráfica isomorfismo problema. ¿Hay algún equivalente en ciencias de la computación? Yo aprecio mucho las referencias también.

Answer 1

Mira Maurice Herlihy del trabajo sobre las aplicaciones de la topología en la computación distribuida. Ganó un premio Turing. :)

Answer 2

No estoy seguro de que esto es lo que usted está interesado en correctamente, pero este libro muestra "aplicaciones" de álgebra abstracta, y una inusual bonito ejemplo de finito semigroup (ver esta tarde de respuesta), en el contexto de las máquinas de computación.