Ex 1, Q6/7/8
http://tau-cm2012.wikidot.com/forum/t-454190/ex-1-q6-7-8
Posts in the discussion thread "Ex 1, Q6/7/8"Tue, 29 Sep 2020 13:44:43 +0000http://tau-cm2012.wikidot.com/forum/t-454190#post-1396458Re: Ex 1, Q6/7/8
http://tau-cm2012.wikidot.com/forum/t-454190/ex-1-q6-7-8#post-1396458
Sat, 17 Mar 2012 14:43:51 +0000Ori Lahav716148
When proving closure properties (as in Q6 and Q8) you should present the construction (explain your main idea in words, but also formally present the construction), and then prove its correctness.
]]>
http://tau-cm2012.wikidot.com/forum/t-454190#post-1396420Ex 1, Q6/7/8
http://tau-cm2012.wikidot.com/forum/t-454190/ex-1-q6-7-8#post-1396420
Sat, 17 Mar 2012 12:38:18 +0000Shachar Menashe
Is it enough to present a DFA/NFA/RegEx (or use closure properties) and describe with words OR are we also required to prove correctness via induction?