[−][src]Function automatic_relations::convolution::aligned::automaton::state_convolution
pub fn state_convolution<E, F: Symbol, Q: LanguageState<F, E>>(
initial_state: Convoluted<Q>,
env: &E
) -> Automaton<Rank<Convoluted<F>>, Convoluted<Q>, NoLabel>