implement recursively generated terminal sequences