Arden''s theorem,

Constract Context free, constract context free g ={ a^n b^m : m,n >=0 and n...

constract context free g ={ a^n b^m : m,n >=0 and n

Formal language theory, This was one of the ?rst substantial theorems of Fo...

This was one of the ?rst substantial theorems of Formal Language Theory. It's maybe not too surprising to us, as we have already seen a similar equivalence between LTO and SF. But

Ogdens lemma, proof ogdens lemma .with example i am not able to undestand ...

proof ogdens lemma .with example i am not able to undestand the meaning of distinguished position .

Finite automata, design an automata for strings having exactly four 1''s

design an automata for strings having exactly four 1''s

Turing machine, prove following function is turing computable? f(m)={m-2,if...

prove following function is turing computable? f(m)={m-2,if m>2, {1,if

Algorithm for the universal recognition problem, Sketch an algorithm for th...

Sketch an algorithm for the universal recognition problem for SL 2 . This takes an automaton and a string and returns TRUE if the string is accepted by the automaton, FALSE otherwi

Dddddddddddddd, wwwwwwwwwwwwwwwwwwww

wwwwwwwwwwwwwwwwwwww

Chomsky normal form, s-> AACD A-> aAb/e C->aC/a D-> aDa/bDb/e

s-> AACD A-> aAb/e C->aC/a D-> aDa/bDb/e

Project, can you plz help with some project ideas relatede to DFA or NFA or...

can you plz help with some project ideas relatede to DFA or NFA or anything