Quotient of a formal language
http://dbpedia.org/resource/Quotient_of_a_formal_language
In mathematics and computer science, the right quotient (or simply quotient) of a language with respect to language is the language consisting of strings w such that wx is in for some string x in . Formally: In other words, we take all the strings in that have a suffix in , and remove this suffix. Similarly, the left quotient of with respect to is the language consisting of strings w such that xw is in for some string x in . Formally: In other words, we take all the strings in that have a prefix in , and remove this prefix.
rdf:langString
rdf:langString
Quotient of a formal language
xsd:integer
208850
xsd:integer
1118177282
rdf:langString
In mathematics and computer science, the right quotient (or simply quotient) of a language with respect to language is the language consisting of strings w such that wx is in for some string x in . Formally: In other words, we take all the strings in that have a suffix in , and remove this suffix. Similarly, the left quotient of with respect to is the language consisting of strings w such that xw is in for some string x in . Formally: In other words, we take all the strings in that have a prefix in , and remove this prefix. Note that the operands of are in reverse order: the first operand is and is second.
xsd:nonNegativeInteger
2847