diff --git a/App/RegM/Lectures/Lecture.3.Notes.md b/App/RegM/Lectures/Lecture.3.Notes.md index 90248fd..82fb996 100644 --- a/App/RegM/Lectures/Lecture.3.Notes.md +++ b/App/RegM/Lectures/Lecture.3.Notes.md @@ -41,27 +41,27 @@ NFA : Non-deterministic FA - Allos transition on the same symbol to different states ``` - a->o + a->o / ->o.1---b-->o \ - a->o + a->o ``` epsilon-NFA : Extension of NFA that allows *epsilon* transitions ``` - a--->o---epsi--->(o) - / / + a--->o---epsi--->(o) + / / ->o----b-->epsi--->o \ - a-->o--epsi-->(o) + a-->o--epsi-->(o) ``` DFA : A state machine which forbids multiple transitions on the same symbol, and *epsilon* transitions ``` - a--->o + a--->o / ->o----b-->o ``` diff --git a/App/RegM/Lectures/Lecture.5.6.7.Notes.md b/App/RegM/Lectures/Lecture.5.6.7.Notes.md index 8f33b12..3cc9ed8 100644 --- a/App/RegM/Lectures/Lecture.5.6.7.Notes.md +++ b/App/RegM/Lectures/Lecture.5.6.7.Notes.md @@ -17,11 +17,11 @@ Psuedo: `str.start glyph(A) | glyph(B) str.end` Machine: ``` - epsilon--> o --A--> o --epsilon - / \ -->o ->(o) - \ / - epsilon--> o --B--> o --epsilon + epsilon--> o --A--> o --epsilon + / \ +->o ->(o) + \ / + epsilon--> o --B--> o --epsilon ``` ## Kleene Closure @@ -31,9 +31,9 @@ Psuedo: `str.start glyph(A).repeating str.end` Machine: ``` - <------episolon------- - / \ + <------episolon------- + / \ ->o --epsilon--> o --A--> o --epsilon--> (o) - \ / - -------------epsilon----------------> + \ / + -------------epsilon----------------> ```