extract_R_symbolic

ludics.main.extract_R_symbolic(transition_matrix)

Extracts the submatrix of transitions from transitive states to absorbing states for a transition matrix with symbolic values

Parameters

• transition_matrix: numpy.array - A square matrix of numeric transition probabilities. May contain symbolic values

Returns

• numpy.array - the submatrix of transitions from transitive states to absorbing states