Quotient of a formal language (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (en) |
| dbo:wikiPageID | 208850 (xsd:integer) |
| dbo:wikiPageLength | 2847 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1118177282 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Mathematics dbr:Computer_science dbr:String_(computer_science) dbr:Formal_language dbr:Recursively_enumerable dbr:Regular_language dbc:Formal_languages dbr:Brzozowski_derivative dbr:Context_free_language |
| dbp:wikiPageUsesTemplate | dbt:Reflist |
| dct:subject | dbc:Formal_languages |
| rdfs:comment | 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. (en) |
| rdfs:label | Quotient of a formal language (en) |
| owl:sameAs | wikidata:Quotient of a formal language https://global.dbpedia.org/id/4uCWq yago-res:Quotient of a formal language |
| prov:wasDerivedFrom | wikipedia-en:Quotient_of_a_formal_language?oldid=1118177282&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Quotient_of_a_formal_language |
| is dbo:wikiPageRedirects of | dbr:Left_quotient dbr:Right_quotient |
| is dbo:wikiPageWikiLink of | dbr:Deterministic_context-free_language dbr:Quotient dbr:Context-free_language dbr:Left_quotient dbr:Greibach's_theorem dbr:Brzozowski_derivative dbr:Sardinas–Patterson_algorithm dbr:Syntactic_monoid dbr:Right_quotient dbr:Quotient_(disambiguation) |
| is foaf:primaryTopic of | wikipedia-en:Quotient_of_a_formal_language |