Structured Variationally Auto-encoded Optimization
introduction to automata theory , languages and computation .