Schneller Zugriff als Browser!
16 Beziehungen: Algorithmus, Compilerbau, Egon Börger, Endlicher Automat, Informatik, Lecture Notes in Computer Science, Martin Odersky, Mathematische Struktur, Microsoft, Modellgetriebene Softwareentwicklung, Operationelle Semantik, Schaltwerk (Technische Informatik), Semantik, Springer Science+Business Media, Universität Pisa, Verifizierung.
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!!: Abstrakte Zustandsmaschine und Algorithmus · Mehr sehen »
Compilerbau
Compilerbau, deutsch Übersetzerbau, ist eine Disziplin der Informatik, die sich mit dem Entwurf und der Programmierung von Compilern, die einen Quelltext in einen Zielcode umsetzen, beschäftigt.
Neu!!: Abstrakte Zustandsmaschine und Compilerbau · Mehr sehen »
Egon Börger
Egon Börger (2015) Egon Börger (* 13. Mai 1946 in Bad LaerJean-Raymond Abrial, Uwe Glässer:. Abgerufen am 16. Juni 2021.) ist ein deutscher Logiker und Informatiker.
Neu!!: Abstrakte Zustandsmaschine und Egon Börger · 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!!: Abstrakte Zustandsmaschine und Endlicher Automat · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Abstrakte Zustandsmaschine und Informatik · Mehr sehen »
Lecture Notes in Computer Science
Lecture Notes in Computer Science (LNCS) ist eine Buchreihe aus der Informatik, die seit 1973 von Springer Science+Business Media (vormals Springer-Verlag) herausgegeben wird.
Neu!!: Abstrakte Zustandsmaschine und Lecture Notes in Computer Science · Mehr sehen »
Martin Odersky
Martin Odersky Martin Odersky (* 5. September 1958) ist ein deutscher Informatiker, Entwickler der aktuellen Version von javac und Begründer der Programmiersprache Scala.
Neu!!: Abstrakte Zustandsmaschine und Martin Odersky · Mehr sehen »
Mathematische Struktur
Eine mathematische Struktur ist eine Menge mit bestimmten Eigenschaften.
Neu!!: Abstrakte Zustandsmaschine und Mathematische Struktur · Mehr sehen »
Microsoft
Washington Die Microsoft Corporation ist ein US-amerikanischer international tätiger Hard- und Softwareentwickler und ein Technologieunternehmen mit Sitz in Redmond, einer Stadt im Großraum Seattle im US-Bundesstaat Washington.
Neu!!: Abstrakte Zustandsmaschine und Microsoft · Mehr sehen »
Modellgetriebene Softwareentwicklung
Modellgetriebene Softwareentwicklung (MDSD oder MDD) ist ein Oberbegriff für Techniken, die automatisiert aus formalen Modellen lauffähige Software erzeugen.
Neu!!: Abstrakte Zustandsmaschine und Modellgetriebene Softwareentwicklung · Mehr sehen »
Operationelle Semantik
Die operationelle Semantik ist eine Technik der Informatik um die Bedeutung beziehungsweise die Semantik von Computerprogrammen zu beschreiben.
Neu!!: Abstrakte Zustandsmaschine und Operationelle Semantik · Mehr sehen »
Schaltwerk (Technische Informatik)
Ein Schaltwerk verarbeitet verschiedene Eingangswerte (boolesche Variablen) entsprechend der festgelegten Schaltmatrix zu einem Ausgangswert.
Neu!!: Abstrakte Zustandsmaschine und Schaltwerk (Technische Informatik) · Mehr sehen »
Semantik
Semantik (von), auch Bedeutungslehre genannt, ist die wissenschaftliche Beschäftigung mit Bedeutung und mit den verschiedenen Beziehungen zwischen einem Zeichen und dem Bezeichneten.
Neu!!: Abstrakte Zustandsmaschine und Semantik · Mehr sehen »
Springer Science+Business Media
Springer Science+Business Media S.A. mit Sitz in Luxemburg und operativem Hauptbüro in Berlin und Heidelberg war ein internationaler Wissenschaftsverlag für Bücher, Zeitschriften und Online-Medien.
Neu!!: Abstrakte Zustandsmaschine und Springer Science+Business Media · Mehr sehen »
Universität Pisa
Die Universität Pisa (italienisch Università di Pisa) ist eine der ältesten und renommiertesten Universitäten Italiens und wird (Stand 2020/21) von knapp 45.000 Studierenden besucht.
Neu!!: Abstrakte Zustandsmaschine und Universität Pisa · Mehr sehen »
Verifizierung
Verifizierung oder Verifikation (von und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist.
Neu!!: Abstrakte Zustandsmaschine und Verifizierung · Mehr sehen »
