Filters








9 Hits in 3.2 sec

Page 4504 of Mathematical Reviews Vol. , Issue 80K [page]

1980 Mathematical Reviews  
Buharaev (Kazan) Jung, Uwe 80k :68036 Aquivalenz und Reduktion bei linearen nichtdeterministischen Automaten. (Russian and English summaries) Elektron. Informationsverarb.  ...  Buharaev (Kazan) Strassner, Karl 80k:68037 Zerlegungssatze fiir nichtdeterministische Automaten. (English and Russian summaries) Elektron. Informationsverarb. Kybernet. 15 (1979), no. 1-2, 95-104.  ... 

Pattern Matching auf FPGAs

Heiko Schwedhelm, Technische Universität Dortmund, Technische Universität Dortmund
2017
der Reduktion der Automatengröße [39] .  ...  Dabei stehen mit deterministischen und nichtdeterministischen endlichen Automaten zwei Formen der Automaten zur Verfügung.  ...  Somit wird jeder Block D der Partition P durch die beiden Split-Operationen in maximal drei Teile unterteilt und nicht, wie bei den beiden Splits anzunehmen, in vier Teile.  ... 
doi:10.17877/de290r-17767 fatcat:xdtqhwgzzjbltbj6mduyobi3h4

Der Code der Mathematik [article]

Stefan Müller-Stach
2022 arXiv   pre-print
Emil Post, der Thues Arbeiten kannte, erfand eine mathematische Theorie von Automaten, die den Thuesystemen und den Turingmaschinen ähneln.  ...  Im Grunde besteht die Methode des Deep Learning also darin, aus einem hochdimensionalen Problem eine Reduktion auf wenige "essentielle" Parameter zu machen, wobei die "richtige" Reduktion durch das Training  ... 
arXiv:1805.05419v8 fatcat:yng5unxzonfdhkjg5mvrct3vpq

Page 307 of Mathematical Reviews Vol. , Issue Annual Index [page]

Mathematical Reviews  
Johnson) 80d:46105 46K10 Jung, Uwe Aquivalenz und Reduktion bei linearen nichtdeterministischen Automaten. (Russian and English summaries) Elektron. Informationsverarb.  ...  Gross) 80i:05035 05C10 Junghanns, Peter (with Meyer, Sybille) Eine asymptotische Zerlegung der Lésung einer schwach nichtlinearen Randwertaufgabe vierter Ordnung mit einem kleinen Parameter bei der héchsten  ... 

Animation strukturierter Beweise in der universitären Ausbildung [online]

Christian Pape
1999
Das Verfahren, um aus einem nichtdeterministischen Automaten (der nichtdeterministischen LR(k)-Maschine) einen aquivalenten deterministischen Automaten (der deterministischen LR(k)-Maschine) zu konstruieren  ...  Das Eingabezeichen (Spalte) in der Tabelle und am Zustandsübergang im Automaten bei shift-Einträgen bzw. als Vorausschauzeichen im LR(k)-Item bei reduce-Einträgen ist jeweils blau oder cyan gefärbt.  ...  Wir geben im folgenden eine gegenüber dem Vorlesungsskriptum oder einem Lehrbuch stark verkürzte und weniger formale Darstellung der wesentlichen Begriffe.  ... 
doi:10.5445/ir/126799 fatcat:54puvbdqenbr3foht4d2tjaoma

Generierung interaktiver Animationen für den Übersetzerbau [article]

Andreas Kerren, Universität Des Saarlandes, Universität Des Saarlandes
2004
Es löst auch einige Probleme, die bei der graphischen Darstellung der Reduktion auftreten, z. B. Probleme bei sehr großen Graphen oder Planaritätsprobleme.  ...  Der Benutzer kann allerdings die regulären Ausdrücke und Eingabeworte der deterministischen bzw. nichtdeterministischen Automaten in diesen Animationen nicht verändern.  ...  Würdest Du ein solches Programm zu Hause als Ergänzung zu Deinen Lehrveranstaltungen und Prüfungen verwenden? ⊥ 0 1 2 3 4 5 6 7 8 9 10 k.A.  ... 
doi:10.22028/d291-25706 fatcat:6eeipu5embekve43f6ukks2kfy

Test rekonfigurierbarer Scan-Netzwerke [article]

Marcel Schaal, Universität Stuttgart, Universität Stuttgart
2013
Dies reduziert die zusätzlich benötigte Logik für die Testinfrastruktur gegenüber einem Full-Scan-Design und kann bei geeignetem Schaltungsentwurf zu ähnlich hoher Testbarkeit führen.  ...  Beim Entwurf der Testinfrastruktur gibt es hierbei verschiedene Varianten, die im Folgenden kurz erläutert werden: Full-Scan-Design Bei einem Full-Scan-Design sind alle Register über die Scan-Ketten les-und  ...  erreicht werden, bei Reduktion der Laufzeit um bis zu einem Faktor 20.  ... 
doi:10.18419/opus-3194 fatcat:hahdm2z6rffkfhue7ibbs3tjzm

Entwicklung hybrider Komponentenmodelle zur Prozessüberwachung komplexer dynamischer Systeme [article]

Susanne Manz, Universität Stuttgart, Universität Stuttgart
2004
Bei diesen Verfahren müssen die inneren physikalischen Zusammenhänge nicht genau wiedergegeben werden, sondern die Modelle enthalten nur Situationen, in denen etwas "passiert".  ...  Im Rahmen der Online-Überwachung werden innerhalb eines bestimmten Zeitfensters alle Komponenten miteinander verknüpft und der Zustandsraum reduz [...]  ...  Im linearen Fall wird zwischen kontinuierlichen und diskreten Modellen unterschieden.  ... 
doi:10.18419/opus-2542 fatcat:5rmkiiix7baufj7ubje62joequ

Begleitmaterial zur Vorlesung Einführung in die Didaktik der Informatik

Sigrid Schubert, Technische Universität Dortmund, Technische Universität Dortmund
2004
Zum Beispiel kann die Substitution von Zeichenketten mit Texteditoren auf das Modell des nichtdeterministischen endlichen Automaten zur uckgef uhrt werden.  ...  Manipulationsm oglichkeiten bei Erhebung, Reduktion und Darstellung der Daten sind zu beachten. F.8.  ... 
doi:10.17877/de290r-5209 fatcat:pehsojebjrcy7m7fxg6p3py7jm