拥护者
发表于 2025-3-28 18:15:54
http://reply.papertrans.cn/63/6276/627571/627571_41.png
cumulative
发表于 2025-3-28 19:11:20
Die kontext-freien Sprachen (CF-Sprachen)abulars) erzeugten Monoids. Eine Grammatik haben wir dargestellt als einen Algorithmus, der es uns erlaubt, die Wörter (die Sätze) einer Sprache abzuzählen. Ebenfalls haben wir das Interesse betont, das wir an einem Algorithmus haben, der bei Eingabe eines Wortes (eines Satzes) die Frage entscheidet, ob es (er) zu der Sprache gehört oder nicht.
Water-Brash
发表于 2025-3-29 01:43:41
http://reply.papertrans.cn/63/6276/627571/627571_43.png
以烟熏消毒
发表于 2025-3-29 03:04:44
http://reply.papertrans.cn/63/6276/627571/627571_44.png
遭遇
发表于 2025-3-29 07:56:50
http://reply.papertrans.cn/63/6276/627571/627571_45.png
受辱
发表于 2025-3-29 11:25:16
http://reply.papertrans.cn/63/6276/627571/627571_46.png
凹处
发表于 2025-3-29 16:41:44
Berechenbarkeit und EntscheidbarkeitIn diesem Kapitel findet man einige in der Theorie der Grammatiken unentbehrliche Begriffe, die die Berechenbarkeit und Entscheidbarkeit betreffen. Um die Verkettung der Ideen kürzer und aufgelockerter darzustellen, sind sehr oft die technischen Details der Beweise als Übungsaufgaben gestellt.
细查
发表于 2025-3-29 23:31:08
http://reply.papertrans.cn/63/6276/627571/627571_48.png
寒冷
发表于 2025-3-29 23:57:11
http://reply.papertrans.cn/63/6276/627571/627571_49.png
Atheroma
发表于 2025-3-30 07:36:21
http://reply.papertrans.cn/63/6276/627571/627571_50.png