Trace Languages
Just as a formal language can be regarded as a subset of the set of all possible strings, so then a trace language is defined as subset of all possible traces.
A language is a trace language, or is said to be consistent with dependency D if
where
is the trace closure of a set of strings, and
is the set of strings in a set of traces.
Read more about this topic: Trace Monoid
Famous quotes containing the words trace and/or languages:
““In your company a man could die,” I said, “a man could die and you wouldn’t even notice, there’s no trace of friendship, a man could die in your company.””
—Max Frisch (1911–1991)
“The very natural tendency to use terms derived from traditional grammar like verb, noun, adjective, passive voice, in describing languages outside of Indo-European is fraught with grave possibilities of misunderstanding.”
—Benjamin Lee Whorf (1897–1934)