git @ Cat's Eye Technologies Tandem / master eg / pda-reject.tandem
master

Tree @master (Download .tar.gz)

pda-reject.tandem @masterraw · history · blame

I → "(()()()))" &
O → N &
Q → 0 &
K → "$" &
(
  Q0 → 1 & I"("… → … & K… → "$"… |
  Q1 → 1 & I"("… → … & K… → X… |
  Q1 → 1 & I")"… → … & KX… → … |
  Q1 → 0 & I")"… → … & K"$"… → … |
  Q0 → 2 & I → & O… → Y
)*