in Theory of Computation
624 views
2 votes
2 votes
Which grammar is used for type checking?
in Theory of Computation
624 views

3 Comments

for type checking we use context sensitive grammars,but implementation of LBA for CSl is not possible.

so we use syntax directed translations
2
2
LBA is corresponding state machine for CSL then how it is impossible?I am not getting this point please explain?
1
1
we dont know how to draw LBA for CSL's.
we know only FA,PDA,TM but not LBA
1
1

Please log in or register to answer this question.