Task6

[ns-58]

• Используя возможности pyformlang для работы с контекстно-свободными грамматиками реализовать функцию преобразования контекстно-свободной грамматики в ослабленную нормальную форму Хомского (ОНФХ).

  def cfg_to_weak_normal_form(cfg: pyformlang.cfg.CFG) -> pyformlang.cfg.CFG:
      pass

• Реализовать функцию, основанную на алгоритме Хеллингса, решающую задачу достижимости между всеми парами вершин для заданного графа и заданной КС грамматики (не обязательно в ОНФХ).
  • Для работы с графом использовать функции из предыдущих задач.

  def hellings_based_cfpq(
    cfg: pyformlang.cfg.CFG,
    graph: nx.DiGraph,
    start_nodes: set[int] = None,
    final_nodes: set[int] = None,
  ) -> set[tuple[int, int]]:
     pass

[ns-58]

@aartdem, готово к ревью

[aartdem]

nt == pyformlang.cfg.Terminal("S") Достаточно хрупкая проверка, я так понимаю, она проходит только потому, что в тестах статртовый символ всегда "S". Нужно заменить на cfg.start_symbol

[aartdem]

акже если сейчас передать start_nodes=None или final_nodes=None, то это упадет

[ns-58]

@aartdem, вновь готово к ревью. Также запросил ревью на задачи 8,9,11