Lunar Mirage
L'établi rétro pour concevoir et exécuter des machines de Turing. Construisez, chargez, observez le mouvement étape par étape.
Télécharger Lunar MirageAccédez aux collections exclusives
Trois parcours d'apprentissage pour maîtriser la théorie du calcul
48 machines historiques
- Busy Beavers optimaux inclus
- Décideurs et automates universels
- Chargement direct sur l'établi
18 leçons progressives
- Du principe de base à l'universalité
- Démos interactives intégrées
- Accès permanent sans connexion
5 études de cas approfondies
- Article de Turing 1936 décrypté
- L'énigme du Busy Beaver
- Contexte historique et philosophique
Tous les contenus sont inclus dans l'application. Aucun achat intégré. Fonctionne entièrement hors ligne.
Fonctionnement technique
Comprendre les mécanismes d'exécution d'une machine de Turing
Exécution pas à pas contrôlée
Lunar Mirage transforme la théorie abstraite en expérience tactile. Vous créez une table de transition, définissez un ruban initial, puis lancez la tête de lecture. Chaque cellule du ruban est éditable. L'application avance symbole par symbole, état par état, en respectant strictement les règles définies dans votre table.
Vitesse d'exécution ajustable
Réglez la cadence de 2 à 30 étapes par seconde selon vos besoins. Les machines simples peuvent tourner rapidement pour observer le résultat final. Les constructions complexes nécessitent une exécution ralentie pour suivre chaque transition. Un compteur affiche le nombre d'étapes écoulées en temps réel.
Trois modes de terminaison
L'application détecte automatiquement trois verdicts possibles : arrêt atteint par état HALT, boucle infinie détectée, ou sortie du ruban. Trois lampes indicatrices s'allument selon le résultat obtenu. Cette distinction visuelle clarifie le comportement de chaque machine testée.
Spécifications vérifiées
Outils et composants essentiels
Un ensemble complet pour explorer la calculabilité
L'Établi
Console principale affichant le spécimen du jour, vos statistiques de construction, et un accès direct à tous les ateliers. Point de départ pour chaque session d'exploration.
Le Mouvement
Panneau d'exécution interactif où vous éditez les tables de transition, chargez un ruban, et lancez la tête de lecture. Contrôles Step et Run to halt pour une observation précise du comportement.
Le Cabinet
Bibliothèque de 48 spécimens catalogués : Busy Beavers champions, décideurs de parité, machines universelles. Sept catégories organisées, chargement instantané sur l'établi.
Le Primer
Parcours pédagogique en 18 leçons réparties sur 5 chapitres. Progression du principe de base jusqu'à l'universalité. Leçons approfondies liées directement au Mouvement pour la démonstration en direct.
Dossiers historiques
Cinq études de cas détaillées couvrant l'article fondateur de Turing en 1936, le problème du Busy Beaver, la démonstration du problème de l'arrêt, et les systèmes de Post.
Le Registre
Coffre personnel pour sauvegarder vos machines personnalisées. Ajoutez des notes, attachez des photos, créez des cartes en laiton exportables vers votre photothèque.
Principes de manipulation
Comment interagir avec les machines et les spécimens
Construction et exécution
- Créez une table de transition en définissant état, symbole lu, symbole écrit, mouvement et état suivant
- Éditez le ruban initial en plaçant des symboles dans les cellules visibles
- Utilisez Step pour avancer d'une cellule ou Run to halt pour exécuter jusqu'à l'arrêt
- Ajustez la vitesse d'exécution de 2 à 30 pas par seconde selon votre besoin
- Activez le retour haptique pour sentir chaque mouvement de la tête
- Réinitialisez le ruban et l'état avec le bouton Reset
- Observez les lampes de verdict pour connaître le résultat final
Organisation et apprentissage
- Explorez le Cabinet par catégorie : Arithmétique, Automates, Busy Beavers, Décideurs, Non-stoppeurs, Universels, Utilitaires
- Marquez vos spécimens favoris avec l'étoile pour un accès rapide
- Consultez les fiches détaillées de chaque machine avec notes comportementales et références
- Suivez le Primer leçon par leçon avec des exercices intégrés au Mouvement
- Lisez les Dossiers pour comprendre le contexte historique et philosophique
- Sauvegardez vos créations dans le Registre avec tags et annotations
- Exportez des cartes en laiton vers Photos pour archiver ou partager
À propos de l'éditeur
Lunar Mirage est une œuvre indépendante dédiée à rendre la théorie de la calculabilité accessible par l'expérience tactile. L'application ne nécessite aucun compte ni connexion réseau. Toutes les fonctionnalités sont disponibles hors ligne dès l'installation.
L'interface rétro-instrumentale s'inspire des équipements scientifiques vintage : panneaux en laiton gravé, papier vieilli, typographie classique. Quatre thèmes d'instruments — Lacquer, Oxblood, Nocturne, Ivory Plate — habillent l'atelier selon votre préférence esthétique.
Commencez votre exploration aujourd'hui
iOS • Gratuit • Installation en moins de 2 minutes • 100% hors ligne
Télécharger Lunar MirageCompatible iOS • Aucun compte requis • Pas d'achats intégrés • Classification éducative