2 votes 2 votes Which grammar is used for type checking? reena_kandari asked Jan 2, 2017 reena_kandari 626 views answer comment Share Follow See all 3 Comments See all 3 3 Comments reply santhoshdevulapally commented Jan 2, 2017 reply Follow Share for type checking we use context sensitive grammars,but implementation of LBA for CSl is not possible. so we use syntax directed translations 2 votes 2 votes reena_kandari commented Jan 2, 2017 reply Follow Share LBA is corresponding state machine for CSL then how it is impossible?I am not getting this point please explain? 1 votes 1 votes santhoshdevulapally commented Jan 2, 2017 reply Follow Share we dont know how to draw LBA for CSL's. we know only FA,PDA,TM but not LBA 1 votes 1 votes Please log in or register to add a comment.