Create McNaughton algorithm