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:
“Of moral purpose I see no trace in Nature. That is an article of exclusively human manufacture—and very much to our credit.”
—Thomas Henry Huxley (1825–95)
“Wealth is so much the greatest good that Fortune has to bestow that in the Latin and English languages it has usurped her name.”
—William Lamb Melbourne, 2nd Viscount (1779–1848)