ы лучшие (или любые) библиотеки с открытым исходным кодом для регулярного или неконтекстного вывода грамматики из набора примеров, которые, как считается, генерируются общей грамматикой? Я бы предпочел хорошую библиотеку на Java, Python или Ruby, но, конечно, нищие не могут быть выбором.

Я немного погуглил, но не смог найти реальных реализаций, хотя нашел много интересных ссылок.Эта библиотека выглядит интересно, но я не мог найти его доступным для скачивания нигде.

Редактировать (2011-11-14): Для ясности (хотя я не уверен, как вы все неправильно поняли), вопрос был о логическом выводе, а не о создании или разборе грамматики. Другими словами, учитывая набор строк, которые соответствуют неизвестной грамматике, найдите наиболее строгую грамматику, которой они все удовлетворяют.