TY - DATA AU - "Krithivasan, Kamala" TI - "Theory of Automata, Formal Languages and Computation:": "Rice's Thorem, Linear Bounded Automata, Properties of TM" CY - Madras PB - Indian Insitiute of Technology KW - "Rice's Thorem, Linear Bounded Automata, Properties of TM" KW - "Theory of Automata, Formal Languages and Computation" KW - Computer Science and Engineering KW - IIT Madras KW - NPTEL KW - Prof. Kamala Krithivasan UR - "http://video.snu.edu.in/index.php?id=7527&cat=Computer Science and Engineering&course=Theory of Automata, Formal Languages and Computation&url=Phase2_Video/106106049/mod06lec32.mp4" ER -