| dbo:abstract
|
- Problém ekvivalence jazyků je v teoretické informatice a v teorii formálních jazyků problém rozhodnout, zda dané dvě reprezentace formálních jazyků generují stejný jazyk. U jazyků zadaných konečným automatem je problém ekvivalence rozhodnutelný, ale je výpočetně velmi náročný, protože je . V případě složitějších tříd jazyků, jako jsou jazyky generované zásobníkovým automatem nebo bezkontextovou gramatikou je problém ekvivalence algoritmicky nerozhodnutelný. (cs)
- In theoretical computer science and formal language theory, the equivalence problem is the question of determining, given two representations of formal languages, whether they denote the same formal language. The complexity and decidability of this decision problem depends upon the type of representation under consideration. For instance, in the case of finite-state automata, equivalence is decidable, and the problem is PSPACE-complete.Further, in the case of deterministic pushdown automata, equivalence is decidable, Géraud Sénizergues won the Gödel Prize for this result. Subsequently the problem was shown to lie in TOWER, the least non-elementary complexity class. It becomes an undecidable problem for pushdown automata or any machine that can decide context-free languages or more powerful languages. (en)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1402 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- Problém ekvivalence jazyků je v teoretické informatice a v teorii formálních jazyků problém rozhodnout, zda dané dvě reprezentace formálních jazyků generují stejný jazyk. U jazyků zadaných konečným automatem je problém ekvivalence rozhodnutelný, ale je výpočetně velmi náročný, protože je . V případě složitějších tříd jazyků, jako jsou jazyky generované zásobníkovým automatem nebo bezkontextovou gramatikou je problém ekvivalence algoritmicky nerozhodnutelný. (cs)
- In theoretical computer science and formal language theory, the equivalence problem is the question of determining, given two representations of formal languages, whether they denote the same formal language. The complexity and decidability of this decision problem depends upon the type of representation under consideration. It becomes an undecidable problem for pushdown automata or any machine that can decide context-free languages or more powerful languages. (en)
|
| rdfs:label
|
- Problém ekvivalence jazyků (cs)
- Equivalence problem (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
