Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=619831 --- Comment #3 from David A. Wheeler <[email protected]> 2010-08-02 14:19:44 EDT --- "Büchi" is the correct spelling, with the second letter as "u umlaut", and it's okay to use UTF-8 to encode such letters. But obviously that causes some problems for you, so I will change it. The two main alternative spellings are "Buchi" and "Buechi". Wikipedia accepts them both. A Google search for "Buchi automata" returned about 8,600 entries, while "Beuchi automata" returned 889 results. Since "Buchi automata" seems to be far more common, I'll switch to that. Any other changes you'd like to see? -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ package-review mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
