Büchi automaton: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 22:4822:48, 4 February 2024‎ Ixfd64 talk contribs‎ 18,373 bytes +5‎ use vector image undo

curprev 15:5215:52, 1 January 2024‎ Klbrain talk contribs‎ 18,368 bytes +158‎ Adding missing merge template undo

curprev 20:2720:27, 30 October 2023‎ Citation bot talk contribs‎ 18,210 bytes +50‎ Alter: title, template type. Add: chapter. | Use this bot. Report bugs. | Suggested by Abductive | Category:Model checking | #UCB_Category 9/24 undo

curprev 06:4206:42, 19 July 2023‎ WikiCleanerBot talk contribs‎ m 18,160 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 13:0613:06, 15 July 2023‎ Citation bot talk contribs‎ 18,160 bytes +14‎ Alter: template type. Add: eprint, class. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo
curprev 13:0513:05, 15 July 2023‎ Headbomb talk contribs‎ 18,146 bytes −38‎ ce undo
curprev 12:5712:57, 15 July 2023‎ Citation bot talk contribs‎ 18,184 bytes −12‎ Alter: template type. Add: arxiv. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 13:0613:06, 14 July 2023‎ Jean Abou Samra talk contribs‎ 18,196 bytes +195‎ Remove contradictory statement on minimization of Büchi automata; add a true statement, with a reference undo

curprev 14:1014:10, 17 June 2023‎ Trappist the monk talk contribs‎ m 18,001 bytes +1‎ →‎External links: cite repair; undo Tag: AWB

curprev 16:1216:12, 3 July 2022‎ Caleb Stanford talk contribs‎ 18,000 bytes +100‎ redirect links undo Tag: 2017 wikitext editor
curprev 15:1415:14, 3 July 2022‎ Qiyitang talk contribs‎ m 17,900 bytes +2‎ No edit summary undo

curprev 21:1921:19, 25 June 2022‎ Caleb Stanford talk contribs‎ 17,898 bytes 0‎ Undid revision 1094741155 by Hebury (talk) -- this is incorrect. This automaton accepts (ab)^omega undo Tag: Undo

curprev 07:5607:56, 24 June 2022‎ Hebury talk contribs‎ 17,898 bytes 0‎ The example in the caption was incorrect. The repetition of ab would always end in state q0, which is not accepting. undo Tag: Reverted

curprev 12:4912:49, 10 March 2022‎ 157.193.240.141 talk‎ 17,898 bytes +28‎ No edit summary undo

curprev 04:5504:55, 28 January 2022‎ Citation bot talk contribs‎ 17,870 bytes −5‎ Alter: template type. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 745/2600 undo

curprev 18:2618:26, 14 June 2021‎ Liz talk contribs‎ 17,875 bytes −8‎ Removing link(s) to "Automata construction": Removing links to deleted page Automata construction. undo Tag: Twinkle

curprev 07:5007:50, 28 May 2021‎ Cedar101 talk contribs‎ m 17,883 bytes +39‎ →‎From Kripke structures: {{angbr}} undo
curprev 07:1907:19, 28 May 2021‎ Cedar101 talk contribs‎ 17,844 bytes +24‎ →‎Transforming from other models of description to non-deterministic Büchi automata: split subsections undo
curprev 07:1407:14, 28 May 2021‎ Cedar101 talk contribs‎ m 17,820 bytes +74‎ →‎Recognizable languages: fix math italics undo
curprev 06:4906:49, 28 May 2021‎ Cedar101 talk contribs‎ m 17,746 bytes −72‎ →‎Closure properties: tex math undo

curprev 13:4613:46, 27 September 2020‎ Citation bot talk contribs‎ 17,818 bytes +26‎ Alter: template type. Add: s2cid. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:All self-contradictory articles‎ | via #UCB_Category undo

curprev 12:2612:26, 14 September 2020‎ Bilorv talk contribs‎ 17,792 bytes +7‎ Undid revision 978348295 by JacobIngbert (talk); this is not correct - the infinitely many accepting states entered need not be consecutive so there is no need for a word to end in a^w and (ab)^w is accepted. (ab)^w was meant as an example, not a complete characterisation undo
curprev 10:4910:49, 14 September 2020‎ JacobIngbert talk contribs‎ m 17,785 bytes +8‎ The given automata was falsely described as accepting (ab)^omega while only accepting words ending with a^omega undo Tag: Visual edit

curprev 14:5714:57, 21 July 2020‎ Ira Leviton talk contribs‎ m 17,777 bytes +2‎ Fixed typos found with Wikipedia:Typo Team/moss. undo

curprev 20:5520:55, 16 July 2020‎ Bilorv talk contribs‎ 17,775 bytes +1,133‎ make lead more comprehensible and remove tag undo

curprev 21:5221:52, 6 February 2020‎ Equinox talk contribs‎ m 16,642 bytes +4‎ No edit summary undo

