num-acc-states
, num-coacc-states
accessible
, coaccessible
,
trim
is-accessible
, is-coaccessible
,
is-trim
num-acc-states
,
num-coacc-states
$> Cora num-acc-states aut $> Cora num-coacc-states aut
Parameter: aut: an automaton
accessible
,
coaccessible
,
trim
$> Cora accessible aut $> Cora coaccessible aut $> Cora trim aut
Parameter: aut: an automaton
is-accessible
,
is-coaccessible
,
is-trim
$> Cora is-accessible aut $> Cora is-coaccessible aut $> Cora is-trim aut
Parameter: aut: an automaton
true
if the automaton is accessible (resp.
coaccessible, trim), false
otherwise.
0
if the automaton is the property is true,
1
otherwise.