ViewTube

ViewTube
Sign inSign up

Info

Stats

Joined Invalid Date
0 total views
Popular videos
Informatique Théorique
Automates finis (définition)
00:02:28
Automates finis (définition)

94,927 views

5 years ago

Informatique Théorique
Deterministic finite automata
00:02:46
Deterministic finite automata

86,263 views

5 years ago

Informatique Théorique
Introduction aux réseaux de Petri (Réseaux de Petri partie 1)
00:05:04
Introduction aux réseaux de Petri (Réseaux de Petri partie 1)

60,914 views

5 years ago

Informatique Théorique
Mots et langage reconnus par un automate fini
00:10:08
Mots et langage reconnus par un automate fini

56,744 views

5 years ago

Informatique Théorique
Comprendre les machines de Turing déterministes
00:10:18
Comprendre les machines de Turing déterministes

55,831 views

5 years ago

Informatique Théorique
Understanding battery-powered automata
00:05:07
Understanding battery-powered automata

42,941 views

4 years ago

Informatique Théorique
Introduction to algebraic grammars (context-free)
00:06:47
Introduction to algebraic grammars (context-free)

42,797 views

4 years ago

Informatique Théorique
From a regular expression to a finite automaton: approach by epsilon transitions (Thompson)
00:04:14
From a regular expression to a finite automaton: approach by epsilon transitions (Thompson)

40,585 views

3 years ago

Informatique Théorique
Comprendre la déterminisation d'un automate fini (didacticiel)
00:10:28
Comprendre la déterminisation d'un automate fini (didacticiel)

38,464 views

5 years ago

Informatique Théorique
Understanding the star lemma (also called the pumping lemma)
00:09:20
Understanding the star lemma (also called the pumping lemma)

38,391 views

5 years ago

Informatique Théorique
Understanding the minimization of a deterministic automaton (DFA).
00:12:42
Understanding the minimization of a deterministic automaton (DFA).

36,103 views

4 years ago

Informatique Théorique
Élimination des epsilon transitions (transitions spontanées), automates asynchrones (didacticiel)
00:11:00
Élimination des epsilon transitions (transitions spontanées), automates asynchrones (didacticiel)

32,509 views

5 years ago

Réseaux de Petri
Informatique Théorique
Introduction aux réseaux de Petri (Réseaux de Petri partie 1)
00:05:04
Introduction aux réseaux de Petri (Réseaux de Petri partie 1)

60,914 views

5 years ago

Informatique Théorique
Notions de prédécesseur et successeur dans les réseaux de Petri (Réseaux de Perti partie 2)
00:03:44
Notions de prédécesseur et successeur dans les réseaux de Petri (Réseaux de Perti partie 2)

25,457 views

5 years ago

Informatique Théorique
Consecutive Markings and Accessible Markings in Petri Nets (Petri Nets Part 3)
00:03:07
Consecutive Markings and Accessible Markings in Petri Nets (Petri Nets Part 3)

22,256 views

5 years ago

Informatique Théorique
Graphe d'accessibilité d'un réseau de Petri (Réseau de Petri partie 4)
00:02:20
Graphe d'accessibilité d'un réseau de Petri (Réseau de Petri partie 4)

21,362 views

5 years ago

Informatique Théorique
Codage (simple) d'un feu tricolore en Réseau de Petri (Réseau de Petri exemple 1)
00:02:19
Codage (simple) d'un feu tricolore en Réseau de Petri (Réseau de Petri exemple 1)

17,808 views

5 years ago

Informatique Théorique
Le dîner des philosophes codé par un réseau de Petri (réseau de Petri exemple 2)
00:05:00
Le dîner des philosophes codé par un réseau de Petri (réseau de Petri exemple 2)

16,442 views

5 years ago

Informatique Théorique
Modeling the Goat, Cabbage and Wolf problem using a Petri net (example 3)
00:03:51
Modeling the Goat, Cabbage and Wolf problem using a Petri net (example 3)

12,314 views

5 years ago

Informatique Théorique
Incidence matrix of a Petri net
00:08:24
Incidence matrix of a Petri net

19,460 views

4 years ago

Informatique Théorique
Comprendre la notion d'invariants de places (P-invariants) dans un réseau de Petri
00:08:00
Comprendre la notion d'invariants de places (P-invariants) dans un réseau de Petri

