< October 13 | << Sep | October | Nov>> | October 15 > |
---|
| ||||||||
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions at one of the pages linked to above. | ||||||||
I have a task to complete which is to design a Turing Machine which will halt on all inputs from a certain language and halt and accept only on inputs from a particular subset of this language. I should mention that in the course I'm taking we've taken the option of considering a TM as a set of rules of the form {READ STATE, READ SYMBOL, CHANGE TO STATE, CHANGE TO SYMBOL, GO LEFT OR RIGHT OR PAUSE} with a "start" state and an "accept" state, the machine starting on the "left-most" letter of the input word, and the machine halting without accepting if it encounters a symbol in a certain state for which there does not exist a rule.
Anyway, I've completed the task, and designed a TM. I'm happy with it - I think it's quite cute in fact. And I should think anyone reading my rules with the accompanying commentary would be happy too. What I would like to do is make a systematic and complete justification of my TM - i.e. prove that it does exactly what it's meant to. The trouble is, when I start writing about it I end up with paragraph upon paragraph of flowery prose and going round in circles. This is silly. It's a simple machine really and is dealing with a simply defined subset of a simple language.
So, my question is this: does there exist a standard approach to justifying a machine of this type which would be concise and rigorous? It's bugging me since I love my machine and it clearly (to me) does its job but I end up going round in circles trying to justify it.
Thanks -- 87.194.21.177 01:04, 14 October 2006 (UTC)
Thanks guys. I don't know about regular languages - maybe I'll dip a toe. Meanwhile I think I'll start thinking along the other lines suggested. I think that, as Robert says above, "writing proofs is hard" is the essential truth I am struggling with as per usual. Thanks again. -- 87.194.21.177 15:37, 14 October 2006 (UTC)
I understand that the Elasticity of substitution is the % change in x/y over the % change in the rate of technical substitution, or MRS, but then I become confused when it is simplified to: d ln x/y over d ln f(x)/f(y).
Could someone state this in terms of operations, or what I should calculate if all I have is their production function and conditional input demand functions? Thanks, ChowderInopa 02:03, 14 October 2006 (UTC)
Lambiam, you are right, the bottom is the partial derivatives of the utility function, my bad. I'm still not understanding though...
I am taking the derivative of the ln(x/y) with respect to what? and then, I am dividing this by the derivative of the ln of the ratio of the partial derivatives of the Utility function??? Help! ChowderInopa 23:57, 14 October 2006 (UTC)
hello.can you pls give me instant tricks of solving permutations...
I am learning about linear vector spaces at university at the moment, and was wondering about slightly odd bases, such as {sin(t), cos(t)}. What are the coordinates of the function f(t) = 3 sin(t) + 5 cos(t) with respect to these basis {sin(t), cos(t)}, for example. Is the answer simply (3,5)? Batmanand | Talk 13:27, 14 October 2006 (UTC)
d2/dt2 * ß = H * d/dx * ß, Solve for H 205.188.116.136 14:36, 14 October 2006 (UTC)
Hi:
I am sitting on my desk, trying to figure out the following statistics problem: if the alpha level increases power also does. Now, I wonder whether power can be less than the alpha level for a hypothesis test. I think it cannot be less as they are somewhat related and depend on each other. But I am not 100% sure. Does anyone know anything that would illuminate my mind and refresh my brain cells a little? I would be thrilled. Thanks much. Hersheysextra 16:15, 14 October 2006 (UTC)
There is a definition for e in wikipedia. Assume the following.
y=f(x); y=e^x; y'=x(e^(x-1));
here, acceleration of y is always equal to velocity of x. Does this point that - acceleration of y is equal to velocity of x - hold good for only e or does that hold good for all integers?
When it was first invented ? 124.109.18.18 20:17, 14 October 2006 (UTC)
< October 13 | << Sep | October | Nov>> | October 15 > |
---|
| ||||||||
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions at one of the pages linked to above. | ||||||||
I have a task to complete which is to design a Turing Machine which will halt on all inputs from a certain language and halt and accept only on inputs from a particular subset of this language. I should mention that in the course I'm taking we've taken the option of considering a TM as a set of rules of the form {READ STATE, READ SYMBOL, CHANGE TO STATE, CHANGE TO SYMBOL, GO LEFT OR RIGHT OR PAUSE} with a "start" state and an "accept" state, the machine starting on the "left-most" letter of the input word, and the machine halting without accepting if it encounters a symbol in a certain state for which there does not exist a rule.
Anyway, I've completed the task, and designed a TM. I'm happy with it - I think it's quite cute in fact. And I should think anyone reading my rules with the accompanying commentary would be happy too. What I would like to do is make a systematic and complete justification of my TM - i.e. prove that it does exactly what it's meant to. The trouble is, when I start writing about it I end up with paragraph upon paragraph of flowery prose and going round in circles. This is silly. It's a simple machine really and is dealing with a simply defined subset of a simple language.
So, my question is this: does there exist a standard approach to justifying a machine of this type which would be concise and rigorous? It's bugging me since I love my machine and it clearly (to me) does its job but I end up going round in circles trying to justify it.
Thanks -- 87.194.21.177 01:04, 14 October 2006 (UTC)
Thanks guys. I don't know about regular languages - maybe I'll dip a toe. Meanwhile I think I'll start thinking along the other lines suggested. I think that, as Robert says above, "writing proofs is hard" is the essential truth I am struggling with as per usual. Thanks again. -- 87.194.21.177 15:37, 14 October 2006 (UTC)
I understand that the Elasticity of substitution is the % change in x/y over the % change in the rate of technical substitution, or MRS, but then I become confused when it is simplified to: d ln x/y over d ln f(x)/f(y).
Could someone state this in terms of operations, or what I should calculate if all I have is their production function and conditional input demand functions? Thanks, ChowderInopa 02:03, 14 October 2006 (UTC)
Lambiam, you are right, the bottom is the partial derivatives of the utility function, my bad. I'm still not understanding though...
I am taking the derivative of the ln(x/y) with respect to what? and then, I am dividing this by the derivative of the ln of the ratio of the partial derivatives of the Utility function??? Help! ChowderInopa 23:57, 14 October 2006 (UTC)
hello.can you pls give me instant tricks of solving permutations...
I am learning about linear vector spaces at university at the moment, and was wondering about slightly odd bases, such as {sin(t), cos(t)}. What are the coordinates of the function f(t) = 3 sin(t) + 5 cos(t) with respect to these basis {sin(t), cos(t)}, for example. Is the answer simply (3,5)? Batmanand | Talk 13:27, 14 October 2006 (UTC)
d2/dt2 * ß = H * d/dx * ß, Solve for H 205.188.116.136 14:36, 14 October 2006 (UTC)
Hi:
I am sitting on my desk, trying to figure out the following statistics problem: if the alpha level increases power also does. Now, I wonder whether power can be less than the alpha level for a hypothesis test. I think it cannot be less as they are somewhat related and depend on each other. But I am not 100% sure. Does anyone know anything that would illuminate my mind and refresh my brain cells a little? I would be thrilled. Thanks much. Hersheysextra 16:15, 14 October 2006 (UTC)
There is a definition for e in wikipedia. Assume the following.
y=f(x); y=e^x; y'=x(e^(x-1));
here, acceleration of y is always equal to velocity of x. Does this point that - acceleration of y is equal to velocity of x - hold good for only e or does that hold good for all integers?
When it was first invented ? 124.109.18.18 20:17, 14 October 2006 (UTC)