Здравствуйте, Аноним, Вы писали:

А>Может ли кто-нибудь подсказать, что выбрать для реализации библиотеки лексического/синтаксического анализа ?
А>OCaml или LISP ?

Попробуй F# (OCaml для .NET). Можно программировать как в режиме совместимости с OCaml'ом, так и в более удобном синтаксисе (опция #light). Вместе с компилятором и интерпретатором поставляются утилиты FsLex и FsYacc — генераторы лексических и синтаксических анализаторов.