curprev 19:5819:58, 11 July 2019‎ Citation bot talk contribs‎ m 16,638 bytes −4‎ Alter: pages, title. Add: isbn, doi. Removed URL that duplicated unique identifier. Formatted dashes. | You can use this bot yourself. Report bugs here.| Activated by User:Marianne Zimmerman undo

curprev 15:1515:15, 20 April 2019‎ Allforrous talk contribs‎ 16,642 bytes +10‎ →‎External links: Commonscat template. undo

curprev 19:1819:18, 12 April 2019‎ Jarble talk contribs‎ 16,632 bytes +67‎ adding links to references using Google Scholar undo

curprev 13:0613:06, 28 January 2019‎ AnomieBOT talk contribs‎ m 16,565 bytes +18‎ Dating maintenance tags: {{Technical}} undo
curprev 12:4612:46, 28 January 2019‎ Dweller talk contribs‎ 16,547 bytes +14‎ Poorly written for an encyclopedia article. This is not a maths website. undo
curprev 12:4412:44, 28 January 2019‎ Dweller talk contribs‎ 16,533 bytes +2‎ typos x2 undo

curprev 13:2113:21, 11 January 2019‎ 2001:638:708:303:75b9:e09e:f60f:4834 talk‎ 16,531 bytes −8‎ [K] Typos undo Tag: Visual edit

curprev 14:3814:38, 4 September 2018‎ Ott2 talk contribs‎ 16,539 bytes −28‎ remove one what tag, this part is clear as is undo

curprev 15:1615:16, 2 August 2018‎ Budabass talk contribs‎ 16,567 bytes +1‎ →‎Recognizable languages undo

curprev 19:0819:08, 2 January 2018‎ AnomieBOT talk contribs‎ m 16,566 bytes +54‎ Dating maintenance tags: {{What?}} {{Contradictory}} undo
curprev 17:0817:08, 2 January 2018‎ 62.172.100.253 talk‎ 16,512 bytes +38‎ →‎Algorithms undo

curprev 14:1814:18, 13 October 2017‎ Rich Farmbrough talk contribs‎ 16,474 bytes −9‎ Copyedit. undo

curprev 21:1721:17, 11 February 2017‎ Hermel talk contribs‎ 16,483 bytes +4‎ →‎Transforming from other models of description to non-deterministic Büchi automata: grammar undo

curprev 18:3718:37, 21 January 2017‎ Matěj Grabovský talk contribs‎ m 16,479 bytes 0‎ →‎Recognizable languages: typo undo

curprev 10:1910:19, 2 November 2016‎ Bender the Bot talk contribs‎ m 16,479 bytes +1‎ →‎References: http→https for Google Books and Google News using AWB undo

curprev 12:0412:04, 30 October 2016‎ Pintoch talk contribs‎ m 16,478 bytes −10‎ change |id={{citeseerx}} to |citeseerx= undo

curprev 21:5121:51, 22 March 2016‎ Baking Soda talk contribs‎ 16,488 bytes +46‎ Fix double bullets; whitspace cleanups undo
curprev 20:0020:00, 22 March 2016‎ Baking Soda talk contribs‎ 16,442 bytes +270‎ →‎References: add book reference undo

curprev 10:1610:16, 22 October 2015‎ Qwertyus talk contribs‎ 16,172 bytes −35‎ -Category:Automata theory; -Category:Models of computation; +Category:Finite automata using HotCat undo

curprev 23:0823:08, 5 August 2015‎ Cosmia Nebula talk contribs‎ 16,207 bytes +1‎ →‎Recognizable languages: Modified the proof so that it is consistent with the notations in https://en.wikipedia.org/wiki/%CE%A9-automaton#Example undo
curprev 22:5822:58, 5 August 2015‎ Cosmia Nebula talk contribs‎ 16,206 bytes −70‎ →‎Recognizable languages: Improved the description of (0+1)*0ω undo
curprev 22:5522:55, 5 August 2015‎ Cosmia Nebula talk contribs‎ 16,276 bytes +88‎ →‎Recognizable languages: Made a precise description of the language (0+1)*0ω undo

curprev 16:5416:54, 20 July 2015‎ Benyuecindy talk contribs‎ 16,188 bytes −32‎ →‎Algorithms undo
curprev 04:2704:27, 20 July 2015‎ Benyuecindy talk contribs‎ 16,220 bytes +27‎ →‎Algorithms undo

4 February 2024

1 January 2024

30 October 2023

19 July 2023

15 July 2023

14 July 2023

17 June 2023

3 July 2022

25 June 2022

24 June 2022

10 March 2022

28 January 2022

14 June 2021

28 May 2021

27 September 2020

14 September 2020

21 July 2020

16 July 2020

6 February 2020

11 July 2019

20 April 2019

12 April 2019

28 January 2019

11 January 2019

4 September 2018

2 August 2018

2 January 2018

13 October 2017

11 February 2017

21 January 2017

2 November 2016

30 October 2016

22 March 2016

22 October 2015

5 August 2015

20 July 2015