Формат ввода:
Каждая ФЗ на новой строке. ФЗ состоит из левой и правой частей, разделенных строкой "->", "→" или "\to". Левая и правая части -- списки атрибутов, разделенных запятыми. Атрибуты могут состоять из последовательности букв, цифр, пробелов и символов "_", ".", "№". Список атрибутов опционально может быть заключен в скобки.
Поддерживаются комментарии. Комментарий начинается с символа "#" и продолжается до конца строки.
Пример:
(A, B) -> C C -> D # Комментарий D -> A # Комментарий