Discovering unbounded unions of regular pattern languages from positive examples