Skip to main content
 logo
  • Home
  • Classrooms
  • Quiz
  • Blog
  • More
    • Reach us
      • Contact Us
      • Internship
    • About
      • About Techtud
Theory of Computation
  • Introduction
    • What is Theory of Computation
    • Basic Terms
      • Alphabet
      • String
      • Language
      • Kleene Star
      • Kleene Closure/Plus
  • Automata
    • Deterministic Finite Automata
    • Non Deterministic Finite Automata(NFA)
    • DFA Vs. NDFA
    • NFA to DFA Coversiation
    • DFA Minimization
  • Classification of Grammar
    • Introduction
    • Language Generated by Grammar
    • Chomsky Classification of Grammar
  • Regular Languages
    • Closure Properties of Regular Language
    • Regular Expressions
      • NFA for a Regular Expression
      • Regular Expression for an NFA
    • Pumping Lemma for Regular Languages
  • Context Free Languages
    • Context Free Grammars
    • Pumping Lemma for CFLs
    • Push Down Automata
  • Context Sensitive Languages
    • Context Sensitive Grammars
    • Linear Bounded Automata for CFLs
  • Turing Machines
    • Automata for Turing Machines
    • Church Turing Thesis
    • The Chomsky Hierarchy
    • The Machine
    • Types of Turing Machines
    • Unrestricted Grammars
  • Decidability
  • Notes
  • Video
  • Example
  • Resource
  • Doubts
  • Quiz
Previous
Next
  • techtud @techtud  added a Short note
    7 Jun 2019
Unrestricted Grammer

A grammer is called un restricted if all the production are of the form u--->v where u is in (v ∪ T)+

                     v is in (v ∪ T)*

v is a varible  and T is a terminal

 

Example: what language does the fiolloing unrestricted grammer derive.

S--->S1B
S1--->aS1b
bB--->bbbB
aS1b--->aa
B--->λ

Sol: S--->S1B
S--->aS1bB
S--->aaB
S--->aa

S--->S1B
S--->aS1bB
S--->aS1bbbB
S--->aabbbB
S--->aabbb

L={ an+1bn+k ,n>=1 k=-1,1,3,5.......}

0Comment
up
0 like

Quick Links

  • Terms and Services

About

  • About Techtud

Reach us

  • Contact Us
  • Join Us

Media Coverage

TOI
YS
BS

Subscribe

Proudly supported by OpenSense Labs