Creating File:Buchi non deterministic example.svg

Please upload a photo first to enable editing.