Alternating finite 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 13:0713:07, 22 November 2023‎ EmilJ talk contribs‎ 5,389 bytes +93‎ →‎State complexity: mention lower state complexity of reverse language undo
curprev 12:5312:53, 22 November 2023‎ EmilJ talk contribs‎ 5,296 bytes −28‎ →‎Formal definition: define it directly in terms of the A_w, to save an extra step undo
curprev 11:3311:33, 22 November 2023‎ EmilJ talk contribs‎ 5,324 bytes +13‎ →‎Formal definition: Use a transition-based rather than state-based definition, in accordance with the original Chandra–Kozen–Stockmayer paper as well as modern literature, and the introduction of this article undo

curprev 22:1722:17, 18 August 2023‎ OAbot talk contribs‎ m 5,311 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

curprev 17:5517:55, 14 August 2023‎ OAbot talk contribs‎ m 5,315 bytes +16‎ Open access bot: doi updated in citation with #oabot. undo

curprev 22:5722:57, 13 October 2022‎ Monocero93 talk contribs‎ 5,299 bytes −82‎ Removed references to clauses (since they make no sense for the disjunctive normal form) undo Tag: Visual edit
curprev 22:2122:21, 13 October 2022‎ ClueBot NG talk contribs‎ m 5,381 bytes −153‎ Reverting possible vandalism by Monocero93 to version by OAbot. Report False Positive? Thanks, ClueBot NG. (4182112) (Bot) undo Tag: Rollback
curprev 22:2122:21, 13 October 2022‎ Monocero93 talk contribs‎ 5,534 bytes +153‎ No edit summary undo Tags: Reverted Visual edit

curprev 11:4811:48, 5 July 2021‎ OAbot talk contribs‎ m 5,381 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

curprev 15:2915:29, 17 May 2021‎ 2003:d2:6736:4f07:1d05:8c84:85de:e7db talk‎ 5,365 bytes +3‎ No edit summary undo Tag: Visual edit: Switched

curprev 08:2008:20, 17 February 2021‎ A3nm talk contribs‎ 5,362 bytes +181‎ Alternating finite automata can be extended to accept trees in the same way as tree automata, yielding alternating tree automata. undo Tag: 2017 wikitext editor

curprev 09:2609:26, 13 September 2020‎ WikiCleanerBot talk contribs‎ m 5,181 bytes 0‎ v2.03b - Bot T20 CW#61 - WP:WCW project (Reference before punctuation) undo Tag: WPCleaner

curprev 17:4217:42, 11 July 2019‎ Citation bot talk contribs‎ m 5,181 bytes −72‎ Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Marianne Zimmerman undo

curprev 06:2106:21, 17 December 2018‎ David Eppstein talk contribs‎ 5,253 bytes −27‎ not a stub undo

curprev 23:4123:41, 11 December 2018‎ Citation bot talk contribs‎ m 5,280 bytes +60‎ Alter: issue, isbn. Add: author pars. 1-2. Formatted dashes. You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 09:1809:18, 15 November 2018‎ Zhaxianwei talk contribs‎ 5,220 bytes −27‎ →‎Formal definition undo

curprev 16:0116:01, 2 April 2018‎ A3nm talk contribs‎ 5,247 bytes +1,009‎ No edit summary undo Tag: 2017 wikitext editor
curprev 15:4915:49, 2 April 2018‎ A3nm talk contribs‎ m 4,238 bytes 0‎ typo undo Tag: 2017 wikitext editor

curprev 18:2618:26, 2 August 2017‎ Michipedian talk contribs‎ m 4,238 bytes +6‎ No edit summary undo

curprev 17:0217:02, 19 June 2017‎ Headbomb talk contribs‎ m 4,232 bytes −16‎ ISSN-ify using AWB undo

curprev 21:1821:18, 25 March 2017‎ TheoreticalComputerScientist talk contribs‎ 4,248 bytes +1,261‎ Referenced state complexity results and moved them to a separate section undo

curprev 10:1710:17, 22 October 2015‎ Qwertyus talk contribs‎ 2,987 bytes 0‎ removed Category:Automata theory; added Category:Finite automata using HotCat undo

curprev 05:0805:08, 14 July 2015‎ Mild Bill Hiccup talk contribs‎ 2,987 bytes −31‎ →‎top: Cleaned up using AutoEd; an → a undo

curprev 03:4603:46, 4 October 2013‎ David Eppstein talk contribs‎ 3,018 bytes +7‎ {{comp-sci-theory-stub}} undo

curprev 14:1514:15, 7 March 2013‎ Addbot talk contribs‎ m 3,011 bytes −113‎ Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q3300791 undo

