Contents

• Introduction
• Requirements
• Existing solutions
  • Boolean expressions
  • PAM
  
  
• Design
  • DFA example
  • The language
  • Extending the language
  • Final words
  
  
• Bibliography
• About this document ...

0