Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Bisimulation
- testLTS/hard.txt
- Correct:
- 1 0 0 0 0 0
- 0 1 0 0 1 0
- 0 0 1 0 0 0
- 0 0 0 1 0 0
- 0 1 0 0 1 0
- 0 0 0 0 0 1
- Error:
- 1 0 0 1 0 0
- 0 1 0 0 1 0
- 0 0 1 0 0 0
- 1 0 0 1 0 0
- 0 1 0 0 1 0
- 0 0 0 0 0 1
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement