fearviking
New member
- Joined
- May 12, 2021
- Messages
- 2
Hello everyone! I'm having tons of problems with my current course, because it's really hard to find any information and the course has ended so I can't really ask questions.
I think I have figured out an example of a string that this formula would accept : "cbbbbaaa". The part I'm having troubles with is proving the example to be true using semantics (modelling I think.). I'm not quite sure how to start. Any guidance on where to start would be really appreciated.
The formula, if I've understood it correctly, is that:
A's can only be followed by another 'a'.
B's can only be followed by 'a' or 'b'.
C's can only be followed by 'b'.
D's cant have anything following.
I think I have figured out an example of a string that this formula would accept : "cbbbbaaa". The part I'm having troubles with is proving the example to be true using semantics (modelling I think.). I'm not quite sure how to start. Any guidance on where to start would be really appreciated.
The formula, if I've understood it correctly, is that:
A's can only be followed by another 'a'.
B's can only be followed by 'a' or 'b'.
C's can only be followed by 'b'.
D's cant have anything following.