let G=(V,T,S,P) where V={a,b,A,B,S}, T={a,b},S the start symbol and P={S->Aba, A->BB, B->ab,AB->b} 1.show the derivation sentence for the string ababba
2. find a sentential form from this grammar

Posted Date: 10/27/2012 9:27:30 PM | Location : United States

Ask an Expert

Related Discussions:- automaton theory, Assignment Help, Ask Question on automaton theory, Get Answer, Expert's Help, automaton theory Discussions

Write discussion on automaton theory
Your posts are moderated

Write your message here..

Related Questions

Regular expression, what is regular expression? what is regular expression?

Path function of a nfa, The path function δ : Q × Σ* → P(Q) is the extensio... The path function δ : Q × Σ* → P(Q) is the extension of δ to strings: This just says that the path labeled ε from any given state q goes only to q itself (or rather never l

Computation of an automaton, The computation of an SL 2 automaton A = ( Σ,... The computation of an SL 2 automaton A = ( Σ, T) on a string w is the maximal sequence of IDs in which each sequential pair of IDs is related by |- A and which starts with the in

Class of local languages is not closed under union, Both L 1 and L 2 are ... Both L 1 and L 2 are SL 2 . (You should verify this by thinking about what the automata look like.) We claim that L 1 ∪ L 2 ∈ SL 2 . To see this, suppose, by way of con

Bonds, . On July 1, 2010, Harris Co. issued 6,000 bonds at $1,000 each. The... . On July 1, 2010, Harris Co. issued 6,000 bonds at $1,000 each. The bonds paid interest semiannually at 5%. The bonds had a term of 20 years. At the time of issuance, the market r

Exhaustive search, A problem is said to be unsolvable if no algorithm can s... A problem is said to be unsolvable if no algorithm can solve it. The problem is said to be undecidable if it is a decision problem and no algorithm can decide it. It should be note

A composable-reset DFA (CR-DFA) is a five-tuple, Question 2 (10 pt): In thi... Question 2 (10 pt): In this question we look at an extension to DFAs. A composable-reset DFA (CR-DFA) is a five-tuple, (Q,S,d,q0,F) where: – Q is the set of states, – S is the alph

Project Management at the Phoenician, Ask question #Minimum 20 words accept... Ask question #Minimum 20 words accepted#

How to solve the checking problem, The objective of the remainder of this a... The objective of the remainder of this assignment is to get you thinking about the problem of recognizing strings given various restrictions to your model of computation. We will w

Pumping lemma constant, a) Let n be the pumping lemma constant. Then if L i... a) Let n be the pumping lemma constant. Then if L is regular, PL implies that s can be decomposed into xyz, |y| > 0, |xy| ≤n, such that xy i z is in L for all i ≥0. Since the le