paperlined.org
apps > pumping_station_one > projects
document updated 9 years ago, on Feb 27, 2015
Simpler automata that I could try to build as a first try:

Lists:

Specific ones: