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,903 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)

237 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,437 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-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

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

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,607 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,135 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,735 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,123 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,909 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