Recursively Enumerable Language, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
39,00 €
Das Buch "Recursively Enumerable Language" bietet eine umfassende Einführung in das Konzept der rekursiv aufzählbaren Sprachen, die in den Bereichen Mathematik, Logik und Informatik von zentraler Bedeutung sind. Es behandelt die Definitionen und Eigenschaften dieser formalen Sprachen, die auch als teilweise entscheidbar oder Turing-erkennbar bekannt sind. In der Chomsky-Hierarchie der formalen Sprachen wird diese Art von Sprache als Typ-0 klassifiziert. Das Werk stützt sich auf Artikel aus Wikipedia und anderen freien Quellen und bietet somit einen breiten Überblick über die Thematik. Es wird erläutert, wie rekursiv aufzählbare Sprachen in die Kategorien regulärer, kontextfreier, kontextsensitive und rekursiver Sprachen eingeordnet werden können. Zudem wird Post's Theorem behandelt, das die Beziehung zwischen rekursiv aufzählbaren Sprachen und ihrer Komplementärklasse co-RE im Rahmen der arithmetischen Hierarchie aufzeigt.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
