[devel] apt virtual packages

[Alexey Tourbin]

On Sun, Dec 17, 2006 at 12:26:49AM +0300, Dmitry V. Levin wrote:
> > > Я не верю что это можно сделать в общем случае, поскольку иногда решений
> > > более одного.
> > 
> > В одном частном случае, когда решений больше одного, это называется
> > shift/reduce conflict.  Автоматы обходятся без чисел (без весов), это
> > фундаментальное.
> 
> Для автоматов пишут правила.

Можно одно конвертировать в другое.  То есть если веса по сути задают
convex hull тогда может быть их можно конвертировать в конечную
последовательность состояний.  Я же говорю, выбор в дискретном
автомате можно задать без весов (т.е. без бесконечного множества чисел).
В общем тут есть тонкости с точки зрения decidability и computability.

Мне надо ещё подумать.  Я это не изучил и не обдумал ещё как следует.
У меня пока только обрывки познания теплятся в пьяной голове.

Считай что я гоню.

> -- 
> ldv
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Url     : <http://lists.altlinux.org/pipermail/devel/attachments/20061217/7486d2bf/attachment-0001.bin>