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:
“A horse, a buggy and several sets of harness, valued in all at about $250, were stolen last night from the stable of Howard Quinlan, near Kingsville. The county police are at work on the case, but so far no trace of either thieves or booty has been found.”
—H.L. (Henry Lewis)
“Science and technology multiply around us. To an increasing extent they dictate the languages in which we speak and think. Either we use those languages, or we remain mute.”
—J.G. (James Graham)