Next: Functions Up: lect3 Previous: lect3

Review

Subsections

Functions
Relations
Countably Sets
Graph and Trees
Proof Techniques
- Proof by Induction
- Proof by Contradiction
Basic Concepts and Terminologies
- Operations on Alphabet, Languages, or Strings
- Grammar
  - Applying production rules:

xiangyang li 2000-09-06