turing-2d

Le projet turing-2d permet de simuler et de configurer des machines de Turing à deux dimensions. Il offre une interface interactive pour modifier les états, les instructions et les rubans des machines.

Dépôt de code

https://gitlab.inria.fr/mecsci/grains/turing-2d (nouvelle fenêtre)

Cas d'utilisation métiers

Édition et modification de configurations de machine de Turing 2D : rechercher des initiatives proches
Simulation d'une machine de Turing 2D : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Outils utilisés

Description générée le lundi 18 mars 2024 à 23:30:26

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala