Kernel: Python 3
automaton.lift(
identities
="default")
ParseError: KaTeX parse error: \newcommand{\bra} attempting to redefine \bra; use \renewcommand Turn an automaton into a spontaneous automaton by mapping each transition into .
Preconditions:
None
See also:
Examples
In [1]:
In [2]:
In [3]:
A different set of identities can be chosen.
In [4]:
'mutable_automaton<context<lao, expressionset<context<letterset<char_letters>, q>>>>'
In [5]:
'mutable_automaton<context<lao, expressionset<context<letterset<char_letters>, q>>>>'