Линейный просмотр у Дейкстры - как раз и есть полный проход. Выраженный в общем виде.
Проход по последовательности неизвестной длинны от её начала до конца. Последовательность состоит из {x:~B(x)}.

Линейный поиск же подразумевает много причин окончания процесса - и классифицирует, так скажем, эти исходы.

P.S. При описании этих схем в терминах x := F(x) следует не забывать о случае управляющих алгоритмов, когда явно доступного алгоритму состояния может не быть вообще (т.е. идёт только выдача/получение сигналов/инструкций), а постусловие формулируется относительно цепи событий в системе. Не спорю, что и тут можно говорить о F(x), если трактовать x в нужном смысле (говорить о состоянии в смысле, специфичном для программируемой системы). Но всё же, отметим.