JFLAP

s0 a s1

s0 b,c s2