2 ms·
Do you have a reference explaining why two exactly?
by LordRatte 5y ago
Do you have a reference explaining why two exactly?
- waynecochran 5y agoAny textbook on formal languages and automata. Michael Sipser’s is my favorite. Church Turing Thesis is sophomore CS stuff.. Two stacks can simulate a Turing Tape. E.g. moving left is simulated by popping off one stack and pushing onto other. One counter can encode the tape while the other is used to encode the tape position.