Definiton und Begriff gesucht

Computer: Software & Programmierung Programmierung allgemein
#1

Guten Morgen

Irgendwo habe ich mal gelesen, dass ein Programmiersprache erst dann eine ist, wenn mit ihr sämtliche Rechen-Operationen (oder so ähnlich) bewerkstelligt werden können. Mit HTML und ANSI SQL z.B. soll das ja nicht gehen. Kennt jemand diese Definition, wenn ja, wo finde ich diese?

Wie nennt man Programmiersprachen die einen Typ für alles verwenden können (wie z.B. Variant in VBA) oder der Typ nicht spezifiziert werden muss (wie z.B. PHP $xyz = „Hallo“ od. = 16 od. = 3.14). Wie heisst der Begriff?

Dank und Gruss

Olli

#2

Turing-Vollständigkeit und dynamisch getypte Spr.
Hallo Olli,

Irgendwo habe ich mal gelesen, dass ein Programmiersprache
erst dann eine ist, wenn mit ihr sämtliche Rechen-Operationen
(oder so ähnlich) bewerkstelligt werden können.

du meinst bestimmt Turing-vollständige Programmiersprachen; die sind vereinfacht gesagt mächtig genug, um damit alles berechnen zu können, was überhaupt berechenbar ist: http://de.wikipedia.org/wiki/Turing-Vollständigkeit

Wie nennt man Programmiersprachen die einen Typ für alles
verwenden können (wie z.B. Variant in VBA) oder der Typ nicht
spezifiziert werden muss (wie z.B. PHP $xyz = „Hallo“ od. = 16
od. = 3.14). Wie heisst der Begriff?

Ich kenne Variant in VBA nicht, aber für den zweiten Teil könnte es sein, dass du den Begriff der dynamisch getypten Sprachen meinst: http://en.wikipedia.org/wiki/Type_system (die deutsche Version ist noch recht kümmerlich).

Viele Grüße,

Andreas

#3

Hallo Olli,

Irgendwo habe ich mal gelesen, dass ein Programmiersprache
erst dann eine ist, wenn mit ihr sämtliche Rechen-Operationen
(oder so ähnlich) bewerkstelligt werden können. Mit HTML und
ANSI SQL z.B. soll das ja nicht gehen. Kennt jemand diese
Definition, wenn ja, wo finde ich diese?

Ein Sprache mit dieser Eigenschasft heißt Turing-mächtig,
siehe http://de.wikipedia.org/wiki/Turing-mächtig

Wie nennt man Programmiersprachen die einen Typ für alles
verwenden können (wie z.B. Variant in VBA) oder der Typ nicht
spezifiziert werden muss (wie z.B. PHP $xyz = „Hallo“ od. = 16
od. = 3.14). Wie heisst der Begriff?

Ein Sprache, die zur Compile-Zeit die Typen überprüft, heißt typsicher, siehe
http://de.wikipedia.org/wiki/Typisierung_(Informatik)

Viele Grüße
Thorsten

#4

Danke !
Vielen Dank an McGee und Andreas - genau das habe ich gesucht.

Gruss, Olli