Assertion: binary sequence | /r/CapableOf | represent formal language
Facets:
value: by setting the n
type: MANNER
Source sentences:
text: An infinite binary sequence can represent a formal language (a set of strings) by setting the n th bit of the sequence to 1 if and only if the n th string (in shortlex order) is in the language.