![File:Buchi non deterministic example.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Buchi_non_deterministic_example.svg/89px-Buchi_non_deterministic_example.svg.png)
Size of this PNG preview of this SVG file: 89 × 60 pixels. Other resolutions: 320 × 216 pixels | 640 × 431 pixels | 1,024 × 690 pixels | 1,280 × 863 pixels | 2,560 × 1,726 pixels.
Original file (SVG file, nominally 89 × 60 pixels, file size: 10 KB)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 12:17, 27 February 2019 | ![]() | 89 × 60 (10 KB) | Art haali | bug fix |
12:14, 27 February 2019 | ![]() | 89 × 60 (10 KB) | Art haali | better arrows | |
16:42, 31 August 2010 | ![]() | 459 × 306 (4 KB) | Ashutosh y0078 | {{Information |Description={{en|1=Example of non-deterministic buchi automaton.}} |Source={{own}} |Author=Ashutosh y0078 |Date=2010-08-30 |Permission= |other_versions= }} |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on fa.wikipedia.org
- Usage on pl.wikipedia.org
- Usage on pt.wikipedia.org