0 Daumen
91 Aufrufe

Konstruieren Sie die folgenden Turing-Maschinen in Diagrammschreibweise:
(a) Mult, die zwei Zahlen \( n \) und \( m \) multipliziert, d.h
\( s,\left.\left.\#\right|^{n} \#\right|^{m} \underline{\#} \vdash_{\text {Mult }}^{*} h,\left.\#\right|^{n \cdot m} \underline{\#} . \)
(b) Compare, die zwei Zahlen \( n \) und \( m \) vergleicht und genau dann hält, wenn diese gleich sind, d.h.
\( s,\left.\left.\#\right|^{n} \#\right|^{m} \# \vdash_{\text {Compare }}^{*} h, \ldots \text { gdw } n=m \text {. } \)
(c) \( M_{1} \), die \( L_{1} \) akzeptiert mit \( L_{1}=\left\{\left.\right|^{z}: z\right. \) ist eine dritte Potenz und \( \left.z \neq 1\right\} \).



von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community