Manuel d`utilisation - machine de turing
Contents
1. Gr gory Barbier Langages Formels Adrian Gaudebert Machine de Turing Rapport de projet Universit de Bourgogne Licence 3 Informatique 2008 2009 Machine de Turing Sommaire Pr sentation du sujet iii A EEEE aAA EE E ETLE 2 Manuel technique tasado 2 1 Langage de programmation sise PPA A rames ennemie mme the ts td en AE RTS Min Pa Meter en en 2 3 Architecture lE TE Pea ne Re M een NA ie Re ren A ane 2 4 Documentation technique rt hr nl Ati 3 ManuelqutiliS at idas 3 1 Page diaccue liinda Led nine dd rade en 3 1 1 Envoi depuis un fichier texte sise 9 1 2 Entr e dla Maa entente ions 3 1 2 1 Donn es g ndralOS ccoo clinica orrible dois 3 1 2 2 L19n8S dol ici a 3 1 2 S Ajo t de lec EEA N a NAOT P A O EA EAEE E NN EAE nt O E rren ete net Ra enee nn 3 2 Page d utilisation de la machine siennes 3 2 1 Sauvegarde des r gles iii derbi 92 2 Testde l Ma NNE E tilo 3 2 3 Afficher masquer les r gles sise 3 2 4 Afi hage des r gles iii edo a 3 29 Retour a laccU A EEEE letrada ter Q a g Machine de Turing 1 Pr sentation du sujet Ce projet r alis dans le cadre de la 3e ann e de Licence Informatique de Dijon a pour objet la programmation d une machine de Turing g n raliste Le langage de programmation est laiss au libre choix des tudiants sans restriction Le programme devra g rer au minimum la saisie des r gles d une machine et le test de cette machine avec un ou plusi2. eurs bandeaux sp cifi s par l utilisateur Nous avons choisi d ajouter quelques fonctionnalit s la validation des r gles v rifier qu elles sont coh rentes par rapport une machine de Turing l affichage des r gles envoy es la sauvegarde des r gles dans un fichier texte et le chargement des r gles partir d un fichier texte 2 Manuel technique 2 1 Langage de programmation Le langage de programmation tant libre nous avons choisi le PHP pour plusieurs raisons Tout d abord sa portabilit puisqu un site web crit en PHP s ex cute sur n importe quelle machine poss dant un navigateur web et un acc s Internet De plus c est un langage que nous maitrisons bien ce qui permet d acc l rer le d veloppement Et enfin la cr ation d interfaces en utilisant le HTML et le CSS est simple pour des r sultats qui d passent en restant dans une certaine simplicit ce qu on peut obtenir avec des interfaces d applications riches 2 2 Outils Le projet a t d velopp en local en utilisant le logiciel XAMPP logiciel fournissant la triple offre Apache PHP MySQL Le code a t crit en utilisant les logiciels gedit sous Linux et Notepad sous Windows Afin de simplifier et d acc l rer le d veloppement nous avons choisi d utiliser un framework PHP http frwikipedia org wiki Liste de frameworks PHP Notre projet ne n cessitant pas de base de donn es le framework se devait d tre basique Nous avons donc a
3. interface de la page d accueil 3 1 1 Envoi depuis un fichier texte La zone 1 permet l envoi simple de fichiers de r gles Le format impos est txt format texte Pour chercher un fichier sur votre ordinateur cliquez sur Parcourir choisissez le fichier et validez Puis pour envoyer les r gles cliquez sur le bouton Envoyer 4 7 Machine de Turing 3 1 2 Entr e la main 3 1 2 1 Donn es g n rales La zone 2 contient trois champs g n raux Le champ tat initial d signe l tat dans lequel la machine d marre Le champ tat final d signe l tat qui lorsqu il est atteint cause l arr t de la machine et implique la r ussite de l analyse du mot Le champ Caract re vide d signe le caract re de fin de mot aussi appel caract re blanc ou caract re vide 9 1 2 2 Lignes de r gles La zone 3 est une ligne de r gles de la machine de Turing Chaque ligne s crit comme indiqu en en t te Sigma tat courant Lecture tat suivant criture Direction Le champ tat courant repr sente l tat dans lequel la machine doit tre pour que la r gle soit appliqu e Le champ Lecture repr sente le caract re lire dans le mot pour que la r gle soit appliqu e Le champ tat suivant repr sente l tat dans lequel la machine passera si la r gle est appliqu e Le champ criture repr sente le caract re qui sera crit la place du carac
4. machine de Turing 3 2 1 Sauvegarde des r gles La zone 1 permet de sauvegarder les r gles dans un fichier texte txt En cliquant sur le bouton Sauvegardez une fen tre s ouvrira vous demandant si vous souhaitez t l charger le fichier OU TE Machine de Turing 3 2 2 Test de la machine La zone 2 permet de tester la machine de Turing que vous avez entr e Tapez un bandeau de test dans la zone de texte puis cliquez sur le bouton Tester Le r sultat du test s affichera alors dans la zone 3 le message indiquant la cha ne de caract res test e et le r sultat valide ou non valide 3 2 3 Afficher masquer les r gles Le lien en zone 4 permet d afficher les r gles quand elles sont masqu es par d faut ou de les cacher lorsqu elles sont visibles 3 2 4 Affichage des r gles Les r gles s affichent dans la zone 5 chaque ligne du tableau repr sentant une ligne de r gle 3 2 5 Retour l accueil Le lien Home en en t te de la page permet de retourner la page d accueil du site afin d envoyer de nouvelles r gles par exemple r TE
5. rr t notre choix sur Atomik Framework http www atomikframework com un framework d velopp en PHP 5 l ger mais amplement suffisant pour nos besoins 2 3 Architecture du site Le site se d coupe en six pages dont seules deux poss dent une interface cf partie 3 Chaque page est repr sent e par une action pour Atomik Framework Ces pages sont donc disponibles dans le dossier app actions Chaque page d action est document e vous trouverez donc une description de ce que fait la page en en t te du fichier STE Machine de Turing 2 4 Documentation technique La documentation technique du moteur est disponible dans le dossier doc html Vous pouvez la consulter directement en ligne http adrian gaudebert fr turing doc html ou http adrian gaudebert fr turing doc latex Elle est galement disponible dans l archive contenant l ensemble du projet 3 Manuel d utilisation Le site se compose uniquement de deux pages la page d accueil et la page principale de la machine de Turing 3 1 Page d accueil Home Erreur L tat final n est pas pr sent dans les r gles Envoyez vos r gles partir d un fichier Choisissez un fichier txt Parcourir Envoyer OU entrez les la main Cr 3 1 Sigma b Envoyer L entr e lue et l criture ne peuvent contenir qu une seule lettre La direction ne peut tre que D droite ou G gauche L
6. t re lu si la r gle est appliqu e Le champ Direction repr sente la direction du mouvement effectuer si la r gle est appliqu e 3 1 2 3 Ajout de ligne Le bouton 4 Ajouter une ligne permet d ajouter dynamiquement une ligne de r gles Attention les lignes ne sont pas supprimables il ne faut donc pas ajouter plus de lignes que n cessaires sinon le programme renverra une erreur pour cause de champ vide 3 1 2 4 Envoi Le bouton 5 Envoyer permet une fois que toutes les r gles sont entr es d envoyer les donn es la validation Si les r gles sont valides on acc de l interface principale cf 3 2 sinon on revient la page d accueil et une erreur s affiche 3 1 3 Erreurs La zone 6 ne s affiche que si l utilisateur a envoy des r gles par formulaire ou par fichier et qu une erreur a eu lieu entre l envoie des r gles et leur validation Le message indiqu permet de comprendre l erreur et donc de la corriger dans les r gles Attention actuellement les r gles ne sont pas r affich es automatiquement dans le formulaire en cas d erreur mieux vaut donc tre attentif dans la r daction ET Machine de Turing 3 2 Page d utilisation de la machine Les regles sont valides Sauvegardez les pour les r utiliser facilement plus tard 1 Format txt Sauvegardez Testez votre machine de Turing 2 m f fal L interface d utilisation de la
Download Pdf Manuals
Related Search