this repo has no description
Continue rapport
+10
-7
+10
-7
rapport/context.typ
+10
-7
rapport/context.typ
···
39
39
table(
40
40
columns: (1fr, 1fr),
41
41
align: left,
42
-
[*État courant* $(x, "retour")$], [*Action à effectuer* $x <- n$],
42
+
[*État courant* $(x, "retour")$], [*Action à effectuer* +1 ou -1],
43
43
// [ $(0, "C'est moins")$ ], if filled { [ aucune ] } else { [] },
44
44
[ $(0, "C'est plus")$ ], if filled { [ $x <- 1$ ] } else { [] },
45
45
// [ $(1, "C'est moins")$ ], if filled { [ $x <- 0$ ] } else { [] },
46
46
[ $(1, "C'est plus")$ ], if filled { [ $x <- 2$ ] } else { [] },
47
47
// [ $(2, "C'est moins")$ ], if filled { [ $x <- 1$ ] } else { [] },
48
+
[ $(3, "C'est moins")$ ], if filled { [ $x <- 2$ ] } else { [] },
49
+
[ $(4, "C'est moins")$ ], if filled { [ $x <- 3$ ] } else { [] },
50
+
[ $(5, "C'est moins")$ ], if filled { [ $x <- 1$ ] } else { [] },
48
51
// [ $(2, "C'est plus")$ ], if filled { [ aucune ] } else { [] }
49
52
),
50
53
caption: caption
···
56
59
57
60
#exhaustive_memory_table(filled: true)[ Entraînement terminé ]
58
61
59
-
Ici, cette approche exhaustive suffit parce que l'ensemble des états possibles de l'environnement, $E$, posssède 6 éléments:
62
+
Ici, cette approche exhaustive suffit parce que l'ensemble des états possibles de l'environnement, $E$, posssède 6 éléments//:
60
63
61
-
$
62
-
"card" E &= "card" ( { "C'est plus", "C'est moins" } times { 0, 1, 2 } ) \
63
-
&= "card" { "C'est plus", "C'est moins" } dot "card" { 0, 1, 2 } \
64
-
&= 2 dot 3 = 6
65
-
$
64
+
// $
65
+
// "card" E &= "card" ( { "C'est plus", "C'est moins" } times { 0, 1, 2 } ) \
66
+
// &= "card" { "C'est plus", "C'est moins" } dot "card" { 0, 1, 2 } \
67
+
// &= 2 dot 3 = 6
68
+
// $
66
69
67
70
Cependant, ces ensembles sont bien souvent prohibitivement grands (e.g. $n in [| 0, 10^34 |]$), infinis ($n in NN$) ou indénombrables ($n in RR$)
68
71
rapport/main.pdf
rapport/main.pdf
This is a binary file and will not be displayed.