Schneller Zugriff als Browser!
24 Beziehungen: Algorithmus, Alphabet (Informatik), Ampel, Automatentheorie, Computation Tree Logic, Deadlock (Informatik), Determinismus (Algorithmus), Deterministischer endlicher Automat, Diskret, Endlicher Automat, Kontinuität (Philosophie), Korrektheit (Informatik), Model Checking, Nichtdeterminismus, Petri-Netz, Regulärer Ausdruck, Temporale Logik, Terminiertheit, Theoretische Informatik, Transitionsrelation, Tupel, Turing-Vollständigkeit, Verifizierung, Verteiltes System.
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Neu!!: Transitionssystem und Algorithmus · Mehr sehen »
Alphabet (Informatik)
In der Informatik und der mathematischen Logik ist ein Alphabet eine endliche Menge voneinander unterscheidbarer Symbole, die auch Zeichen oder Buchstaben genannt werden.
Neu!!: Transitionssystem und Alphabet (Informatik) · Mehr sehen »
Ampel
Schwedischer Lichtsignalgeber Verkehrsturm am Potsdamer Platz in Berlin mit der ersten Ampelanlage Deutschlands, in Betrieb genommen im Dezember 1924 Rathauskreuzung in Schweinfurt mit Lichtzeichenanlage. Sie wurde in den 1950er Jahren von einem Polizisten in einer 1953 in Betrieb genommenen Kabine angepasst an das jeweilige Verkehrsaufkommen geschaltet Zeichen 131 der StVO – Lichtzeichenanlage (Deutschland) Ampel (von „kleine Flasche “, spätere übertragene Bedeutung „Leuchte“) ist die allgemeinsprachliche Bezeichnung für einen Signalgeber einer Lichtsignalanlage (LSA) oder Lichtzeichenanlage (LZA).
Neu!!: Transitionssystem und Ampel · Mehr sehen »
Automatentheorie
Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt.
Neu!!: Transitionssystem und Automatentheorie · Mehr sehen »
Computation Tree Logic
CTL-Formeln visualisiert Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, deren Modell der Zeit eine baumartige Struktur hat.
Neu!!: Transitionssystem und Computation Tree Logic · Mehr sehen »
Deadlock (Informatik)
Deadlock oder Verklemmung bezeichnet in der Informatik einen Zustand, bei dem eine zyklische Wartesituation zwischen mehreren Prozessen auftritt, wobei jeder beteiligte Prozess auf die Freigabe von mindestens einem Betriebsmittel (einer Ressource) wartet, das ein anderer beteiligter Prozess bereits exklusiv belegt hat.
Neu!!: Transitionssystem und Deadlock (Informatik) · Mehr sehen »
Determinismus (Algorithmus)
Ein deterministischer Algorithmus ist ein Algorithmus, bei dem nur definierte und reproduzierbare Zustände auftreten.
Neu!!: Transitionssystem und Determinismus (Algorithmus) · Mehr sehen »
Deterministischer endlicher Automat
Ein deterministischer endlicher Automat (DEA; oder deterministic finite automaton, DFA) ist in der theoretischen Informatik ein endlicher Automat, der unter Eingabe eines Zeichens seines Eingabealphabetes (den möglichen Eingaben) von einem Zustand, in dem er sich befindet, in einen eindeutig bestimmten Folgezustand wechselt.
Neu!!: Transitionssystem und Deterministischer endlicher Automat · Mehr sehen »
Diskret
Das Adjektiv diskret (lat. discernere ‚trennen‘, ‚unterscheiden‘) wurde im 16.
Neu!!: Transitionssystem und Diskret · Mehr sehen »
Endlicher Automat
Abbildung 1: Beispiel eines EA, der eine Tür beschreibt Ein endlicher Automat (EA, auch Zustandsmaschine, Zustandsautomat;, FSM) ist ein Modell eines Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen.
Neu!!: Transitionssystem und Endlicher Automat · Mehr sehen »
Kontinuität (Philosophie)
Die Kontinuität (von lat. continuitas, „gleichbedeutend“) bezeichnet einen lückenlosen Zusammenhang, eine Stetigkeit, einen fließenden Übergang, einen durch keine Grenze unterbrochenen Zusammenhang; einen ununterbrochenen, gleichmäßigen Fortgang.
Neu!!: Transitionssystem und Kontinuität (Philosophie) · Mehr sehen »
Korrektheit (Informatik)
Unter Korrektheit versteht man in der Informatik die Eigenschaft eines Computerprogramms, einer Spezifikation zu genügen (siehe auch Verifikation).
Neu!!: Transitionssystem und Korrektheit (Informatik) · Mehr sehen »
Model Checking
Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel).
Neu!!: Transitionssystem und Model Checking · Mehr sehen »
Nichtdeterminismus
Nichtdeterminismus ist ein Konzept aus der theoretischen Informatik, in dem Algorithmen oder Maschinen (meist Turingmaschinen oder endliche Automaten) nicht nur genau eine Berechnung zu einer bestimmten Eingabe durchlaufen können (deterministisch), sondern es bei gleicher Eingabe mehrere Möglichkeiten für den Übergang in den nachfolgenden Zustand gibt.
Neu!!: Transitionssystem und Nichtdeterminismus · Mehr sehen »
Petri-Netz
Als Petri-Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet.
Neu!!: Transitionssystem und Petri-Netz · Mehr sehen »
Regulärer Ausdruck
Ein regulärer Ausdruck (Abkürzung RegExp oder Regex) ist in der theoretischen Informatik eine Zeichenkette, die der Beschreibung von Mengen von Zeichenketten mit Hilfe bestimmter syntaktischer Regeln dient.
Neu!!: Transitionssystem und Regulärer Ausdruck · Mehr sehen »
Temporale Logik
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können.
Neu!!: Transitionssystem und Temporale Logik · Mehr sehen »
Terminiertheit
Terminiertheit ist ein Begriff aus der Berechenbarkeitstheorie, einem Teilgebiet der theoretischen Informatik.
Neu!!: Transitionssystem und Terminiertheit · 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!!: Transitionssystem und Theoretische Informatik · Mehr sehen »
Transitionsrelation
Eine Transitionsrelation (auch Übergangsrelation) ist in der Informatik eine Relation, die mögliche Übergänge beschreibt.
Neu!!: Transitionssystem und Transitionsrelation · Mehr sehen »
Tupel
Tupel (abgeleitet von mittellateinisch quintuplus ‚fünffach‘, septuplus ‚siebenfach‘, centuplus ‚hundertfach‘ etc.) sind in der Mathematik neben Mengen eine wichtige Art und Weise, mathematische Objekte zusammenzufassen.
Neu!!: Transitionssystem und Tupel · Mehr sehen »
Turing-Vollständigkeit
Mit Turing-Vollständigkeit (engl. turing completeness) eines Systems wird seine universelle Programmierbarkeit beschrieben.
Neu!!: Transitionssystem und Turing-Vollständigkeit · Mehr sehen »
Verifizierung
Verifizierung oder Verifikation (von und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist.
Neu!!: Transitionssystem und Verifizierung · Mehr sehen »
Verteiltes System
Ein verteiltes System ist nach der Definition von Andrew S. Tanenbaum ein Zusammenschluss unabhängiger Computer, die sich für den Benutzer als ein einziges System präsentieren.
Neu!!: Transitionssystem und Verteiltes System · Mehr sehen »
