Каковы лучшие (или любые) библиотеки с открытым исходным кодом для регулярного или неконтекстного вывода грамматики из набора примеров, которые, как считается, генерируются общей грамматикой?Я бы предпочел хорошую библиотеку на Java, Python или Ruby, но, конечно, нищие не могут быть выбором.
Я немного погуглил, но не смог найти реальных реализаций, хотя нашел многоинтересные ссылки. Эта библиотека выглядит интересно, но я нигде не могу найти ее доступной для скачивания.
Редактировать (2011-11-14): Для ясности (хотя я не уверен, как вы всенеправильно понято), речь шла о логическом выводе, а не о создании или разборе грамматики.Другими словами, учитывая набор строк, которые соответствуют неизвестной грамматике, найдите наиболее строгую грамматику, которой они все удовлетворяют.