kante(1,a,2). kante(2,b,3). epsilonkante(2,3). kante(3,c,1). start(1). ende(3).