File:Buchi non deterministic example.svg Source: en.wikipedia.org/wiki/File:Buchi_non_deterministic_example.svg