User talk:JacobIngbert

Büchi automaton
Hi JacobIngbert! I've reverted your edit here with the edit summary: 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. If you want to discuss the matter further, you can start a discussion at Talk:Büchi automaton. If you have any questions that I can answer, you can ask on my talk page. If you want to talk to another volunteer, you can also ask questions at the Teahouse. Thanks! — Bilorv ( talk ) 12:28, 14 September 2020 (UTC)