Neue Programmiersprache aus Bremen

Selbst moderne Computer können menschliche Sprachen wie Englisch oder Deutsch nicht vollständig verarbeiten, teilte die Universität Bremen mit. Dies liege daran, dass die Sprachen nicht eindeutig seien, sodass Rechner nicht genau wissen, wie Sätze zu verstehen sind. So sei es für den Menschen klar, dass ein Schild mit der Aufschrift ‘Dieser Bereich wird zur Verhütung von Straftaten durch die Polizei videoüberwacht’ bedeutet, dass die Polizei die Straftaten verhütet. Gemäß der Satzstellung sei es aber auch möglich, dass die Straftaten durch die Polizei verübt werden. Nur durch Allgemeinwissen, das dem Computer so nicht zugänglich sei, könne das richtige Verständnis sichergestellt werden.

Programmiersprachen seien ein Kompromiss zwischen guter Lesbarkeit der Anweisungen für den Menschen und gleichzeitig eindeutiger Interpretation durch den Computer. Durch technologische Weiterentwicklungen würden aber neue Anforderungen an die Sprachen gestellt, so die Wissenschaftler. So werde heutzutage nicht nur Software mit Hilfe von Programmiersprachen entwickelt, auch Computer beziehungsweise Schaltkreise würden durch sie beschrieben. Dies sei notwendig, da Schaltungen mittlerweile eine enorme Komplexität erreichten – Systeme mit Milliarden von Komponenten seien keine Seltenheit.

Gleichzeitig müsse aktuellen technologischen Entwicklungen Rechnung getragen werden. Eine dieser Entwicklungen sei die verstärkte Betrachtung von so genannter reversibler Logik. Dabei handelt es sich um Schaltungen, bei denen Operationen auch in umgekehrter Richtung ausgeführt werden können. Dies findet Anwendung beim Entwurf von Systemen mit sehr geringem Energieverbauch – sogenannten Low-Power-Systemen. Und auch Quantencomputer profitieren von solchen Schaltkreisen. Man gehe davon aus, dass diese Technologien bisherige Computer in der Zukunft ersetzen oder zumindest nachhaltig ergänzen werden.

Allerdings ließen sich die etablierten Programmiersprachen für diese Technologien nicht mehr verwenden. Alternativen seien nötig, welche die Arbeitsgruppe Rechnerarchitektur um Professor Rolf Drechsler nun entwickelt habe. Dabei entstand die Programmiersprache SyReC – die es ermöglicht, sehr komplexe Systeme für reversible Schaltungen zu beschreiben. Der wissenschaftliche Beitrag, der SyReC beschreibt, wurde beim ‘Forum on Design Languages’ in Southampton jetzt mit dem ‘Best Paper Award‘ ausgezeichnet.

Silicon-Redaktion

Recent Posts

OT-Security braucht zunächst Asset-Transparenz

Unternehmen wissen oft nicht, welche Geräte in der Produktion eine IP-Adresse haben, warnt Peter Machat…

23 Stunden ago

Künstliche Intelligenz erreicht die Cloud

KPMG-Studie: 97 Prozent der Cloud-nutzenden Unternehmen verwenden KI-Dienste von Cloud-Anbietern.

2 Tagen ago

AI Act: Durchblick im Regulierungsdickicht

Bitkom veröffentlicht Online-Tool und Leitfaden zum KI-Einsatz in Unternehmen. Beide Angebote sind kostenlos.

2 Tagen ago

Coveo beschleunigt europäisches Wachstum durch Expansion in der DACH-Region

Neue Kunden sind unter anderem SAP, Conforama Schweiz, 11teamsports, Phillip Morris International, Baywa und Thalia.

3 Tagen ago

Britische Behörden setzen auf Oracle Cloud

Oracle schafft einheitliche Plattform für vier Ministerien und über 250.000 Beamte mit der Oracle Applications…

3 Tagen ago

Windows 10: Wer haftet für Datenschutz nach Support-Ende?

Der Grund: Geräte, die mit veralteter Software arbeiten, sind anfällig für Cyberangriffe und Datenlecks.

3 Tagen ago