Observations

val EUC: Machine = Machine("Euclid",
  "start",
  "start" -> "start 0R / atFirst 1L",
  "atFirst" -> "beforeFirst 1R / atFirst 1L",
  "beforeFirst" -> "done 0R / skipFirst 0R",
  "skipFirst" -> "separator 0R / skipFirst 1R",
  "separator" -> "separator 0R / atSecond 0R",
  "atSecond" -> "doneSubtraction 0L / backToFirst 1L",
  "backToFirst" -> "backToFirst 0L / atFirst 1L",
  "doneSubtraction" -> "doneSubtraction 0L / skipSecond 1L",
  "skipSecond" -> "beforeSecond 0L / skipSecond 1L",
  "beforeSecond" -> "beforeFirst 0R / atFirst 1L",
  "done" -> "done 0S / done 1R"
)