Data Hallucination , Falsification and Validation using Generative Models and Formal Methods by
Introduction to the theory of computation