15,784 views

4 years ago

Informatique Théorique
Petri net: State graphs and their link to finite automata (regular languages)
00:02:51
Petri net: State graphs and their link to finite automata (regular languages)

7,937 views

4 years ago

Informatique Théorique
Coverage in Petri nets
00:03:10
Coverage in Petri nets

7,753 views

4 years ago

Informatique Théorique
Omega marquages dans les réseaux de Petri (définition, couverture)
00:03:03
Omega marquages dans les réseaux de Petri (définition, couverture)

4,904 views

3 years ago

Langages algébriques
Informatique Théorique
Introduction to algebraic grammars (context-free)
00:06:47
Introduction to algebraic grammars (context-free)

42,797 views

4 years ago

Informatique Théorique
Algebraic grammars: left-right derivations, recognized language
00:10:37
Algebraic grammars: left-right derivations, recognized language

24,517 views

4 years ago

Informatique Théorique
Understanding linear algebraic grammars (also called regular)
00:08:21
Understanding linear algebraic grammars (also called regular)

15,744 views

4 years ago

Informatique Théorique
Arbre de dérivation pour les grammaires algébriques (hors contexte)
00:05:43
Arbre de dérivation pour les grammaires algébriques (hors contexte)

19,130 views

4 years ago

Informatique Théorique
Understanding the concept of ambiguity for algebraic grammars. Syntactic ambiguity.
00:03:08
Understanding the concept of ambiguity for algebraic grammars. Syntactic ambiguity.

17,093 views

4 years ago

Informatique Théorique
Elimination of epsilon-productions (empty productions) in an algebraic grammar (tutorial)
00:06:52
Elimination of epsilon-productions (empty productions) in an algebraic grammar (tutorial)

13,057 views

4 years ago

Informatique Théorique
Stack-operated automata: definition, configurations, recognized words and languages
00:10:55
Stack-operated automata: definition, configurations, recognized words and languages

21,230 views

4 years ago

Informatique Théorique
Deterministic pushdown automata
00:05:26
Deterministic pushdown automata

12,661 views

4 years ago

Informatique Théorique
Understanding battery-powered automata
00:05:07
Understanding battery-powered automata

42,941 views

4 years ago

Automates
Informatique Théorique
Automates finis (définition)
00:02:28
Automates finis (définition)

94,927 views

5 years ago

Informatique Théorique
Deterministic finite automata
00:02:46
Deterministic finite automata

86,263 views

5 years ago

Informatique Théorique
Mots et langage reconnus par un automate fini
00:10:08
Mots et langage reconnus par un automate fini

56,744 views

5 years ago

Informatique Théorique
Pruned automatons, accessible state, co-accessible state
00:03:56
Pruned automatons, accessible state, co-accessible state

19,811 views

5 years ago

Informatique Théorique
Automates finis complets, complétion d'un automate
00:03:27
Automates finis complets, complétion d'un automate

30,775 views

5 years ago

Informatique Théorique
How to Calculate the Complement of a Regular Language (Tutorial)
00:03:28
How to Calculate the Complement of a Regular Language (Tutorial)

28,391 views

5 years ago

Informatique Théorique
Comprendre la déterminisation d'un automate fini (didacticiel)
00:10:28
Comprendre la déterminisation d'un automate fini (didacticiel)

38,464 views

5 years ago

Informatique Théorique
Monoïde libre et morphismes de monoïdes
00:04:40
Monoïde libre et morphismes de monoïdes

7,216 views

5 years ago

Informatique Théorique
Comprendre la reconnaissance d'un langage régulier par morphisme et monoïde (fini)
00:11:55
Comprendre la reconnaissance d'un langage régulier par morphisme et monoïde (fini)

7,255 views

5 years ago

Informatique Théorique
Quotients (gauches ou droits) d'un langage, appelés aussi résiduels
00:05:10
Quotients (gauches ou droits) d'un langage, appelés aussi résiduels

6,789 views

5 years ago

Informatique Théorique
Understanding the minimization of a deterministic automaton (DFA).
00:12:42
Understanding the minimization of a deterministic automaton (DFA).

36,103 views

4 years ago

Informatique Théorique
Equivalence et théorème de Myhill - Nerode (et liens langages réguliers - résiduels - quotients)
00:10:18
Equivalence et théorème de Myhill - Nerode (et liens langages réguliers - résiduels - quotients)

