Est-il possible de créer DFA pour les mots de longueur impaire avec 1 au milieu?

8

L:={w{0,1}|la longueur de est impaire 1 est au milieu deww}

Donc l'alphabet est . Mon problème est que je ne peux pas suivre l'égalité des caractères avant et après . Un DFA limité pour une longueur inférieure à 6:{0,1}1entrez la description de l'image ici

Comment puis-je le développer pour qu'il accepte des mots de toute longueur? C'est possible?

J'ai essayé d'y mettre des cycles, mais comme je l'ai déjà dit, je ne peux tout simplement pas garder une trace du nombre de caractères après pour qu'il soit égal à celui d'avant. En d'autres termes, 1 doit toujours être au milieu.1

user8
la source

Réponses:

13

Non vous ne pouvez pas. Démonstration par pompage du lemme: Supposons que est régulier et soit la longueur de pompage, considérons le mot . Il y a donc avec et tel . AlorsLnw=0n10nx,y,z{0,1}|xy|<n|y|>0xyz=wiN0:xyizL.

Mais en raison de sa contrainte de longueurx et y consister en 0 seulement et tous sont devant le 1. Doncxy2z=0n+|y|10nL.

Donc, L n'est pas régulière et ne peut être exprimée par aucun DFA.

Martin Glauer
la source