Material Detail

This is a free online textbook that "is a preliminary version of Part I of an on-line text on universal algebra with a strong emphasis on applications and examples from computer science. The examples are provided in an interactive framework employing special built-in calculators.

Part I of the text introduces the following basic algebraic concepts * signatures * algebras * homomorphisms * initial algebras * free algebras and illustrates them with numerous interactive applications to computer science topics including * inductive definitions * notational conversions for expressions (from prefix to infix, postfix, Polish, and Cambridge notation) * substitution of terms within terms * context-free grammars * the syntax (both abstract and concrete) of a programming language, LANG1 * the semantics of LANG1 via a homomorphism * the compilation of LANG1 onto a simple stack machine via a homomorphism

This will delete the comment from the database. This operation is not reversible. Are you sure you want to do it?

Thank you for reporting the broken link in MERLOT to help us maintain a collection of valuable learning materials.

If you know the NEW link for the material, please enter in the field below. Otherwise, leave the field blank.

If you are logged in member of MERLOT, we can notify you when the link is fixed.

If you feel this material is inappropriate for the MERLOT Collection, please click SEND REPORT, and the MERLOT Team will investigate. Thank you!