From 167a2d3d751ed53dcc4a27a8aa83f5b803877a82 Mon Sep 17 00:00:00 2001 From: Yorick Barbanneau Date: Tue, 7 Feb 2023 23:55:38 +0100 Subject: [PATCH] some corrections --- content/conception_formelle/2_verification/index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/content/conception_formelle/2_verification/index.md b/content/conception_formelle/2_verification/index.md index af87a7e..93f43ae 100644 --- a/content/conception_formelle/2_verification/index.md +++ b/content/conception_formelle/2_verification/index.md @@ -167,13 +167,13 @@ Nous avons ensuite les *sets de **tout*** : Les sets d'états initiaux: `initial` -Et un ensemble de transitions " `self`, `epsilon`, `self-epsilon` : boucles sur +Et un ensemble de transitions `self`, `epsilon`, `self-epsilon` : boucles sur les états. -Il est possible de calcules des expressions élémentaires via des variables, par +Il est possible de calculer des expressions élémentaires via des variables, par exemple: -\\([ s%2 = 0 ]\\) +\\([ s \\% 2 = 0 ]\\) Permet de trouver les états pairs.