7,008 views

5 years ago

MP2I -- MPI

Calculabilité
Informatique Théorique
Comprendre les machines de Turing déterministes
00:10:18
Comprendre les machines de Turing déterministes

55,831 views

5 years ago

Informatique Théorique
Deterministic Turing machines (part 2): notations.
00:04:14
Deterministic Turing machines (part 2): notations.

9,922 views

5 years ago

Informatique Théorique
Deterministic Turing machines (part 3): configuration, computations, accepted words, chosen language
00:08:59
Deterministic Turing machines (part 3): configuration, computations, accepted words, chosen language

9,375 views

5 years ago

Informatique Théorique
Introduction à l'utilisation de SAT-solvers (SAT solver partie 1)
00:10:45
Introduction à l'utilisation de SAT-solvers (SAT solver partie 1)

5,824 views

5 years ago

Informatique Théorique
Codage SAT (SAT solvers, partie 2, exemple des dames)
00:14:59
Codage SAT (SAT solvers, partie 2, exemple des dames)

3,515 views

5 years ago

Informatique Théorique
Introduction au lien entre théorie des langages et calculabilité
00:08:11
Introduction au lien entre théorie des langages et calculabilité

2,401 views

4 years ago

Informatique Théorique
Comprendre les machines de Turing non déterministes
00:08:11
Comprendre les machines de Turing non déterministes

6,206 views

4 years ago

Informatique Théorique
Time complexity of deterministic Turing machines. Class P (polynomial in time).
00:06:49
Time complexity of deterministic Turing machines. Class P (polynomial in time).

2,436 views

4 years ago

Informatique Théorique
Complexité en temps des machines de Turing non déterministes, Classe NP
00:07:40
Complexité en temps des machines de Turing non déterministes, Classe NP

1,615 views

4 years ago

Informatique Théorique
Certificates in computability and NP class
00:09:20
Certificates in computability and NP class

3,811 views

4 years ago

Informatique Théorique
Théorème de Cook-Levin (SAT est NP-complet) avec éléments de preuve
00:20:04
Théorème de Cook-Levin (SAT est NP-complet) avec éléments de preuve

5,159 views

4 years ago

Informatique Théorique
Problème de couverture par des ensembles -- SetCover
00:04:03
Problème de couverture par des ensembles -- SetCover

1,717 views

2 years ago

Théorie des langages et des machines à états

Autres

Videos
Informatique Théorique
Algorithme CVM : compter avec unicité les éléments d'un liste (à peu près)
00:10:11
Algorithme CVM : compter avec unicité les éléments d'un liste (à peu près)

183 views

2 months ago

Informatique Théorique
Dynamic programming example: optimal cutting of a cable
00:08:28
Dynamic programming example: optimal cutting of a cable

1,014 views

10 months ago

Informatique Théorique
Introduction to dynamic programming and memoization
00:13:14
Introduction to dynamic programming and memoization

4,049 views

10 months ago

Informatique Théorique
Understanding the Merge Sort
00:05:06
Understanding the Merge Sort

2,860 views

11 months ago

Informatique Théorique
Example of open addressing: sets in Python
00:10:14
Example of open addressing: sets in Python

341 views

1 year ago

Informatique Théorique
Understanding open addressing in hash tables
00:11:03
Understanding open addressing in hash tables

1,026 views

1 year ago

Informatique Théorique
Introduction to chaining in hash tables
00:05:46
Introduction to chaining in hash tables

753 views

1 year ago

Informatique Théorique
Introduction aux tables de hachage
00:06:41
Introduction aux tables de hachage

1,329 views

1 year ago

Informatique Théorique
Comprendre le "Master Theorem"
00:08:00
Comprendre le "Master Theorem"

5,309 views

1 year ago

Informatique Théorique
Karatsuba Algorithm
00:06:21
Karatsuba Algorithm

1,607 views

1 year ago

Informatique Théorique
Exercice corrigé d'algorithmique : les oeufs de dinosaures
00:08:15
Exercice corrigé d'algorithmique : les oeufs de dinosaures

758 views

1 year ago

Informatique Théorique
Comprendre le tri comptage
00:07:23
Comprendre le tri comptage

2,223 views

1 year ago