Recent content by wheezyg

  1. W

    Troubleshooting X+y Turing Machine Example

    They are just the quadruples that give the specification for the machine. These can be of the form q_i s_j s_k q_l where the action is specified for the Turing machine in state q_i containing the symbol s_j. If s_k is another symbol, we replace s_j with s_k, if s_k = L (or R) we move one...
  2. W

    Troubleshooting X+y Turing Machine Example

    I am working out of Cutlands computability book and I am having trouble understanding the following example: "The function x+y is Turing-computable." Then the example lists the following specifications: q_1 1 B q_1 q_1 B R q_2 q_2 1 B q_3 q_2 B R q_2 I wanted to verify this worked...
  3. W

    Graduate Group automorphism not a subgroup?

    I was wondering if anyone could shed some light on this... I thought Aut(G) was always a subgroup of G but I don't think I can prove it. This is leading me to second guess this intuition. Could I get some reading reccomendations from anyone on this? Thx
  4. W

    G must have an element with no fixed point when there is only one orbit

    I am studying for a modterm on Monday and asking for help on the homework questions I got WRONG on my problem sets (so I can hopefully improve my understanding and see my mistake). This is my reworked version of the incorrect HW problem and I would like to know if I am on the right track...
  5. W

    Prove: Linear Algebra - R(T) a Subset of N(T)

    Homework Statement Let V be a vector space, and let T:V->V be linear. Prove that T2=T0 if and only if R(T) is a subset of N(T)Homework Equations I brainstormed everything I know while looking through my textbook and compiled the following which I use within my proof. I'm letting beta be a...