Re: Find the type



Rick Decker wrote:
Ravi wrote:
What is the type of following grammar:
S -> aXY
XY -> a
X -> b
Y -> Xb


It's an unrestricted (Chomsky type 0) grammar. However, since the
language it generates is finite, we can find an equivalent
regular grammar:

S -> a | abbb


Oops. That, of course, should be aa | abbb. It's easy to find a
right-linear grammar for this language.


Regards,

Rick
.



Relevant Pages

  • Re: Find the type
    ... Ravi wrote: ... S -> aXY ... language it generates is finite, ...
    (comp.theory)
  • Re: Cranks and errors
    ... I've given you all you need to know that with a language with '+' and ...
    (sci.logic)
  • Re: Cranks and errors
    ... I've given you all you need to know that with a language with '+' and ...
    (sci.logic)
  • Re: Cranks and errors
    ... I've given you all you need to know that with a language with '+' and ...
    (sci.logic)