[FOM] What Is a Syntactic Property?
Timothy Y. Chow
tchow at math.princeton.edu
Fri Mar 20 13:15:33 EDT 2020
Riki Heck wrote:
> Anyone know of any good papers that try to answer that question? The
> underlying question, really, is a contrastive one: as opposed to a
> semantic property.
This is at most a very partial answer to your question, but in
computational complexity theory there is distinction between syntactic
complexity classes and semantic complexity classes. There's a useful
discussion of this topic at the CS Theory StackExchange website:
https://cstheory.stackexchange.com/q/1233
For complexity classes with a leaf language characterization, there is a
formal way to define syntactic versus semantic. However, while most
complexity classes have a leaf language characterization, not all of them
do.
Tim
More information about the FOM
mailing list