added a bit of syntax

final states accept also transitions
tests