Return to Article Details Synthesizing the Turing Machine Using Secure Modalities Download Download PDF