Deprecated: Calling get_class() without arguments is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/model/dataobjects/_dataobjectcache.class.php on line 234
Deprecated: Creation of dynamic property FiletypeCache::$mimetype_cache is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/files/model/_filetypecache.class.php on line 71
Deprecated: Creation of dynamic property calendar_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property calendar_plugin::$dbtable is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 53
Deprecated: Creation of dynamic property calendar_plugin::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 54
Deprecated: Creation of dynamic property calendar_plugin::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 55
Deprecated: Calling get_class() without arguments is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/model/dataobjects/_dataobjectcache.class.php on line 248
Deprecated: Calling get_class() without arguments is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/model/dataobjects/_dataobjectcache.class.php on line 248
Deprecated: Creation of dynamic property Calendar::$dbtable is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 508
Deprecated: Creation of dynamic property Calendar::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 509
Deprecated: Creation of dynamic property Calendar::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 510
Deprecated: Creation of dynamic property ItemQuery::$dbtablename is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 78
Deprecated: Creation of dynamic property ItemQuery::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 79
Deprecated: Creation of dynamic property ItemQuery::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 80
Deprecated: Creation of dynamic property Calendar::$ItemQuery is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 518
Deprecated: Creation of dynamic property Calendar::$linkpostcellstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 589
Deprecated: Creation of dynamic property Calendar::$linkposttodaycellstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 590
Deprecated: Creation of dynamic property Calendar::$todaycellstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 591
Deprecated: Creation of dynamic property Calendar::$todaycellstartpost is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 592
Deprecated: Creation of dynamic property Calendar::$postcount_month_atitle is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 606
Deprecated: Creation of dynamic property Calendar::$postcount_month_atitle_one is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 607
Deprecated: Creation of dynamic property Calendar::$postcount_year_atitle is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 608
Deprecated: Creation of dynamic property Calendar::$postcount_year_atitle_one is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 609
Deprecated: Calling get_class() without arguments is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/model/dataobjects/_dataobjectcache.class.php on line 248
Deprecated: Calling get_class() without arguments is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/model/dataobjects/_dataobjectcache.class.php on line 248
Deprecated: Calling get_class() without arguments is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/model/dataobjects/_dataobjectcache.class.php on line 281
Deprecated: Creation of dynamic property Form::$form_name is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 146
Deprecated: Creation of dynamic property Form::$form_action is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 147
Deprecated: Creation of dynamic property Form::$form_method is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 148
Deprecated: Creation of dynamic property Form::$enctype is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 149
Deprecated: Creation of dynamic property Form::$layout is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 279
Deprecated: Creation of dynamic property Form::$template is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 283
Deprecated: Creation of dynamic property Form::$formclass is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 284
Deprecated: Creation of dynamic property Form::$formstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 285
Deprecated: Creation of dynamic property Form::$title_fmt is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 286
Deprecated: Creation of dynamic property Form::$no_title_fmt is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 287
Deprecated: Creation of dynamic property Form::$no_title_no_icons_fmt is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 288
Deprecated: Creation of dynamic property Form::$group_begin is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 289
Deprecated: Creation of dynamic property Form::$group_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 290
Deprecated: Creation of dynamic property Form::$fieldset_title is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 291
Deprecated: Creation of dynamic property Form::$fieldset_begin is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 292
Deprecated: Creation of dynamic property Form::$fieldset_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 293
Deprecated: Creation of dynamic property Form::$fieldstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 294
Deprecated: Creation of dynamic property Form::$labelclass is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 295
Deprecated: Creation of dynamic property Form::$labelstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 296
Deprecated: Creation of dynamic property Form::$labelend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 297
Deprecated: Creation of dynamic property Form::$labelempty is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 298
Deprecated: Creation of dynamic property Form::$inputstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 299
Deprecated: Creation of dynamic property Form::$inputend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 300
Deprecated: Creation of dynamic property Form::$infostart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 301
Deprecated: Creation of dynamic property Form::$infoend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 302
Deprecated: Creation of dynamic property Form::$fieldend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 303
Deprecated: Creation of dynamic property Form::$buttonsstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 304
Deprecated: Creation of dynamic property Form::$buttonsend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 305
Deprecated: Creation of dynamic property Form::$customstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 306
Deprecated: Creation of dynamic property Form::$customend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 307
Deprecated: Creation of dynamic property Form::$note_format is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 308
Deprecated: Creation of dynamic property Form::$bottom_note_format is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 309
Deprecated: Creation of dynamic property Form::$formend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 310
Deprecated: Creation of dynamic property Form::$fieldstart_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 336
Deprecated: Creation of dynamic property Form::$fieldend_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 337
Deprecated: Creation of dynamic property Form::$inputclass_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 338
Deprecated: Creation of dynamic property Form::$inputstart_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 339
Deprecated: Creation of dynamic property Form::$inputend_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 340
Deprecated: Creation of dynamic property Form::$checkbox_newline_start is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 341
Deprecated: Creation of dynamic property Form::$checkbox_newline_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 342
Deprecated: Creation of dynamic property Form::$checkbox_basic_start is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 343
Deprecated: Creation of dynamic property Form::$checkbox_basic_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 344
Deprecated: Creation of dynamic property Form::$fieldstart_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 346
Deprecated: Creation of dynamic property Form::$fieldend_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 347
Deprecated: Creation of dynamic property Form::$inputclass_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 348
Deprecated: Creation of dynamic property Form::$inputstart_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 349
Deprecated: Creation of dynamic property Form::$inputend_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 350
Deprecated: Creation of dynamic property Form::$radio_label_format is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 351
Deprecated: Creation of dynamic property Form::$radio_newline_start is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 352
Deprecated: Creation of dynamic property Form::$radio_newline_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 353
Deprecated: Creation of dynamic property Form::$radio_oneline_start is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 354
Deprecated: Creation of dynamic property Form::$radio_oneline_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 355
Deprecated: Calling get_class() without arguments is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/model/dataobjects/_dataobjectcache.class.php on line 248
Deprecated: Creation of dynamic property coll_category_list_Widget::$excluded_cat_IDs is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/widgets/widgets/_coll_category_list.widget.php on line 236
Deprecated: Creation of dynamic property ItemQuery::$dbtablename is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 78
Deprecated: Creation of dynamic property ItemQuery::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 79
Deprecated: Creation of dynamic property ItemQuery::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 80
Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 1418
Deprecated: Creation of dynamic property ItemLight::$objtype is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemlight.class.php on line 164
Deprecated: Creation of dynamic property ItemLight::$datestart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemlight.class.php on line 175
Deprecated: Creation of dynamic property FiletypeCache::$mimetype_cache is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/files/model/_filetypecache.class.php on line 71
Deprecated: strtotime(): Passing null to parameter #1 ($datetime) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/files/model/_file.class.php on line 1015
Random photo
 |
