Hilfe
Kategorie
:
Automatentheorie
aus Wikipedia, der freien Enzyklopädie
Dies ist die
aktuelle Version
dieser Seite, zuletzt bearbeitet am 1. April 2013 um 17:49 Uhr durch
KLBot2
(
Diskussion
|
Beiträge
)
(Bot: 16
Interwiki-Link(s)
nach
Wikidata
(
d:Q7036095
) migriert)
.
(
Unterschied
)
← Nächstältere Version
| Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen
Zur Suche springen
Eine
gesichtete Version
dieser Seite, die am
1. April 2013
freigegeben
wurde, basiert auf dieser Version.
Einträge in der Kategorie „Automatentheorie“
Folgende 70 Einträge sind in dieser Kategorie, von 70 insgesamt.
Automatentheorie
!
Automat (Informatik)
A
A New Kind of Science
Akzeptieren (Automaten- und Komplexitätstheorie)
Akzeptor (Informatik)
Alternierende Turingmaschine
Ameise (Turingmaschine)
AtoCC
B
Behavior Tree
Berry-Sethi-Verfahren
Bewertungsfunktion (Formale Sprachen)
BIO-LGCA
Bisimulation
Blum-Shub-Smale-Maschine
Boolescher Differentialkalkül
Büchi-Automat
C
Church-Turing-These
D
Deterministischer azyklischer endlicher Automat
Deterministischer endlicher Automat
E
Eindeutiger endlicher Automat
Endlicher Automat
G
Gewichteter Automat
Greibach-Normalform
H
Hilfskellermaschine
K
Kellerautomat
Konfluenz (Informatik)
Kurodas Problem
L
Langton-Schleife
Linear beschränkte Turingmaschine
M
Mealy-Automat
Medwedew-Automat
Mehrband-Turingmaschine
Mehrspuren-Turingmaschine
Moore-Automat
Muller-Automat
N
Nichtdeterministische Turingmaschine
Nichtdeterministischer endlicher Automat
O
Ω-Automat
P
Paritätsautomat
PlusCal
Potenzautomat
Potenzmengenkonstruktion
PROMELA
R
Rabin-Automat
Regel 30
Registermaschine
Regulärer Ausdruck
S
Satz von Myhill-Nerode
SPIN
Staiger-Wagner-Automat
Streett-Automat
Symbolic Model Verifier
T
Transduktor (Informatik)
Transitionsrelation
Transitionssystem
Turingmaschine
Turingmaschine mit Zusatzeingabe
Turingmaschine Typ 2
U
Übergangstabelle
Universelle Turingmaschine
UPPAAL
V
Virtueller endlicher Automat
W
Wator
Wireworld
Z
Zellulärer Automat
Zenomaschine
Zustandsraum (Informatik)
Zustandsübergangsdiagramm
Zweikellerautomat
Zweiwege-DFA
Kategorie
:
Theorie formaler Sprachen
Navigationsmenü
Meine Werkzeuge
Nicht angemeldet
Diskussionsseite
Beiträge
Benutzerkonto erstellen
Anmelden
Namensräume
Kategorie
Diskussion
Deutsch
Ansichten
Lesen
Bearbeiten
Quelltext bearbeiten
Versionsgeschichte
Weitere
Suche
Navigation
Hauptseite
Themenportale
Zufälliger Artikel
Mitmachen
Artikel verbessern
Neuen Artikel anlegen
Autorenportal
Hilfe
Letzte Änderungen
Kontakt
Spenden
Werkzeuge
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Permanenter Link
Seiteninformationen
Kurzlink
QR-Code herunterladen
Wikidata-Datenobjekt
Drucken/exportieren
Buch erstellen
Als PDF herunterladen
Druckversion
In anderen Projekten
Commons
In anderen Sprachen
العربية
Azərbaycanca
Bosanski
Čeština
English
فارسی
Français
עברית
Hrvatski
Italiano
日本語
한국어
Latviešu
Македонски
Polski
Português
Русский
Srpskohrvatski / српскохрватски
Slovenčina
Српски / srpski
ไทย
Türkçe
Українська
اردو
中文
Links bearbeiten