An 11-state trellis automaton for a P-complete language