Recursively Enumerable Language, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Das Buch "Recursively Enumerable Language" bietet eine umfassende Einführung in das Konzept der rekursiv aufzählbaren Sprache... Mehr erfahren
Finde die besten Angebote
Bester Preis19 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing