Mit einem Anagramm-Wörterbuch habe ich das knifflige Wortproblem schnell gelöst.
Using an anagram dictionary, I quickly solved the challenging word problem.
Ihr Wortproblem ist in Linearzeit entscheidbar und sie sind eine echte Obermenge der deterministisch-kontextfreien Sprachen.
Their word problem is decidable in linear time and they are a proper superset of the deterministic context-free languages.
Normalformen und das Wortproblem[Bearbeiten | Quelltext bearbeiten]
Eines der wichtigen Probleme, das im Kontext eines ARS formuliert werden kann, ist das Wortproblem: Gegeben x und y, sind diese beiden Objekte äquivalent unter der Relation <-> {\displaystyle {\stackrel { }{\leftrightarrow}}}?
One of the important problems that may be formulated in an ARS is the word problem: given x and y are they equivalent under <-> {\displaystyle {\stackrel { }{\leftrightarrow}}}?
Das Wortproblem für ein ARS ist im Allgemeinen unentscheidbar.
The word problem for an ARS is undecidable in general.
Doch mahnten wohlbekannte noch ungelöste Pro bleme (etwa das Wortproblem der Gruppentheorie, oder das zehnte Hilbertsche Problem, das die Frage nach der Lösbarkeit von diophanti schen Gleichungen betrifft) zur Vorsicht.
However, well-known, yet unsolved problems (problems like the word problem of group theory or Hilbert's tenth problem, which considers the question of solvability of Diophantine equations) were warnings to be careful.
Nowikows Vater war der Mathematiker Pjotr Sergejewitsch Nowikow, der das Wortproblem für Gruppen löste und wichtige Beiträge zum Burnside-Problem lieferte.
His father was Pyotr Sergeyevich Novikov, who gave the negative solution of the word problem for groups. His important mathematicians.
Nowikows Vater war der Mathematiker Pjotr Sergejewitsch Nowikow, der das Wortproblem für Gruppen löste und wichtige Beiträge zum Burnside-Problem lieferte.
His father was Pyotr Sergeyevich Novikov, who gave the negative solution of the word problem for groups.
Das Wortproblem für diese Grammatiktypen kann mit einem parallelen Algorithmus in linearer Zeitkomplexität gelöst werden.
The membership problem for all these type of grammars can be solved with a parallel algorithm in linear time.
Das grundlegendste Beispiel ist das Wortproblem für Polynomideale, welches darin besteht zu entscheiden, ob ein gegebenes Polynom Element eines gegebenen Ideals ist.
The most fundamental example is the membership problem for ideals, i.e. to decide whether a given polynomial is a member of a given ideal.
Dies liefert direkt einen Linearzeit-Algorithmus für das Wortproblem von Sprachen aus CRCL.
This yields a linear time algorithm for the membership problem of a fixed language in CRCL.
Da Gröbnerbasen verwendet werden können, um das Wortproblem für Polynomideale zu lösen, muss ihre Berechnung ebenfalls schwer sein.
Since Gröbner bases can be used to solve the membership problem easily, their computation must be hard, too.
Das Wortproblem für solche Grammatiken hat eine lineare Zeitkomplexität.
The membership problem for such grammars can be solved using a linear time complexity algorithm.
