Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Ce projet académique développe des implémentations concrètes de machines de Turing, des outils théoriques fondamentaux en informatique. Il permet de modéliser, simuler et visualiser le fonctionnement de machines de Turing classiques ou avancées (multi-bandes, universelles). Les constructions réalisées, comme l'émulation d'alphabets n-symboles par un alphabet binaire ou la machine universelle, offrent des bases pour l'étude des calculs théoriques et des algorithmes.
- Projet académique visant à implémenter et simuler des constructions théoriques de machines de Turing. Il permet d'émuler des machines fonctionnant sur des alphabets à n symboles avec une machine binaire, de visualiser des graphes de flux de contrôle, et de simuler des machines à bandes multiples. Les exemples incluent des calculs comme le castor affairé ou des opérations logiques comme le XOR.
4 initiatives
10