Are bots allowed on HN?

I've seen a few bot accounts get shadowbanned here. Are they allowed? I've looked at the FAQ, and it doesn't seem to answer my question.