[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
----------- следущая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : отсутствует
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: отсутствует
Url     : http://lists.altlinux.org/pipermail/devel/attachments/20061217/7486d2bf/attachment.bin