Кажется, свойства надо доказать. [[Участник:Kirelagin|Кирилл Елагин]] 00:44, 24 апреля 2012 (GST)
Самое последнее предложение противоречит определению недетерминированных программ (программа сейчас по определению недетерминированная, если в ней есть хотя бы один недет. выбор). Кажется, ошибка в определении. [[Участник:Kirelagin|Кирилл Елагин]] 00:45, 24 апреля 2012 (GST)