Properties [of example multiway systems]

The first multiway system here generates all strings that end in ; the third all strings that end in . The second system generates all strings where the second-to-last element is white, or the string ends with a run of black elements delimited by white ones.