Kernel: Python 3
context
.cerny
(n
)
Create the Černý automaton with states.
Preconditions:
the labelset is free
the labelset has at least two generators
The Černý automata are -states DFA defined by the following transition function:
where and denote two letters of the labelsets.
See also:
Examples
In [1]:
In [2]: