|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Victor Wagner 2:5020/400 26 Dec 2003 18:52:59
To : Vitaly Lugovsky
Subject : Re: Slackware
--------------------------------------------------------------------------------
Vitaly Lugovsky <vsl@ontil.ihep.su> wrote:
>> AM> А pеально ли создать такой GUI что бы pешение пpоблемы сводилось к
>>
>> А хрен его знает. Hикто пока не доказал теоремы о том, что это
>> невозможно. Hо, с другой стороны, никто и не продемонстрировал
>> возможности. В NT, например, при тонкой настойке не обойтись без regedit
>> и Resource Kit.
VL> Я уже давно склонился к мысли (и отложил её подальше), что любой UI (не
VL> обязательно с буквой G) должен быть экспертной системой. Дурацкие "визарды"
VL> - всего лишь первый шажочек в нужном направлении...
VL> Hу а все эти диалоги с галочками - направление заведомо тупиковое. Если
VL> поднапрячься, могу и доказать - подход весьма простой - система диалогов
VL> есть КА, и когда проблемная область в терминах КА невыразима (то есть,
VL> почти всегда), диалоговый гуй идёт в баню.
Во-первых, тщательнее с терминами надо, тщательнее. Понимаю, конечно,
что ты не математик, а физик, но всё же.
"Диалоговый гуй" обычным непредвзятым читателем воспринимается не как
"GUI, состоящий из конечного числа фиксированных диалогов", а как
"интерфейс, который каким-то образом осуществляет диалог с
пользователем".
Далее, по поводу конечных автоматов. Есть сильные сомнения, что
конфигурация программы в терминах КА не описывается. Точнее, по-моему,
любой вычислительный процесс на фон-неймановской машине, который
завершается в осмысленное время, в терминах КА выразим. А процессы,
которые не завершаются в осмысленное время интересны редко. И те из них,
которые интересны, обычно имеют конечное число состояний, т.е. тоже
выразимы КА.
--
--- ifmail v.2.15dev5.1
* Origin: Free Net of Leninsky,45 (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
