ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

25 results

nptelhrd
Mod-01 Lec-30 More decision problems. CYK algorithm for membership decision.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

53:17
Mod-01 Lec-30 More decision problems. CYK algorithm for membership decision.

9,820 views

11 years ago

Subhajit Sahu
John Cocke | Wikipedia audio article

He is one of the inventors of the CYK algorithm (C for Cocke). He was also involved in the pioneering speech recognition and ...

2:24
John Cocke | Wikipedia audio article

13 views

7 years ago

nptelhrd
Mod-01 Lec-24 Simplification of cfgs continued, Removal of epsilon productions

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

1:07:16
Mod-01 Lec-24 Simplification of cfgs continued, Removal of epsilon productions

8,902 views

11 years ago

Rolando Coto
Parsing: Context-Free Grammar Rules (Accelerated Computational Linguistics 2020.W07.02)

Accelerated Computational Linguistics Dartmouth College LING48/COSC72 Spring 2020. Week 07, Video 02: Parsing: ...

10:46
Parsing: Context-Free Grammar Rules (Accelerated Computational Linguistics 2020.W07.02)

235 views

5 years ago

nptelhrd
Mod-01 Lec-15 Decision problems for regular languages.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

55:30
Mod-01 Lec-15 Decision problems for regular languages.

12,323 views

11 years ago

nptelhrd
Mod-01 Lec-05 DFAs solve set membership problems in linear time, pumping lemma.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

55:20
Mod-01 Lec-05 DFAs solve set membership problems in linear time, pumping lemma.

32,431 views

11 years ago

nptelhrd
Mod-01 Lec-13 Closure properties continued.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

1:01:07
Mod-01 Lec-13 Closure properties continued.

10,634 views

11 years ago

nptelhrd
Mod-01 Lec-23 Towards Chomsky normal forms: elimination of useless symbols

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

55:26
Mod-01 Lec-23 Towards Chomsky normal forms: elimination of useless symbols

12,966 views

11 years ago

nptelhrd
Mod-01 Lec-09 'Guess and verify' paradigm for nondeterminism.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

53:50
Mod-01 Lec-09 'Guess and verify' paradigm for nondeterminism.

12,361 views

11 years ago

nptelhrd
Mod-01 Lec-37 Notion of non-acceptance or rejection of a string by a TM. Multitrack TM

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

58:37
Mod-01 Lec-37 Notion of non-acceptance or rejection of a string by a TM. Multitrack TM

8,575 views

11 years ago

nptelhrd
Mod-01 Lec-40 TMs can simulate computers, diagonalization proof.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

58:41
Mod-01 Lec-40 TMs can simulate computers, diagonalization proof.

8,104 views

11 years ago

Bibliothèques UdeM
Exploiter le thésaurus dans MLA

Le thésaurus des sujets permet une recherche uniforme et précise, voici comment l'utiliser.

6:37
Exploiter le thésaurus dans MLA

598 views

3 years ago

iMooX at
[LuL1] Computational Thinking 02 Algorithmisches Denken

Dies ist ein Video des Kurses "Lehren und Lernen mit digitalen Medien I" unter "https://imoox.at/course/luliss21" Die vollständige ...

3:31
[LuL1] Computational Thinking 02 Algorithmisches Denken

4,606 views

6 years ago

nptelhrd
Mod-01 Lec-42 Separation of recursive and r.e. classes, halting problem and its undecidability.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

1:03:00
Mod-01 Lec-42 Separation of recursive and r.e. classes, halting problem and its undecidability.

10,134 views

11 years ago

nptelhrd
Mod-01 Lec-16 About minimization of states of DFAs. Myhill-Nerode theorem.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

49:00
Mod-01 Lec-16 About minimization of states of DFAs. Myhill-Nerode theorem.

14,907 views

11 years ago

nptelhrd
Mod-03 Lec-10 Syntax Analysis: Context-free Grammars, Pushdown Automata and Parsing Part - 6

Principles of Compiler Design by Prof. Y.N. Srikanth,Department of Computer Science and Engineering,IISc Bangalore.For more ...

56:46
Mod-03 Lec-10 Syntax Analysis: Context-free Grammars, Pushdown Automata and Parsing Part - 6

4,760 views

11 years ago

nptelhrd
Mod-01 Lec-36 Example continued. Finiteness of TM description

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

46:22
Mod-01 Lec-36 Example continued. Finiteness of TM description

9,734 views

11 years ago

nptelhrd
Mod-01 Lec-07 A generalization of pumping lemma, nondeterministic finite automata (NFAs)

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

1:01:34
Mod-01 Lec-07 A generalization of pumping lemma, nondeterministic finite automata (NFAs)

20,119 views

11 years ago

NPTEL-NOC IITM
CBOW and Skip Gram Models
14:02
CBOW and Skip Gram Models

3,098 views

6 years ago

nptelhrd
Mod-01 Lec-29 Another example of a cfl whose complement is not a cfl. Decision problems for cfls.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

45:30
Mod-01 Lec-29 Another example of a cfl whose complement is not a cfl. Decision problems for cfls.

6,451 views

11 years ago