07380130c696c128ea720a3f5ed1a335235b946c 124 B

123456789101112131415161718192021222324252627282930
  1. e::=
  2. [7]
  3. [?]
  4. [*]
  5. [/]
  6. [W]
  7. [;]
  8. [!]
  9. [S]
  10. g::=
  11. =
  12. [0]
  13. [3]
  14. [6]
  15. [4]
  16. [u]
  17. [;t]
  18. [w]
  19. [*2]
  20. [t]
  21. [00]
  22. [;0]
  23. []
  24. [2]
  25. [1]
  26. [u!]
  27. [5]
  28. [9]
  29. [12]
  30. [~]