Eine Bemerkung zum“allgemeinen Redukitions问题”von P.H.Starke。 （德语） 兹比尔0304.94050

Die Verff.kritisieren das von（克里斯蒂耶伦·达斯·冯）P.H.斯塔克[同上8，489–518（1972年；Zbl 0257.94026号)]angegebene allgemeine Redukitions fur Automaten dahingehend问题，daßdieser Ansatz zu allgemein is und an der sicher schwierigen Frage einer genauen分析Redukitions的兴趣问题vorbeizughen scheint“在Beispiel的生活中，我们不会在所有的Lösungsmethoden behandeln lassen的生活中死去[D.里希特，（mathcal{P}）-Reduzierung und（mathcal{P}\）-Minimalisierung von stochamischen Automaten，Diplorabeit，FSU Jena（1973）]behandeltes Reduktionsproblem für stochamissche Automaten angegeben，在“地方和全球范围内，Verhalten sehr kompliziert miteinander verbunden sind”。自动化的基本原理是定义Verteilungsgesetzenüber\（X^*\）。
Die Verff.weisen nach，daßeine Zustandsäquivalenz，wie sie dem allgemeinen Ansatz von Starke zugrunde liegt，für ihr Reduktionsproblem zu schwach ist und durch eine sogenannte”（\mathcal{P}）-阿塔当量“von Zuständen ersetzt werden müßte。Mit dieser modifizierten Zustandsäquivalenz lä\223；t sich jedoch die Reduktion auf dieübliche Weise durchführen，womit nach Auffassung des Ref.die Zweckmäéigkeit allgemeiner lösungsansätze，wie sie z.B.von Starke angegeben wurden，nicht etwa ad ausrudum geführt，sondern bestätigt worden sind。铝lerdings hätte zumindest der Satz auf S.498 in der Arbeit von Starke gemäßseiner eigen Konovention als“Satz”in Anführungsstrichen bezeichnet werden müssen，weil diese“Sätze”mehr den Charakter von Hypotesen tragen，die in jeder einzelen Theorye eines speziellen Automatentyps erst im einzelnen beliesen werden mussen。
Sinngemäßzu ergänzen wäre，daür die Behandrung konkreter Probleme，wie etwa das der Verff，durchaus Modifizierungen der von Starke vorgeschlagen-Problemklassifizierung und seinen Lösungsmethoden in Kauf nehmen kann，weil seine allgemeine Behandung von Reduktions-und Minimierung problemen nicht als eine exakte mathematicsche Theory，sondern als eine-Zusammenfassung und Klassifizierung vieler bis dahin in der Literatur behandelter Problemstellungen und Lösungsansätze anzusehenist。Eine echte mathematische Verallgemeinerung von vielen Reduktions-und Minimierungsansätzen in der Automatentheorie，die bisher allerdings auch nicht direct für das spezielle Problem der Verff。anwendbar ist，wird etwa durch einige kategorie-theoretische Ansátze in[E.G.马内斯（编辑），范畴理论应用于计算和控制，第一届国际研讨会论文集，旧金山，1974年2月25日至26日。莱克特。注释计算。科学。25.柏林等：Springer-Verlag（1975；Zbl 0293.00025号)]杰利弗特。

审核人：Hartmut Ehrig（柏林）

页码：24/35−5 −4 −3 −2 −1 ±0 显示扫描页面