海词手机词典
  • In this paper a 1 inkdot two way alternating pushdown automaton (2apda) is introduced which is a two way alternating pushdown automaton (2apda) with the additional power of marking at most 1 tape cell on the input (with an inkdot) once.

    播放读音 播放读音