1
Ceci est tiré d'une théorie du livre de calcul:théorie du calcul: comment un être la langue reconnue par la machine M1
Si le diagramme ci-dessous représente la machine M1,
comment peut A, la machine de langage M1 reconnaît, être décrite comme:
A = {w | w contient au moins un 1 et un nombre pair de 0 suit le dernier 1}
lorsque la chaîne 011 est acceptée par la machine M1. 011 contient en fait au moins un 1, mais un nombre pair de 0 ne suit pas le dernier 1.
Ensuite, n'est-il pas incorrect de dire "et le nombre pair de 0 suit le dernier 1"?
Je vote pour clore cette question hors-sujet parce qu'elle n'est pas (encore) une question de programmation. Comme écrit, il s'agit d'une question sur la théorie du calcul. –
@RaymondChen où vont normalement ces publications? Il semble que les gens sur stackoverflow aient déjà posé des questions sur la théorie du calcul, ce qui explique pourquoi je pensais qu'il était sûr de publier – haxtar
cs.stackexchange.com est pour des choses comme la théorie du calcul, la conception de l'architecture informatique, les méthodes formelles , lambda calculus ... –