亲属
发表于 2025-3-25 05:15:52
http://reply.papertrans.cn/17/1664/166393/166393_21.png
GULF
发表于 2025-3-25 08:58:26
Alternierende Automatenells, andererseits aber als nicht ausdrucksstärker erwiesen haben. Ihr Vorteil im Vergleich zu nichtdeterministischen bestand darin, dass sich gewisse Sprachen mit wesentlich kleineren alternierenden Automaten erkennen lassen und dass sie sich direkt komplementieren lassen.
胖人手艺好
发表于 2025-3-25 12:26:42
Automaten auf endlichen Bäumenes kann man in natürlicher Weise auf mehrere Nachfolgerfunktionen erweitern. So erhält man eben Bäume, die in der Informatik mindestens so eine wichtige Rolle wie Wörter spielen, siehe z.B. Parse-Bäume kontext-freier Grammatiken, abstrakte Datentypen, XML-Dokumente, etc.
宫殿般
发表于 2025-3-25 18:11:58
Anwendungenerten λ-Kalküls unter gewissen Kongruenzen gleich sind; die zweite behandelt die bereits zuvor erwähnten XML-Dokumente als Bäume und erklärt, wo Baumautomaten dabei zum Einsatz kommen können. Zum genaueren Verständnis dieses Kapitels ist eine gewisse Vorkenntnis, insbesondere über den λ-Kalkül, evtl. aber auch über XML, hilfreich.
coagulation
发表于 2025-3-25 20:28:12
Komplement-Abschluss und Leerheitsproblemeren. Danach beweisen wir den Komplementabschluss der regulären Sprachen unendlicher Bäume sowie die Entscheidbarkeit des Leerheitsproblems und folgern daraus im folgenden Kapitel, in dem wir nun wieder Logiken auf unendlichen Bäumen betrachten werden, wieder die Entscheidbarkeit einer monadischen Logik zweiter Stufe auf unendlichen Bäumen.
过滤
发表于 2025-3-26 01:09:10
http://reply.papertrans.cn/17/1664/166393/166393_26.png
dearth
发表于 2025-3-26 04:29:20
http://reply.papertrans.cn/17/1664/166393/166393_27.png
angiography
发表于 2025-3-26 09:23:49
Martin Hofmann,Martin LangeEnthält über 100 Übungsaufgaben.Enthält viele Verweise auf weiterführende Literatur.Behandelt klassische Resultate der Automatentheorie mit modernen Methoden.Includes supplementary material:
recede
发表于 2025-3-26 15:18:59
http://reply.papertrans.cn/17/1664/166393/166393_29.png
冒失
发表于 2025-3-26 19:33:41
https://doi.org/10.1057/9781137284730 Situation gut ist. Dazu führen wir ein duales Konzept ein—das der .. Dies lässt einen Automaten raten, welcher Nachfolgezustand in einer gegebenen Situation schlecht ist, d.h. durch welchen Nachfolgezustand sich kein Lauf finden lässt, der akzeptierend ist..Man kann dies auch als paralleles Berechn