look ahead transformations for finite state machines algorithm 7569983