curprev 18:0718:07, 24 November 2012‎ Deltahedron talk contribs‎ 3,124 bytes −36‎ rm tag, referenced now undo
curprev 18:0618:06, 24 November 2012‎ Deltahedron talk contribs‎ 3,160 bytes +205‎ →‎References: Pippenger (1997) undo

curprev 01:3301:33, 4 December 2011‎ ZéroBot talk contribs‎ m 2,955 bytes +34‎ r2.7.1) (Robot: Adding pt:Autômato finito alternado undo

curprev 08:4308:43, 7 June 2011‎ Tea2min talk contribs‎ 2,921 bytes −9‎ Remove empty secion undo

curprev 15:5515:55, 11 March 2011‎ JeepdaySock talk contribs‎ 2,930 bytes −14‎ remove auto=yes| undo

curprev 20:1320:13, 9 November 2010‎ Octavianvoicu talk contribs‎ m 2,944 bytes +20‎ fix internal link undo

curprev 16:2116:21, 10 February 2010‎ Ashutosh y0078 talk contribs‎ 2,924 bytes +7‎ No edit summary undo

curprev 05:0305:03, 16 December 2009‎ SmackBot talk contribs‎ m 2,917 bytes +44‎ remove Erik9bot category,outdated, tag and general fixes undo

curprev 01:1701:17, 5 July 2009‎ Erik9bot talk contribs‎ 2,873 bytes +49‎ add Category:Articles lacking sources (Erik9bot) undo

curprev 20:1020:10, 23 June 2009‎ Elias talk contribs‎ m 2,824 bytes +27‎ \emptyset changed to \varnothing, DNF expanded to Disjunctive Normal Form, a missing comma added in the dnf example undo

curprev 12:2412:24, 15 May 2009‎ 164.15.123.103 talk‎ 2,797 bytes +9‎ No edit summary undo

curprev 23:4523:45, 3 February 2009‎ Reedy talk contribs‎ 2,788 bytes −10‎ fixing dupe cats using AWB undo

curprev 00:4000:40, 27 January 2008‎ CmdrObot talk contribs‎ m 2,798 bytes +2‎ sp (2): a NFA→an NFA undo

curprev 09:3109:31, 18 January 2007‎ Janechii talk contribs‎ m 2,796 bytes +21‎ prettified, but waste resource maybe? undo
curprev 08:3708:37, 18 January 2007‎ Janechii talk contribs‎ 2,775 bytes +1,019‎ formal definition undo

curprev 19:0019:00, 15 January 2007‎ SashatoBot talk contribs‎ m 1,756 bytes +39‎ robot Adding: bs:Alternirajući konačni automat undo

curprev 15:5715:57, 31 December 2006‎ 193.198.150.157 talk‎ 1,717 bytes +40‎ +hr interlink undo

curprev 21:2221:22, 3 October 2006‎ Ketiltrout talk contribs‎ m 1,677 bytes −4‎ dab undo

curprev 11:4511:45, 28 July 2006‎ Luna Santin talk contribs‎ m 1,681 bytes −33‎ Reverted edits by 59.167.129.41 (talk) to last revision (24395651) by Zoney using VP undo
curprev 11:4311:43, 28 July 2006‎ 59.167.129.41 talk‎ 1,714 bytes +33‎ No edit summary undo

curprev 12:3412:34, 30 September 2005‎ Zoney talk contribs‎ m 1,681 bytes −11‎ Category:Automata undo

curprev 09:4909:49, 23 July 2005‎ 134.130.242.76 talk‎ 1,692 bytes +483‎ added set based implementation details undo

curprev 04:0004:00, 21 July 2005‎ Gazpacho talk contribs‎ 1,209 bytes +4‎ stubsort undo

curprev 01:1101:11, 31 December 2004‎ Icairns talk contribs‎ 1,205 bytes +2‎ sci-stub->compu-stub undo

curprev 16:3016:30, 18 December 2004‎ P Ingerson talk contribs‎ m 1,203 bytes +4‎ sub --> sci-stub undo

Alternating finite automaton: Revision history

22 November 2023

18 August 2023

14 August 2023

13 October 2022

5 July 2021

17 May 2021

17 February 2021

13 September 2020

11 July 2019

17 December 2018

11 December 2018

15 November 2018

2 April 2018

2 August 2017

19 June 2017

25 March 2017

22 October 2015

14 July 2015

4 October 2013

7 March 2013

24 November 2012

4 December 2011

7 June 2011

11 March 2011

9 November 2010

10 February 2010

16 December 2009

5 July 2009

23 June 2009

15 May 2009

3 February 2009

27 January 2008

18 January 2007

15 January 2007

31 December 2006

3 October 2006

28 July 2006

30 September 2005

23 July 2005

21 July 2005

31 December 2004

18 December 2004