Et une erreur de plus, une !
Deprecated: Creation of dynamic property Item::$cache_has_content_parts is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_item.class.php on line 4911
Deprecated: Creation of dynamic property smilies_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property quicktags_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property archives_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property archives_plugin::$dbtable is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_archives.plugin.php on line 54
Deprecated: Creation of dynamic property archives_plugin::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_archives.plugin.php on line 55
Deprecated: Creation of dynamic property archives_plugin::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_archives.plugin.php on line 56
Deprecated: Creation of dynamic property email_elements_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property financial_contribution_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property ping_b2evonet_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property ping_pingomatic_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property auto_p_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property texturize_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property nofollow_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property content_blocks_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property Item::$renderers_validated is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_item.class.php on line 11107
Deprecated: Creation of dynamic property Item::$pages is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_item.class.php on line 2412
Il y a toujours une erreur de plus. Confiant, j'avais simplifié les quines et câblé le circuit. Tout fonctionnait normalement jusqu'au test de réallumage de la haute tension depuis la procédure d'extinction. Là, le circuit que j'avais câblé se met en défaut car l'état 4 (haute tension avec test de la présence de la haute tension) suit l'état 5 (haute tension coupée, tension de chauffage présente).
Le fonctionnement est pourtant celui du graphe. En effet, il faut laisser à la haute tension le temps de s'établir avant que le circuit puisse tester sa présence. En cas de réallumage, l'état 3, et non le 4, doit suivre le 5. Voici doncle graphe modifié :
Fig. 1 : dernière version de l'automate (la même chose en grand)
La nouvelle table de transition — et j'espère la dernière — est la suivante :
| Entrées |
États futurs et |
|||||||||||||||||||
| Q3 | Q2 | Q1 | Q0 | I | PBT | PHT | C15 | C255 | Q3 | Q2 | Q1 | Q0 | J3 | K3 | J2 | K2 | J1 | K1 | J0 | K0 |
| 0 | 0 | 0 | 0 | X | X | 0 | 0 | 0 | 0 | X | X | X | X | |||||||
| 0 | 0 | 0 | 0 | 1 | X | X | X | X | 0 | 0 | 0 | 1 | X | X | X | 1 | X | |||
| 0 | 0 | 0 | 0 | 1 | X | X | 0 | 1 | 1 | 0 | X | 1 | X | 1 | X | X | ||||
| 0 | 0 | 0 | 0 | 1 | X | X | 0 | 1 | 1 | 0 | X | 1 | X | 1 | X | X | ||||
| 0 | 0 | 0 | 0 | 1 | 1 | X | X | 0 | 1 | 1 | 0 | X | 1 | X | 1 | X | X | |||
| 0 | 0 | 0 | 1 | 1 | X | X | 0 | 0 | 0 | 1 | X | X | X | X | ||||||
| 0 | 0 | 0 | 1 | 1 | X | 1 | X | 0 | 1 | 1 | 1 | X | 1 | X | 1 | X | X | |||
| 0 | 0 | 0 | 1 | 1 | X | 1 | X | X | 0 | 1 | 1 | 1 | X | 1 | X | 1 | X | X | ||
| 0 | 0 | 0 | 1 | X | X | X | X | 1 | 0 | 0 | 1 | 1 | X | X | X | X | ||||
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | X | 0 | 0 | 1 | 0 | X | X | 1 | X | X | 1 | |||
| 0 | 0 | 1 | 0 | X | X | X | X | 1 | 0 | 0 | 1 | 1 | X | X | X | 1 | 1 | X | ||
| 0 | 0 | 1 | 0 | 1 | 1 | X | 0 | 0 | 1 | 0 | X | X | X | X | ||||||
| 0 | 0 | 1 | 0 | 1 | X | 1 | X | X | 0 | 1 | 1 | 1 | X | 1 | X | X | 1 | X | ||
| 0 | 0 | 1 | 0 | 1 | X | X | X | 0 | 1 | 1 | 1 | X | 1 | X | X | 1 | X | |||
| 0 | 0 | 1 | 0 | 1 | 1 | X | 1 | 0 | 0 | 1 | 1 | X | X | X | 1 | X | ||||
| 0 | 0 | 1 | 1 | X | 1 | X | X | 0 | 0 | 1 | 1 | X | X | X | X | |||||
| 0 | 0 | 1 | 1 | X | 1 | 1 | 1 | X | 0 | 1 | 0 | 0 | X | 1 | X | X | 1 | X | 1 | |
| 0 | 0 | 1 | 1 | X | X | X | X | 0 | 1 | 1 | 1 | X | 1 | X | X | X | ||||
| 0 | 0 | 1 | 1 | X | 1 | 1 | X | 0 | 1 | 1 | 1 | X | 1 | X | X | X | ||||
| 0 | 1 | 0 | 0 | 1 | 1 | 1 | X | X | 0 | 1 | 0 | 0 | X | X | X | X | ||||
| 0 | 1 | 0 | 0 | 1 | 1 | X | X | 0 | 1 | 1 | 1 | X | X | 1 | X | 1 | X | |||
| 0 | 1 | 0 | 0 | 1 | 1 | X | X | 0 | 1 | 1 | 1 | X | X | 1 | X | 1 | X | |||
| 0 | 1 | 0 | 0 | 1 | X | X | 0 | 1 | 1 | 1 | X | X | 1 | X | 1 | X | ||||
| 0 | 1 | 0 | 0 | X | X | X | X | 1 | 1 | 0 | 1 | 1 | X | X | X | 1 | X | |||
| 1 | 1 | 0 | 1 | X | 1 | X | X | 1 | 1 | 0 | 1 | X | X | X | X | |||||
| 1 | 1 | 0 | 1 | X | 1 | X | 1 | X | 0 | 1 | 0 | 1 | X | 1 | X | X | X | |||
| 1 | 1 | 0 | 1 | X | X | X | X | 0 | 1 | 1 | 0 | X | 1 | X | 1 | X | X | 1 | ||
| 0 | 1 | 0 | 1 | 1 | X | X | X | X | 0 | 0 | 1 | 1 | 0 | X | X | 1 | 1 | X | X | 0 |
| 0 | 1 | 0 | 1 | 1 | X | 0 | 1 | 0 | 1 | X | X | X | X | |||||||
| 0 | 1 | 0 | 1 | X | X | X | 0 | 1 | 1 | 0 | X | X | 1 | X | X | 1 | ||||
| 0 | 1 | 0 | 1 | 1 | 1 | X | X | 0 | 1 | 1 | 0 | X | X | 1 | X | X | 1 | |||
| 0 | 1 | 0 | 1 | 1 | X | 1 | 1 | 0 | 0 | 1 | 1 | X | X | 1 | X | X | ||||
| 1 | 0 | 0 | 1 | X | X | X | X | X | 1 | 0 | 0 | 0 | X | X | X | X | 1 | |||
| 1 | 0 | 0 | 0 | X | X | X | 1 | 0 | 0 | 0 | X | X | X | X | ||||||
| 1 | 0 | 0 | 0 | X | 1 | 1 | X | 0 | 1 | 1 | 0 | X | 1 | 1 | X | 1 | X | X | ||
| 1 | 0 | 0 | 0 | X | 1 | 1 | X | X | 0 | 1 | 1 | 0 | X | 1 | 1 | X | 1 | X | X | |
| 1 | 0 | 0 | 0 | X | 1 | X | X | 0 | 1 | 1 | 0 | X | 1 | 1 | X | 1 | X | X | ||
| 1 | 0 | 0 | 0 | X | 1 | X | 0 | 0 | 0 | 0 | X | 1 | X | X | X | |||||
| 0 | 1 | 1 | 0 | X | X | X | X | 0 | 1 | 1 | 0 | X | X | X | X | |||||
| 0 | 1 | 1 | 0 | 1 | X | X | X | X | 0 | 1 | 1 | 1 | X | X | X | 1 | X | |||
| 0 | 1 | 1 | 1 | X | X | X | X | 0 | 0 | 0 | 0 | X | X | 1 | X | 1 | X | 1 | ||
| 0 | 1 | 1 | 1 | 1 | X | X | X | X | 0 | 1 | 1 | 1 | X | X | X | X | ||||
Tab. 1 : transitions de l'automate
Aucun commentaire pour le moment
Deprecated: Creation of dynamic property CommentQuery::$dbtablename is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 57
Deprecated: Creation of dynamic property CommentQuery::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 58
Deprecated: Creation of dynamic property CommentQuery::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 59
Deprecated: Creation of dynamic property ItemQuery::$dbtablename is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 78
Deprecated: Creation of dynamic property ItemQuery::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 79
Deprecated: Creation of dynamic property ItemQuery::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 80
Deprecated: Creation of dynamic property CommentList2::$filterset_name is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentlist.class.php on line 87
Deprecated: preg_match(): Passing null to parameter #2 ($subject) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 1407
Deprecated: preg_match(): Passing null to parameter #2 ($subject) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 1407
Deprecated: Creation of dynamic property CommentList2::$query_is_initialized is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentlist.class.php on line 396
Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537
Deprecated: explode(): Passing null to parameter #2 ($string) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10542
Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537
Deprecated: explode(): Passing null to parameter #2 ($string) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10542
Deprecated: Creation of dynamic property CommentQuery::$ymdhms_min is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 680
Deprecated: Creation of dynamic property CommentQuery::$ymdhms_max is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 681
Deprecated: Creation of dynamic property ItemQuery::$m is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 842
Deprecated: Creation of dynamic property ItemQuery::$w is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 843
Deprecated: Creation of dynamic property CommentList2::$inlist_orders is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentlist.class.php on line 1295