Очень простой цикл

[vlad]

Раз уж речь пошла про циклы... Дана последовательность. Найти позицию первого из двух последовательно идущих нулевых элементов. Кто какой цикл считает самым правильным?

Код: [Выделить]

1 0 1 1 0 1 0 1 0 0 ...
---------------^

P.S. 2Илья: твой вариант интересен как референсный от школы научного составления циклов.

[DIzer]

Раз уж речь пошла про циклы... Дана последовательность. Найти позицию первого из двух последовательно идущих нулевых элементов. Кто какой цикл считает самым правильным?

Код: [Выделить]

1 0 1 1 0 1 0 1 0 0 ...
---------------^

P.S. 2Илья: твой вариант интересен как референсный от школы научного составления циклов.

Корявое задание... но лично я за самый простой и наглядный... пусть 2 нуля являются терминальными членами, и получение осуществляется с помощью функции getel() и минимальное число элементов  в последовательности >=2, тогда (конечные автоматы не трогаем)

Код: [Выделить]

st1:=getel(); st2:=getel(); ind:=0;
WHILE  ~((st1=0) & (st2=0)) DO
INC(ind);  st1:=st2; st2:=getel();
END;
где то так....

[Peter Almazov]

Условия слишком нечеткие. Одно дело массив, когда можно заглядывать вперед, другое дело, скажем, ленивая последовательность.
Что значит "правильным". Лишнее сравнение в случае массива - это правильно?

[vlad]

Условия слишком нечеткие. Одно дело массив, когда можно заглядывать вперед, другое дело, скажем, ленивая последовательность.
Что значит "правильным". Лишнее сравнение в случае массива - это правильно?

Заглядывать вперед можно (но не за второй 0). "Правильным" - с поправкой на ваши личные пристрастия. Для кого-то это будет максимально формальная запись (классический конечный автомат в пределе), для кого-то максимально короткая и т.д.

[Илья Ермаков]

Действительно, может быть много вариантов... Но если начинать с самого простого, с массивом, без выборки во вспом. переменные, я бы строил так:

Код: [Выделить]

i := 1;
WHILE (i < n) & ~((mas[i-1] = 0) & (mas[i] = 0)) DO
INC(i)
END;
IF i < n THEN
i-1 - искомый
ELSE
не найден
END
Цикл работает с последовательностью любой длины.

Если не массив, а поток, то вариант Dizera...

--- кстати, про КА я тоже сразу подумал, если бы задачка была чуть сложнее, уже стоило бы строить КА...

[vlad]

Действительно, может быть много вариантов... Но если начинать с самого простого, с массивом, без выборки во вспом. переменные, я бы строил так:

Ага. Т.е., в принципе тебя и Дизера не коробит "двойная проверка" одних и тех же элементов? И постройки КА такая задачка не достойна?

[DIzer]

да , можно и так... но меня смутили пробельные символы между цифрами.. и я не стал напрягаться...

[DIzer]

Действительно, может быть много вариантов... Но если начинать с самого простого, с массивом, без выборки во вспом. переменные, я бы строил так:

Ага. Т.е., в принципе тебя и Дизера не коробит "двойная проверка" одних и тех же элементов? И постройки КА такая задачка не достойна?

НЕТ - я же сказал, что за наглядность.... а КА не стал строить (а так же заниматься "выкрутасами") по причине темы -"Очень простой цикл".и кроме того если автор, темы коряво ее подает не фиг вообще напрягаться..

[vlad]

и кроме того если автор, темы коряво ее подает не фиг вообще напрягаться..

Вот оригинальные данные: http://msdn.microsoft.com/en-us/library/windows/desktop/ms683187(v=vs.85).aspx
Оригинальная задача: сложить полученные строки в массив.

Сначала у меня была идея, собственно, найти два нуля (конец), а потом воспользоваться библиотечной tokenize (указав нули как разделители). Да, и я тоже думал о примерно таких циклах как вы с Ильей привели. Но мне такой цикл показался слишком страшным только для того, чтобы найти конец. Поэтому я в итоге написал так:

Код: [Выделить]

wchar_t* env = ::GetEnvironmentStringsW();
...
wchar_t* next;
while ((next = ::wcschr(env, '\x0')) > env)
{
    result.push_back(std::wstring(env, next));
    env = next + 1;
}


[DIzer]

Понял.. 2 Vlad- мне не нравится ваше решение... просто по тому, что оно
1. Не является наглядным
2. Низкоуровневое
ИМХО
1. мое нагляднее (отражает 1 в 1 высокоуровневый алгоритм)
2. легко РЕАЛИЗУЕТСЯ на ЛЮБОМ императивном ЯП
3. знаний собственно ЯП (и подлежащих моделей) - не требуется.
Но  разумеется если ТРЕБУЕТСЯ производительность, то его нужно модифицировать в соответствии с вашими замечаниями...

[Kemet]

В этой задаче, при решении на Обероне, я предпочту раскрутить одну итерацию, как-то так

Код: [Выделить]

входные данные
n # 0, result = -1 (индексы начинаются с 0), i = - 1
WHILE ( r < 0 ) & (  i < n  ) DO
    INC (i);
    IF Arr[i] = 0 THEN
        INC(i);
        IF Arr[i] = 0 THEN r := i; DEC(r) END;
    END;
END;


[alexus]

В этой задаче, при решении на Обероне, я предпочту раскрутить одну итерацию, как-то так

Код: [Выделить]

входные данные
n # 0, result = -1 (индексы начинаются с 0), i = - 1
WHILE ( r < 0 ) & (  i < n  ) DO
    INC (i);
    IF Arr[i] = 0 THEN
        INC(i);
        IF Arr[i] = 0 THEN r := i; DEC(r) END;
    END;
END;


Что будет, если второй ноль окажется вне строки?

[Kemet]

Что будет, если второй ноль окажется вне строки?

Жадность фраера сгубила )))
Изначально у меня было 2 условных INC, я одним пожадничал, свернул условия и удалил один инкремент, а второй вынес в начало итерации, а условие цикла не поправил, в результате получилась лишняя итерация

Код: [Выделить]

WHILE ( r < 0 ) & (  i < n-1 ) DO
    INC (i);
    IF Arr[i] = 0 THEN
        INC(i);
        IF Arr[i] = 0 THEN r := i; DEC(r) END;
    END;
END;


[DIzer]

 2 Kemet Ну и как стоит ваша "развертка" ошибок? 

[Kemet]

2 Kemet Ну и как стоит ваша "развертка" ошибок? 

Да, в принципе, ошибка дурацкая, из-за спешки и расслабухи.
Но раскрутка цикла в данном примере дает существенный профит