diff --git a/App/RegM/Lectures/Lecture.4.Notes.md b/App/RegM/Lectures/Lecture.4.Notes.md index b40dce7..612c605 100644 --- a/App/RegM/Lectures/Lecture.4.Notes.md +++ b/App/RegM/Lectures/Lecture.4.Notes.md @@ -1,9 +1,8 @@ # Basic NFA Fragments ### Single Character -RegExp: `/^A$/` -Psuedo: -`str.start glyph(A) str.end` +RegExp: `/^A$/` +Psuedo: `start A end` ^ : Beginning of string : Str.Start $ : End of a string : Str.End @@ -13,7 +12,7 @@ Machine: ### Epsilon-Transition RegExp: `/^$/` -Psuedo: `str.start str.end` +Psuedo: `start end` Machine: ``` diff --git a/App/RegM/Lectures/Lecture.8.Notes.md b/App/RegM/Lectures/Lecture.8.Notes.md index 7e9342c..fd00cf8 100644 --- a/App/RegM/Lectures/Lecture.8.Notes.md +++ b/App/RegM/Lectures/Lecture.8.Notes.md @@ -9,7 +9,7 @@ SRegEx: `x y.repeat(0-) | z` ### Stage 1: Union ``` -->o.start (o) +->o.start (o) \epsilon-> o --xy*-> o -epsilon-->/ \epsilon-> o --z---> o -epsilon->/ ``` diff --git a/App/RegM/Lectures/Lecture.9.Notes.md b/App/RegM/Lectures/Lecture.9.Notes.md index b623bb9..3e76a52 100644 --- a/App/RegM/Lectures/Lecture.9.Notes.md +++ b/App/RegM/Lectures/Lecture.9.Notes.md @@ -2,10 +2,10 @@ Ex: -RegEx : `/a+|[0-3]/` +RegEx : `/a+|[0-3]/` SRegEx: `a.repeat(1-) | set(0-3)` -`A+` === `AA*` === `A.repeat(1-)` === `AA.repeat(0-)` -`A?` === `A|ε` === `A.repeat(0-1)` +`A+` === `AA*` === `A.repeat(1-)` === `AA.repeat(0-)` +`A?` === `A|ε` === `A.repeat(0-1)` `[0-9]` === `0|1|2|3|4|5|6|7|8|9` === `set(0-9)`