- this is a repo where I'm programming concepts from theortical CS
- the goal is to practice these concepts and learn mojo language
- {w | w starts with 0 }
- accepts only strings in {0, 1} that start with 0
- {w | w begins with 1 ends with 0 }
- q0 = start state
- q2 = accepting state
- written in C
- {w | w contains the substring "ab"}
- sigma = {a,b}