SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

Another NFA Example

dylan-robertson avatar
dylan-robertson
55 diapositives · 715 Views · Nov 16, 2014

Another NFA Example. Language accepted. (redundant state). Remarks:. The symbol never appears on the input tape. Simple automata:. NFAs are interesting because we can express languages easier than DFAs. NFA. DFA. Formal Definition of NFAs. Set of states, i.e.

#another nfa example #another nfa example ppt #powerpoint #presentation
Another NFA Example - slide 1
01 / 55Another NFA Example
1 / 17

Télécharger la présentation

Another NFA Example
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. Another NFA Example COMP 335

  2. Language accepted (redundant state) COMP 335

  3. Remarks: • The symbol never appears on the • input tape • Simple automata: COMP 335

  4. NFAs are interesting because we can • express languages easier than DFAs NFA DFA COMP 335

  5. Formal Definition of NFAs Set of states, i.e. Input aphabet, i.e. Transition function Initial state Final states COMP 335

  6. Transition Function COMP 335

  7. COMP 335

  8. COMP 335

  9. COMP 335

  10. Extended Transition Function COMP 335

  11. COMP 335

  12. COMP 335

  13. Formally : there is a walk from to with label COMP 335

  14. The Language of an NFA COMP 335

  15. COMP 335

  16. COMP 335

  17. COMP 335

  18. COMP 335

  19. Formally • The language accepted by NFA is: • where • and there is some (final state) COMP 335

  20. COMP 335

  21. NFA accept Regular Languages COMP 335

  22. Equivalence of FA • Definition: • An FA is equivalent to FA • if • that is if both accept the same language. COMP 335

  23. Example of equivalent FA NFA DFA COMP 335

  24. We will prove: Languages accepted by NFA Regular Languages Languages accepted by DFA That is, NFA and DFA have the same computation power COMP 335

  25. Step 1 Languages accepted by NFA Regular Languages Proof: Every DFA is trivially an NFA Any language accepted by a DFA is also accepted by an NFA COMP 335

  26. Step 2 Languages accepted by NFA Regular Languages Any NFA can be converted into an equivalent DFA Proof: Any language accepted by an NFA is also accepted by a DFA COMP 335

  27. Convert NFA to DFA NFA DFA COMP 335

  28. Convert NFA to DFA NFA DFA COMP 335

  29. Convert NFA to DFA NFA DFA COMP 335

  30. Convert NFA to DFA NFA DFA COMP 335

  31. Convert NFA to DFA NFA DFA COMP 335

  32. Convert NFA to DFA NFA DFA COMP 335

  33. Convert NFA to DFA NFA DFA COMP 335

  34. NFA to DFA: Remarks • We are given an NFA • We want to convert it • into an equivalent DFA • That is, COMP 335

  35. If the NFA has states • Then the DFA has states in the powerset COMP 335

  36. Procedure NFA to DFA • 1. Initial state of NFA: • Initial state of DFA: COMP 335

  37. Example NFA DFA COMP 335

  38. Procedure NFA to DFA • 2. For every DFA’s state • Compute in the NFA • Add the following transition to the DFA COMP 335

  39. Example NFA DFA COMP 335

  40. Procedure NFA to DFA • Repeat step 2 for all symbols in the alphabet ∑, until no more transitions can be added. COMP 335

  41. Example NFA DFA COMP 335

  42. Procedure NFA to DFA • 3. For any DFA state: • If some is a final state in the NFA • Then, • is a final state in the DFA COMP 335

  43. Example NFA DFA COMP 335

  44. Theorem Take NFA Apply the procedure to obtain DFA Then, and are equivalent: COMP 335

  45. Proof AND COMP 335

  46. First we show: Take arbitrary string : We will prove: COMP 335

  47. COMP 335

  48. We will show that if COMP 335

  49. More generally, we will show that if in : (arbitrary string) COMP 335

  50. Proof by induction on The basis case: COMP 335