Regular Expression Transition System Part 1