I think it would be helpful if the "Automaton" views would give nodes a different background color (e.g., red) if any of the cells in their table view are locally ambiguous (that is, if there is an R/R or S/R conflict).
To be more concrete:
Since State 6 is inadequate, it would be helpful if State 6 could have a red background in the automaton view, too.
I think it would be helpful if the "Automaton" views would give nodes a different background color (e.g., red) if any of the cells in their table view are locally ambiguous (that is, if there is an R/R or S/R conflict).
To be more concrete:
Since State 6 is inadequate, it would be helpful if State 6 could have a red background in the automaton view, too.