Cora functions in the accessibility module

  1. num-acc-states, num-coacc-states
  2. accessible, coaccessible, trim
  3. is-accessible, is-coaccessible, is-trim

1. num-acc-states, num-coacc-states

$> Cora num-acc-states aut

$> Cora num-coacc-states aut

Parameter:    aut: an automaton

Return value:
The number of accessible (resp. coaccessible) states.

2. accessible, coaccessible, trim

$> Cora accessible aut

$> Cora coaccessible aut

$> Cora trim aut

Parameter:    aut: an automaton

Return value:
An automaton where every state in aut which is not accessible (resp. coaccessible, useful) is removed. The names of the remaining states are preserved.

3. is-accessible, is-coaccessible, is-trim

$> Cora is-accessible aut

$> Cora is-coaccessible aut

$> Cora is-trim aut

Parameter:    aut: an automaton

Return value:
Print true if the automaton is accessible (resp. coaccessible, trim), false otherwise.
The command exits with value 0 if the automaton is the property is true, 1 otherwise.
The printing can be disable with option -V=false.