Regular language implementation of Siskind's temporal logic