Durch Modifikation der Abbruchbedingung der Zharkov/Blinkov-Methode gelang es, auf algorithmische Weise endliche abgeschnittene Pommaret-Basen zu konstruieren, welche in jedem Fall bereits gewöhnliche Gröbnerbasen sind. (Quelle: Forschungsbericht Uni Leipzig)
Als DOFOREVER-Schleife, auch Cycle-Schleife genannt, wird eine Form der Wiederholung bezeichnet, bei der an beliebiger Stelle des Schleifenkörpers eine Abbruchbedingung stehen kann. (Quelle: Schneider: Lexikon Informatik)
Bei der UNTIL-Schleife wird der Schleifenkörper mindestens einmal ausgeführt und anschließend eine Abbruchbedingung geprüft; die Wiederholung erfolgt dann solange, bis die Abbruchbedingung erfüllt ist (nichtabweisende Schleife). (Quelle: Schneider: Lexikon Informatik)
件，
裂
废
DE-DE
Sätze
DE-CN
EN-CN
Bilder
Google
Wiki
