EMPTY inference rule typo

In section 6, the empty rule is

  ε in e

Shouldn't it be

  ε in ε

Received on Friday, 27 April 2001 02:37:35 UTC