- A Turing Machine cannot solve halting problem.
- Set of Recursive Enumerable languages are closed under union.
- Context Sensitive grammar can be recognized by a linearly bounded memory machine.
- Recursive Languages are closed under union.
- If a Language & its complement is both regular, then the language must be recursive.
- A Language is accepted by Finite Automata if and only if it is recursive.
- Every recursive language is recursively enumerable.
- A language is accepted by FA iff it is context free.
- A language is accepted by FA iff it is right linear.
- Any regular language has an equivalent CFG.
- Recursively enumerable languages are closed – a) complementation, b) Union, but not closed under intersection.
- The regular sets are closed under a) union, b) concatenation, c) kleene’s closure, d) intersection
- The class of regular sets is closed under homomorphism.
- Context Sensitive Grammar can be recognized by FSM.
- The intersection of Context Free Language & Regular Language is always Context free.
- Any regular language has an equivalent context free grammar.
- Some non – regular languages can’t be generated by any context free grammar.
- The intersection of context free language is always context free.
- The Language constructs which are most useful in describing nested structures such as balanced parenthesis. ----- Context free grammar
- Context –sensitive is most general phase – structure grammar.
Pages
▼
No comments:
Post a Comment