海词手机词典
  • λ-随机有限状态语言