Module parol::analysis::reachability

Module with reachability calculations

Functions

• all_non_terminals_reachable
  Detects whether all non-terminals are reachable
• nt_producing_productions
  Calculates the numbers of all productions that eventually can produce the given non-terminal by applying several derivation steps.
• nt_reachability
  Calculates the reachable non-terminals for each non-terminal of the given Cfg.
• reachable_from_non_terminal
  Calculates for a given non-terminal all reachable non-terminals. Used for special derivation calculations (i.e. FOLLOW k relations)
• reachable_from_production
  Calculates for a given production all reachable non-terminals. Used for special derivation calculations (i.e. FOLLOW k relations)
• reachable_non_terminals
  Calculates all reachable non-terminals.
• unreachable_non_terminals
  Calculates all unreachable non-terminals.