Task8

[ns-58]

• Реализовать функцию, основанную на тензорном алгоритме, решающую задачу достижимости между всеми парами вершин для заданного графа и заданной КС грамматики.
  • Для преобразования грамматики в RSM использовать результаты предыдущих работ. Явно опишите функции преобразования CFG -> RSM и EBNF -> RSM
  • Для реализации матричных операций использовать sciPy.
  • Необходимые функции:

  def tensor_based_cfpq(
    rsm: pyformlang.rsa.RecursiveAutomaton,
    graph: nx.DiGraph,
    start_nodes: set[int] = None,
    final_nodes: set[int] = None,
  ) -> set[tuple[int, int]]:
    pass
  
  
  def cfg_to_rsm(cfg: pyformlang.cfg.CFG) -> pyformlang.rsa.RecursiveAutomaton:
    pass
  
  
  def ebnf_to_rsm(ebnf: str) -> pyformlang.rsa.RecursiveAutomaton:
    pass

[ns-58]

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