Les machines de Turing ont un alphabet de symboles formel, une description basée sur les règles d'état et de transition de la façon dont un calcul est effectué.
Le modèle d'acteur est parfois mentionné comme un modèle de calcul plus puissant que les machines de Turing (pas dans ce qu'il peut calculer, mais dans d'autres aspects).
- L'Actor Model est-il une alternative à part entière aux tours en tant que modèle informatique?
- Le modèle d'acteur a-t-il également une description de calcul formelle basée sur des symboles semblable à la machine de Turing?
- Les acteurs sont-ils supposés être équivalents à la machine de Turing - puisque chaque message est traité séquentiellement (et atomiquement)?
Il existe de nombreux résultats théoriques basés sur les machines de Turing, par exemple le problème d'arrêt, la décidabilité, la relation avec le théorème d'incomplétude de Gödel, etc.
Ces preuves peuvent-elles être formellement généralisées au modèle d'acteur? Cela a-t-il été fait?