Perhaps, COMPLEMENTATION_OF_B%C3%BCCHI_AUTOMATON is not a misspelling but a real word. Click here to search for it in our spellcheck dictionary.