Question 4
http://tau-cm.wikidot.com/forum/t-225822/question-4
Posts in the discussion thread "Question 4"Sat, 15 Jun 2019 23:06:18 +0000http://tau-cm.wikidot.com/forum/t-225822#post-720563Re: Question 4
http://tau-cm.wikidot.com/forum/t-225822/question-4#post-720563
Wed, 10 Mar 2010 23:10:10 +0000Jonathancito441525
To show that an automaton A accepts L you need to show that L(A) = L i.e. L(A) is a subset of L and vice versa. The amount of detail we require in the proof will be clearer after recitation 3.
]]>
http://tau-cm.wikidot.com/forum/t-225822#post-720274Question 4
http://tau-cm.wikidot.com/forum/t-225822/question-4#post-720274
Wed, 10 Mar 2010 17:54:10 +0000OfekP448169
When trying to prove that Automata A accepts the language L, what are the steps of the proof, should I explain that if w is accepted by L than it is also accepted by A? Should I explain the opposite? Or maybe show that if w is not accepted by L than it is not accepted by A? oppositeā¦ all of the above?