decidability problem 可判定问题
理论计算机科学 可计算性与计算复杂性 释文 decidable problem 可判定问题
- syntactic pattern recognition
- syntactic picture parsing
- syntactic reconstruction
- syntactic rule
- syntactics
- syntactic structural ambiguity
- syntactic structure
- syntactic subordination tree
- syntactic system
- syntactic theorem
- syntactic tree
- syntactic type calculus
- syntactic valence
- syntactic variable
- Syntatic Patterns in Modern Chinese
- syntax
- syntax analysis
- syntax analysis, parsing
- syntax-based statistical translation model
- syntax development
- syntax-directed editor
- Syntax-Driven Model
- syntax error
- syntaxis
- syntax of first order predicate calculus