appendChar

fun appendChar(a: Automaton, state: Int, c: Int): Int

Appends the specified character to the specified state, returning a new state.