Automata (computation)

Die Automatentheorie befasst sich mit abstrakten Maschinen und Automaten sowie mit den Rechenproblemen , die sich mithilfe dieser lösen lassen.

In der Graphentheorie ist ein n- dimensionaler De-Bruijn-Graph mit m Symbolen ein gerichteter Graph , der Überlappungen zwischen Symbolfolgen darstellt.

In der Informatik ist ein deterministischer Automat ein Konzept der Automatentheorie, bei dem das Ergebnis eines Übergangs von einem Zustand in einen anderen durch die Eingabe bestimmt wird. : 41

In der Informatik , genauer gesagt in der Automatentheorie , ist eine erkennbare Menge eines Monoids eine Teilmenge, die sich durch einen Homomorphismus auf ein endliches Monoid auszeichnen lässt .

In der Automatentheorie ist ein hybrider Automat (Plural: hybride Automaten ) ein mathematisches Modell zur präzisen Beschreibung hybrider Systeme , beispielsweise solcher Systeme , in denen digitale Rechenprozesse mit

In der Automatentheorie bezeichnet sequentielle Logik eine Art Logikschaltung , deren Ausgabe vom aktuellen Wert ihrer Eingangssignale und der Sequenz vergangener Eingaben, der Eingangshistorie, abhängt.

Eine Turingmaschine ist ein mathematisches Berechnungsmodell, das eine abstrakte Maschine beschreibt , die Symbole auf einem Band gemäß einer Regeltabelle manipuliert.

In der Informatik , insbesondere in der Automatentheorie und der Theorie formaler Sprachen , sind verschachtelte Wörter ein von Alur und Madhusudan eingeführtes Konzept.