Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- L = {v1w | v, w in {a, b, c}* and #a(v) = #c(w)}
- Q s S | Q' S'
- ---------------+---------------
- // first part of the string
- ---------------+---------------
- q0 a Z/a | q0 aZ/aa
- q0 b Z/a | q0 Z/a
- q0 c Z/a | q0 Z/a
- ---------------+---------------
- // transition to 2nd part
- ---------------+---------------
- q0 1 Z/a | q1 Z/a
- ---------------+---------------
- // second part of the string
- ---------------+---------------
- q1 a Z/a | q1 Z/a
- q1 b Z/a | q1 Z/a
- q1 c a | q1 -
Add Comment
Please, Sign In to add comment