Übersetzung für 'Automatentheorie' von Deutsch nach Ukrainisch

Automatentheorie {f}

теорія {ж} автоматів

• Den Schwerpunkt legte Böhling auf die theoretische Informatik und dort v. a. auf die Automatentheorie. Zu seinen Doktoranden zählen Klaus Indermark und Wolfgang Merzenich.
• Die Definition des EA wurde ursprünglich in der Automatentheorie eingeführt und später in der Computertechnik übernommen.
• Er befasst sich mit algorithmischene Verifikationsmethoden, temporaler Logik und Modellprüfung, Logik und Entscheidungsprozessen, Automatentheorie und mit temporalen Datenbanken.
• Er befasst sich mit mathematischer Logik, Automatentheorie, Berechenbarkeit und Komplexitätstheorie, verteilten Systemen, Variationsrechnung.
• April 1950 in London) ist ein israelischer Informatiker, der sich mit Software-Engineering, theoretischer Informatik (Berechenbarkeit, Datenbanktheorie, Automatentheorie), Systembiologie und dynamischer Logik befasst.

• 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.
• Franz Baader (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker. Er führt den Lehrstuhl für Automatentheorie an der Fakultät Informatik der TU Dresden.
• Das Lemma von Arden trifft eine Aussage über Mengen von Zeichenreihen, welche im Rahmen der formalen Sprachen Gegenstand der theoretischen Informatik, spezieller der Automatentheorie sind.
• Der Schwerpunkt der Untersuchung ω-regulärer Sprachen liegt in der Automatentheorie.
• In der Automatentheorie, einem Teilgebiet der Informatik, ist ein Streett-Automat eine spezielle Form des ω-Automaten.

• Die Automatentheorie definiert und formalisiert Automaten oder Rechenmaschinen und beschäftigt sich mit deren Eigenschaften und Berechnungsstärke.
• Kurodas Problem ist ein Begriff aus der Automatentheorie und Komplexitätstheorie.
• Sie hat eine große Zahl von Arbeiten über Komplexitätstheorie, Semantik, Formale Sprachen, Automatentheorie und Berechenbarkeitstheorie publiziert.
• Die Symbolische Dynamik ist ein Zweig der Theorie dynamischer Systeme, in dem Methoden der Formalen Sprachen (Grammatiktheorie, Automatentheorie, Komplexitätstheorie) und der Theorie stochastischer Prozesse zur Anwendung kommen.
• Formale Methoden bauen auf einer sehr breiten Basis von Konzepten aus der Theoretischen Informatik auf, wie z. B. Logik, Formale Sprachen, Automatentheorie, Formale Semantik und Typsysteme.

• Ein Transitionssystem (englisch "transition system") beschreibt in der Automatentheorie die möglichen Zustände eines zustandsbasierten Systems und die möglichen Übergänge (Transitionen) zwischen diesen Zuständen.
• Symbolsequenzen werden in der Disziplin der symbolischen Dynamik mit Methoden der Formalen Sprachen (Grammatiktheorie, Automatentheorie, Komplexitätstheorie) und der Theorie Stochastischer Prozesse untersucht.
• Jürgen Wanda studierte Informatik, Mathematik und Volkswirtschaft an der TU Dortmund, wobei er sich auf Automatentheorie, Kryptographie und Kybernetik spezialisierte.
• Die Beschreibungsmittel der Schaltalgebra, Automatentheorie und Petri-Netz-Theorie können dazu verwendet werden, beim Entwurf von Steuerungen die Steueralgorithmen zunächst manuell grob zu notieren.