Encyclopedia of Delay-Insensitive Systems (EDIS)

AND/IF - a file format for exchanging finite automata descriptions

• AND/IF 1.0 definition [ASCII version]:
  1. Lexical conventions
  2. Syntactic conventions
  3. AND/IF format
  4. NFA description
  5. Other descriptions
  6. NFA examples
  7. Summary of context conditions
  8. Summary of the grammar rules

• Test suite for AND/IF expressions

• E-mail processor for AND/IF

• Context conditions for XDI specifications written in AND/IF

• Test suite for XDI specifications written in AND/IF

Last modified at Tue Nov 10 12:50:06 1998