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.