Content deleted Content added
Line 26:
"the meaning function is a homomorphism from the syntactic monoid onto the semantic monoid"
What does this mean? [[User:Lmatt|Lmatt]] 13:28, 5 June 2007 (UTC)
: Appending words to the program composes the program with those new functions. But that's uninteresting---and true for most languages. Adding well-formed subprograms to the end of programs in C, Forth, most Lisps, Python, etc. adds new functions to the program. The monoid structure of the program isn't very interesting. It's the branching and looping structure inside the program that's interesting.
Plus, what's "mathematical purity" anyway? [[Special:Contributions/213.243.143.189|213.243.143.189]] ([[User talk:213.243.143.189|talk]]) 20:14, 23 September 2008 (UTC)
| |||