Ticker

6/recent/ticker-posts
Showing posts with the label TOCShow all
Turing machine for a^nb^nc^n
Regular expression (b(a+b)*) accept by dfa C code
Dfa that accept regular expression (a*b) C code
Dfa that accept a regular expression  (a+ )  C code
 Dfa that accept a regular expression  (aa*b )  C code
Dfa that accepts string on {0,1} if and only if the value of string interpreted as a binary representation of an integer is divisible by 2 C code.
2PDA that accept a language {L=a^nb^nc^n where n>0}C code
Pushdown automata(pda) that accept a language a^nb^2n(L=a^nb^2n where n>0)  c code
 Pushdownautomata(PDA) that accept a language L={WcW^r)where W={a,b} C code
Pushdown automata(PDA) that accept language L={a^nb^m|n,m>0 and n!=m}
C code of DFA that accept a string that  end with 1.
C code of DFA that accept a string that have  start with 1.
C code of DFA that accept a string that have  consecutive 11 as substring.
Deterministic finite automata(DFA) simulation in C code(C code of DFA that accept a string that have atleast one 1 )
Rice Theorem in Theory of computation
Modification of Turing Machine
Decidability and Undecidability
Normal form for context free grammar AND CNF and GNF
Post correspondence problem(pcp) undecidable problem of Turing Machine
Chomsky hierarchy