Fixed bug - now accepts transitions such as 't 0->S0' with no spaces around the arrow