Конечные автоматы бывают разные. Есть генераторы исходного кода по схемам-описаниям, есть табличные исполнители, а есть неявные конечные автоматы. Они сложнее, но читаются как детективный роман -- со множеством веток предположений и откатов на исходные позиции, а так же с необходимостью найти на них время. Неявные конечные автоматы в разных ( Read more... )

Trolltech добавила в пакет лицензий QT поддержку GPLv3. QT3 под GPLv3 уже доступна, QT4 доступна в Snapshots.

Это означает, что теперь можно будет поддержку CIFS в KDE обеспечивать на основе Samba 3.2.

Samba Team перешла на использование GNU GPLv3 практически сразу после публикации окончательной версии лицензии. Принятое в июле 2007 решение состоит в том, что весь код, выпущенный после ветки 3.0 (на сегодня это ветки 3.2 и 4.0) будет доступен под GNU GPLv3 (и отдельные компоненты под GNU LGPLv3). На практике это означает, что все приложения, ( Read more... )

За суматохой дней забыл о главном -- я, наконец, закончил перевод анализа черновых версий GNU GPLv3 по отношению к российскому законодательству, обещанный lqp еще летом, и отправил его Эбену Моглену. Надеюсь, что результаты кропотливой работы Федора учтут при выпуске GPLv3 draft 3. По крайней мере, Эбен ответил так:
From: Eben Moglen Subject: Re: ( Read more... )