это в общем все тот же вопрос, какую область мы рассматриваем, каких-то формальных определений структур данных или реализации. Потому что с точки зрения реализации могут массивом назвать штуку которая нефига не массив например с точки зрения вышеупомянутых ADT. Или могут штуку которая не массив для простых случаев хранить как массив. Поэтому в простых случаях мы получим гарантии массива.
Поэтому на мой взгляд на вопросы типа "чем отличается массив от линкелиста" желательно отвечать так же как на вопросы в духе "чем отличается абстрактный класс от интерфейса": "А где, простите?"