Machine de Turing sans "Blanc"

[dedi820]

Bonjour,

J'ai un travail à réaliser sur les machines de Turing, et soudain un immense doute m'envahi, est-ce qu'une machine de Turing peu avoir un côté (ou les deux) du ruban sans aucun blanc ? C'est à dire (puisque le ruban est toujours infini des deux côtés) qu'un côté (ou les deux) serait une suite infinie de caractères différents de blanc, par exemple

...11111111101011[0]101BBBBBBBB.... sans jamais plus aucun blanc aussi loin qu'on aille à gauche.

Est-ce que ce type de ruban est possible dans un machine de Turing ?

Merci d'avance pour vos réponses !

[dedi820]

Une idée ?

[LaCoc6nl]

...11111111101011[0]101BBBBBBBB.... sans jamais plus aucun blanc aussi loin qu'on aille à gauche.

Est-ce que ce type de ruban est possible dans un machine de Turing ?

Le théorème de Rice rend le calcul indécidable par machine de Turing. La physique du système le résout...