Share-Ebooks.com

Table of Contents:

* Part I
o Introduction to Part I
+ What is this?
+ Navigating the text
o The UA-Calculators, Guide and Tutorial
+ General Description of, and directions for, UA-Calculators
+ Short description of special UA-Calculator operations for signatures

+ and algebras Other Applications of UA-Calculators
+ The UA-Calculator Algebraic Operations In Detail
o Preliminaries
+ Some typographic conventions
+ Some basic notation
+ Ordered Pairs
+ Total and Partial Functions
+ Strings
+ S-ary sets and S-ary mappings
+ Commuting Diagrams
o Algebras, Signatures and Homomorphisms
+ Informal Introduction
+ Signatures
+ Signatures on the UA-Calculators
+ Algebras
+ Algebras on the UA-Calculators
+ Homomorphisms
o Initial Algebras
+ Key Definitions and Results for Initial Algebras
+ Initial Homomorphisms on the UA-Calculators
+ Some First Applications of Initiality
o Trees over Signatures
o Free Algebras, Derived Operations and Substitution
o Context-free Grammars
o A Grammar for a Structured Programming Language, LANG1
o The Semantics of LANG1
o Parsing LANG1
o STACKM (= Stack Machine)
o Compiling LANG1 onto STACKM
o Index to Part I
* Part II
o The Limitations of LANG1 and of Context-free Grammars for programming languages
o Parameterized Grammars

To Download this E-Book Click Here.