EIN ALGORITHMUS ZUR VERARBEITUNG LOGISCHER OPERATOREN IM RAHMEN EINER AUTOMATISCHEN PROGRAMMIERUNG MITTELS PROGRAMMIERENDEN PROGRAMMS
✍ Scribed by Wilhelm Kämmerer
- Publisher
- John Wiley and Sons
- Year
- 1964
- Tongue
- English
- Weight
- 306 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
EIN ALGORITHMUS ZUR VERARBEITUNG LOGISCHER OPERATOREN IM RAHMEN EINER AUTOMATISCHEN PROGRAMMIERUNG MITTELS PROGRAMMIERENDEN PROGRAMMS von WILHELM KAMMERER in Jena Einloitung Ein in einem Operator-Schema auftretender logischer Operator verlangt zu seiner Belegung die Angabe einer Wahrheitsfunktion, die auf elementaren logischen Bedingungen aufgebaut ist, und der Operatoren, zu denen bei Erfiillung oder Nichterfiillung des logischen Operators ubergegangen werden 9011.
Von KAMYNIN, LJUBIMSKI und SCHURA-BURA~) wird ein Algorithmus angegebcn, der mittels einer mehrfachen Durchmusterung der in einen speziellen Speicherteil eingeholten und hier codiert in gestreckter Form vorliegenden Wahrheitsfunktion eine Folge bedingter und unbedingter Sprungbefehle als dem logischen Operator aquivalentes Maschinenprogramm erstellt. Dabei wird auf Unzulhglichkeiten des Verfahrens hingewiesen2), die insbesondere in der Notwendigkeit der mehrfachen Durchmusterung liegen, und als wiinschenswert bezeichnet, ein Verfahren zu besitzen, das mit einer Durchsicht auskommt.
Im folgenden wird ein Algorithmus geboten, der dieses leistet, wobei eine bei der Eingabe des logischen Operators vorxunehmende Umcodierung das gewiinschte Maschinenprogramm in einem Arbei€sgang entstehen llif3t.
Zur Schreibweisa
Die Belegung des logischen Operators werde als Eingangsinformation in der Form f(Pl,Pe,.-*>Pk)-+A,B geboten.
Darin ist f eine Wahrheitsfunktion der elementaren logischen Bedingungen p, , p 2 , . . . , m3), die unter Benutzung der aussagenlogisohen Funktoren & (,,und"), v (,,oder") und ' (Negation) und Klammerzeichen ( , ) geschrieben ist, und A bzw. B