_____ _____ deals with the restrictions properties of veracious models of proof. Name 3 ways that restricted automaton is used. Name 2 ways that context-free grammars are used. In entanglement speculation, problems are classified in couple ways. List them. Computability and Entanglement Theories insist-upon a terse restriction of a computer.