1 votes 1 votes Given grammar G, where e is epsilon,S,A are Non terminal. G:- S->aSb | e | aA Is aA a sentential form? Theory of Computation theory-of-computation + – rahul sharma 5 asked Aug 4, 2017 • edited Aug 4, 2017 by rahul sharma 5 rahul sharma 5 1.4k views answer comment Share Follow See all 5 Comments See all 5 5 Comments reply Show 2 previous comments just_bhavana commented Aug 4, 2017 reply Follow Share Yes yes it is. Anything that can be derived from start symbol is a sentential form. 0 votes 0 votes rahul sharma 5 commented Aug 4, 2017 reply Follow Share But aA will not come in any derivation of string 0 votes 0 votes just_bhavana commented Aug 4, 2017 reply Follow Share Okay so the production S $\rightarrow$ aA is redundant here, so it won't come in any derivation and hence it is not a sentential form! Sorry my bad! 0 votes 0 votes Please log in or register to add a comment.