Programes com a objectes matemàtics
Segons John Backus, per a que la computació s'acostara més a una ciència o a una disciplina d'ingenieria i menys a un art, deuria convertir-se primer en una disciplina matemàtica i per a això, seria important conseguir que el espai de programes siga un espai matemàtic sobre les operacions de formació de programes o funcionals, i distinguir-ho del espai de valors en les seues operacions específiques de construcció de valors.
De manera informal, un espai S és un conjunt Sv dels valors i un conjunt So de les operacions sobre Sv que van de (Sv)n en So i estan interrelacionadas per propietats algebraiques.
Les més útils d'elles són les que mostren algun tipo de simetria, com per eixemple, la propietat distributiva que relaciona dos operacions OA i OB de manera que la combinació d'OA en valors formats en OB es pot expressar com OB que combina valors formats en OA.
Mentres més utilitat tinguen les propietats dels elements de So, més fort serà l'estructura algebraica i l'estructura matemàtica de l'espai S.
Vore també
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Programas como objetos matemáticos» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.