Soit A, B, C être fad. Considérons l'équation X = AX + BX + C. Une solution X doit-elle être fade?Soit A, B, C être fad. Considérons l'équation X = AX + BX + C. Une solution X doit-elle être fade?
Pourriez-vous m'aider à résoudre cette question? fad est un langage courant
Supposons que juxtaposition (AX) signifie concaténation, et + signifie union. Alors, soit A = B = {e} et C = {}, le langage FAD contenant seulement la chaîne vide et le langage vide, respectivement. Alors laissez X être n'importe quelle langue non-FAD. Clairement, l'équation X = AX + BX + C est vraie puisque AX = X, BX = X et X + X + {} = X.
Voici les AC pour {e} et {} (preuve, si désiré, est laissé en exercice):
/-\
--->[q0]-s->q1 | s
\-/
/-\
--->q0 | s
\-/
Si la juxtaposition et l'union signifient autre chose, la réponse peut changer. Par exemple, il est possible que + signifie concaténation, mais je ne sais pas quoi faire de juxtaposition (union? Intersection?).
Question rapide, qu'est-ce que fad? – user1700890
Fad est un langage définissable ou automate fini – AmrutaMV
L'opérateur '+' indique-t-il une union ou une concaténation? Je suppose l'union. Il semble que X soit définissable comme '(A | B) * C'. – Welbog