Text this: Generalized nondeterminism and the succinct representation of regular languages