0
$\begingroup$

enter image description here

The book that I'm reading says it is equivalent

But what about the aa string ? i produce it this way :

$$ S\Rightarrow S_1B\Rightarrow aS_1bB\Rightarrow aaB\Rightarrow aa $$ But that language doesn't have aa in it, what am i doing wrong here?

$\endgroup$
  • 1
    $\begingroup$ Could you please replace the image with text? $\endgroup$ – fade2black Sep 27 '17 at 16:52
  • 1
    $\begingroup$ Is it common to typeset one and zero like that? $\endgroup$ – Tomoki Sep 27 '17 at 16:54
  • 2
    $\begingroup$ Your derivation is correct. If you quoted correctly, the book is wrong. $\endgroup$ – Rick Decker Sep 27 '17 at 16:55
  • 1
    $\begingroup$ Welcome to Computer Science! Note that you can use LaTeX here to typeset mathematics in a more readable way. See here for a short introduction. $\endgroup$ – Raphael Sep 27 '17 at 17:07
  • 1
    $\begingroup$ You can try proving the claim and see how it goes. $\endgroup$ – Raphael Sep 27 '17 at 17:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.