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 a broken "Go to Material" link in MERLOT to help us maintain a collection of valuable learning materials.

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