Grammars

• Specification tool, for precise specification of:
  • programming languages
  • various types of sequences, such as byte or message sequences
• Software construction tool, provide "blueprint" for syntactic aspects of
  • parser
  • compiler