xtiqueMachine Classement & Résumé
- Nom de l'éditeur:
- David J. Eck
xtiqueMachine Mots clés
xtiqueMachine La description
XTurningMachine est construite comme une simulation de machine de Turing à usage accessible et facile à utiliser qui a été écrite dans le langage de programmation Java. Les machines Turing sont des dispositifs de calcul extrêmement simples. Une retourneur se souvient qu'un seul numéro, appelé son état. Il se déplace en arrière le long d'une bande infinie, de numérisation et d'écriture de symboles et de changer d'état. L'action de XTurningMachine à une étape donnée dans le calcul est basée sur deux facteurs: son numéro d'état actuel et son symbole qui analyse actuellement sur la bande. Il continue de cette manière jusqu'à ce qu'il pénètre dans un état spécial appelé l'état de halte. Malgré leur simplicité, les machines Turing peuvent effectuer tout calcul pouvant être effectué par n'importe quel ordinateur. En fait, certaines machines de Turing individuelles, appelées machines Turning universelles, peuvent réellement exécuter des programmes arbitraires, tout comme un ordinateur. Vous ne verrez aucune machines de Turing universelle dans ce laboratoire, mais vous expérimentez des machines de Turing pouvant effectuer des calculs non triviaux.
xtiqueMachine Logiciels associés