Bienvenue sur AUTOMOTUS !
Qu'est-ce qu'AUTOMOTUS ?
AUTOMOTUS est une adaptation du jeu MOTUS aux langages formels.
Plutôt que de chercher un mot du dictionnaire, on cherche une expression rationnelle mystère.
Comment jouer ?
Composez une expression rationnelle bien formée à l'aide des touches situées en bas de l'écran, puis appuyez sur "Valider".
Les symboles vont se colorer en fonction de la règle suivante :
- une case verte signifie que le symbole est bien placé,
- une case jaune signifie que le symbole apparaît dans l'expression mystère, mais n'est pas à la bonne position,
- une case rouge signifie que le symbole n'apparaît pas dans l'expression mystère, ou que toutes ses occurrences ont déjà été trouvées.
En outre, vous aurez droit à un indice sémantique.
Si le langage capturé par l'expression rationnelle que vous avez proposée diffère du langage mystère, un mot de la différence vous sera indiqué.
Autrement, vous apprendrez que votre expression rationnelle et l'expression mystère capturent le même langage.
Vous pouvez alors proposer une nouvelle expression en vous aidant de ces informations.
Rappel sur l'ordre de priorité des opérateurs
AUTOMOTUS utilise les conventions classiques pour ce qui est des priorités des opérateurs. Cela donne, du plus liant au moins liant :
- ★ (étoile de Kleene)
- • (concaténation)
- + (disjonction)
Ces conventions étant posées, une expression rationnelle mystère ne contient aucune parenthèse excédentaire.
