Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Installieren
Schneller Zugriff als Browser!
 

Spursprache

Index Spursprache

In der Theoretischen Informatik versteht man unter einer Spursprache eine Formale Sprache, die parallel ausführbare Prozesse modelliert.

5 Beziehungen: Äquivalenzrelation, Formale Sprache, Kongruenzrelation, Theoretische Informatik, Zellulärer Automat.

Äquivalenzrelation

Unter einer Äquivalenzrelation versteht man in der Mathematik eine zweistellige Relation, die reflexiv, symmetrisch und transitiv ist.

Neu!!: Spursprache und Äquivalenzrelation · Mehr sehen »

Formale Sprache

Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.

Neu!!: Spursprache und Formale Sprache · Mehr sehen »

Kongruenzrelation

In der Mathematik, genauer der Algebra, nennt man eine Äquivalenzrelation auf einer algebraischen Struktur eine Kongruenzrelation, wenn die fundamentalen Operationen der algebraischen Struktur mit dieser Äquivalenzrelation verträglich sind.

Neu!!: Spursprache und Kongruenzrelation · Mehr sehen »

Theoretische Informatik

Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.

Neu!!: Spursprache und Theoretische Informatik · Mehr sehen »

Zellulärer Automat

Beispiel für ein raumzeitliches Muster, das sich in einem zellulären Automaten ausbildetDaniel Dennett, (1995), Darwin's Dangerous Idea, Penguin Books, London, ISBN 978-0-14-016734-4, ISBN 0-14-016734-X Zelluläre oder auch zellulare Automaten dienen der Modellierung räumlich diskreter dynamischer Systeme.

Neu!!: Spursprache und Zellulärer Automat · Mehr sehen »

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »