Rechnerstrukturen. Michael Engel und Peter Marwedel. Sommer TU Dortmund, Fakultät für Informatik
|
|
- Innozenz Stieber
- vor 6 Jahren
- Abrufe
Transkript
1 Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik Sommer 2014 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 19. Mai /43
2 1 Sequenzielle Schaltungen Modellierung mit Automaten 2 Synchrone Schaltwerke Einleitung Flip-Flops 3 Schaltwerk-Entwurf Einleitung von Neumann-Addierwerk 2/43
3 Automaten Wunsch formales Modell eines Automaten Was ist überhaupt ein Automat? Beispiele Getränke-Automat einfache Ampelsteuerung Steuerung einer Waschmaschine Gegenbeispiele Geldspielautomat wegen der Zufalls-Komponente Computer zu komplex Mensch für uns nicht formal beschreibbar 3/43
4 Automatenmodell Grobbeschreibung verarbeitet eine Eingabe erzeugt eine Ausgabe ist in einem Zustand arbeitet in Takten arbeitet deterministisch (exakt vorhersagbar) jetzt exakte, formale Beschreibung 4/43
5 Definition Mealy-Automat Definiton 19 Ein Mealy-Automat M = (Q,q 0,Σ,,δ,λ) ist definiert durch: endliche Zustandsmenge Q Startzustand q 0 Q endliches Eingabealphabet Σ endliches Ausgabealphabet Zustandsüberführungsfunktion δ: Q Σ Q Ausgabefunktion λ: Q Σ {ε} In einem Takt mit aktuellem Zustand q und Eingabesymbol w schreibt der Automat λ(q,w), wechselt der Automat in den Zustand δ(q,w). 5/43
6 Beispiel Mealy-Automat Q = {q 0,q 1,q 2 }, Σ = {0,1}, = {a,b,c} 0/c q 1 0/a q 0 1/b 0/a 1/c 1/b q 2 Eingabe Ausgabe a b a c 6/43
7 Äquivalenz von Automaten Definition Zwei Mealy-Automaten heißen äquivalent, wenn sie für jede Eingabe w Σ die gleiche Ausgabe a erzeugen. klar Äquivalente Automaten können unterschiedlich groß sein. klar Man wünscht sich möglichst kleine Automaten. Anmerkung Komplexer Problemkreis, umfasst auch effiziente Minimierung von Automaten Näher i.d. Theoretischen Informatik (GTI/TIfAI) Hier: noch ein anderes (ähnliches!) Automaten-Modell 7/43
8 Definition Moore-Automat Definiton 20 Ein Moore-Automat M = (Q,q 0,Σ,,δ,λ) ist definiert durch: endliche Zustandsmenge Q Startzustand q 0 Q endliches Eingabealphabet Σ endliches Ausgabealphabet Zustandsüberführungsfunktion δ: Q Σ Q Ausgabefunktion λ: Q {ε} In einem Takt mit aktuellem Zustand q und Eingabesymbol w schreibt der Automat λ(δ(q,w)), wechselt der Automat in den Zustand δ(q,w). Unterschied zum Mealy-Automaten: Ausgabe Zustand 8/43
9 Mealy- und Moore-Automaten Beobachtung Zu jedem Moore-Automaten gibt es einen äquivalenten Mealy-Automaten. denn zu Moore-Automat A = (Q,q 0,Σ,,δ,λ) ist Mealy-Automat A = (Q,q 0,Σ,,δ,λ ) mit λ (q,w) := λ(δ(q,w)) offensichtlich äquivalent Beobachtung Zu jedem Mealy-Automaten gibt es eine äquivalenten Moore-Automaten. denn zu Mealy-Automaten A = (Q,q 0,Σ,,δ,λ) ist Moore-Automat A = (Q,q 0,Σ,,δ,λ ) mit Q := Q ( {ε}), q 0 := (q 0,ε), δ (q,w) = δ ((q,v),w) := (δ(q,w),λ(q,w)), λ(δ(q,w)) = λ ((q,v)) := v offensichtlich äquivalent 9/43
10 Einfacher Beispiel-Automat Aufgabe einfache Datenglättung Filtere isolierte Bits aus Datenstrom aus. klar Σ := {0,1}, := {0,1} Mealy-Automat 1/0 1/1 0/0 0? 1 1/1 0/0 0/1 übrigens Q := {0,1,?}, q 0 := 0 10/43
11 Äquivalente Automaten Bit-Filter Mealy-Automat 1/0 1/1 0/0 0? 1 1/1 Moore-Automat 0/0 0 0? 0 1 0/ ? /43
12 Automaten & Schaltungen: Synchr. Schaltwerke Erinnerung bi-stabile NAND-Kippstufe R S & P R t S t P t+2 Q t P t P t & Q 11/0 10/0 01/ /0 11/1 01/1 Q = {0,1}, q 0 = 0 Σ = {01,10,11} = {0,1} 12/43
13 Vergleich Automat und NAND-Kippstufe nicht getaktet R S & P R t S t P t+2 Q t P t P t & Q 11/0 10/0 getaktet 01/ /0 11/1 01/1 Q = {0,1}, q 0 = 0 Σ = {01,10,11} = {0,1} 13/43
14 Synchrone Schaltwerke ab jetzt getaktete Schaltwerke also Führe Taktsignal T ein verschiedene technische Möglichkeiten Pegelsteuerung: aktiv, wenn 1 anliegt positive Flankensteuerung: aktiv, wenn Wechsel von 0 nach 1 negative Flankensteuerung: aktiv, wenn Wechsel von 1 nach 0 digital-logische Ebene technisches Detail ignorieren 14/43
15 RS-Flip-Flop R T & & P R S Q 0 0 Q nicht erlaubt S & & Zustandstabelle NAND-Kippstufe R t S t P t+2 Q t nicht erlaubt Q t Q t Q Wertetabelle NAND x y x y /43
16 D-Flip-Flop D 1 R Q T T S Q R S Q 0 0 Q nicht erlaubt D Q Sinnlos? Verzögerung um 1 Takt Name Delay 16/43
17 JK-Flip-Flop K T J & & R T S Q Q R S Q 0 0 Q nicht erlaubt J K R S Q Q 0 1 Q Q Q Q Q positiv alle Eingaben erlaubt, sinnvolle Funktionalität, vielseitig 17/43
18 T-Flip-Flop T J Q Clk Clk K Q J K Q 0 0 Q Q T Q 0 Q 1 Q Name Toggle 18/43
19 Flip-Flops Wir haben also hier 4 verschiedene Flip-Flop-Typen Wozu brauchen wir eigentlich Flip-Flops? klar Realisierung von Speicher Was müssen wir für den Einsatz als Speicher wissen? klar gezielte Änderung von Speicherinhalten also Zustandstabellen eigentlich nicht interessant besser Ansteuertabellen etwas präziser Zustandstabelle Ansteuertabelle Ist-Zustand, Eingabe Zustand Soll-Zustand Eingabe Anmerkung Ansteuertabellen können don t care enthalten 19/43
20 Ansteuertabelle D-Flip-Flop Zustandstabelle D Q Ansteuertabelle Q alt Q neu D Beobachtung Ansteuerung D vom alten Zustand unabhängig 20/43
21 Ansteuertabelle T-Flip-Flop Zustandstabelle T Q 0 Q 1 Q Ansteuertabelle Q alt Q neu T Beobachtung Kenntnis des alten Zustands erforderlich 21/43
22 Ansteuertabelle RS-Flip-Flop Zustandstabelle R S Q 0 0 Q nicht erlaubt Ansteuertabelle Q alt Q neu R S Beobachtung wenn Zustand nicht wechselt, gibt es Freiheit in der Ansteuerung 22/43
23 Ansteuertabelle JK-Flip-Flop Zustandstabelle J K Q 0 0 Q Q Ansteuertabelle Q alt Q neu J K Beobachtung immer Freiheit in der Ansteuerung 23/43
24 Unvollständig definierte Ansteuerfunktionen Wir haben für RS-Flip-Flops und JK-Flip-Flops nur partiell definierte Ansteuerfunktionen Ist das ungünstig? Nein! Erinnerung Minimalpolynome für partiell definierte Funktionen Erinnerung Realisierungen können wesentlich einfacher sein Erinnerung Minimalpolynom für partiell definiertes f durch PI für f 1 und Überdeckung von f 0 24/43
25 Huffmann Schaltwerk-Modell ein allgemeines, formales Schaltwerkmodell x 1 x 2. x n Schaltnetz z 1 z 2. z m. w 1 w l Speicher y 1. y k Beobachtung führt Gelerntes über Schaltnetze, Flip-Flops und Automaten sinnvoll zusammen 25/43
26 Huffmann Schaltwerk-Modell etwas detaillierter x 1. x n. w 1. Ausgabe- Schaltnetz z 1... Ansteuer- Schaltnetz y 1. Speicher y k. w l z m 26/43
27 Schaltwerk-Entwurf Wunsch strukturierter Schaltwerk-Entwurf Was können wir überhaupt als Schaltwerk realisieren? klar alles, was als Automat beschrieben werden kann zum Beispiel Getränke-Automat Ampelsteuerung Waschmaschinen-Steuerung... Anmerkung Heuristiken und Erfahrung sind wichtig 27/43
28 Schritte beim Schaltwerk-Entwurf 0. Verstehen der Aufgabe 1. Spezifikation des Verhaltens (z. B. als Mealy-Automat) 2. Wahl der Coderierung von Eingaben, Zuständen, Ausgaben 3. Wertetabelle mit Eingaben, Zustand, Ausgaben, neuem Zustand 4. Wahl der Flip-Flop-Typen 5. Ergänzung der Wertetabelle um die Flip-Flop-Ansteuerung 6. Entwurf passender boolescher Funktionen 7. Entwurf passender Schaltnetze 8. Entwurf vollständiges getaktetes Schaltwerk 28/43
29 Beispiel zum Schaltwerk-Entwurf zur Einführung ein praktisches Beispiel hilfreich besonders gut verstandenes Problem Aufgabe Addition von zwei Betragszahlen Erinnerung wir haben Verfahren Größe Tiefe Schul-Methode 5n 2n Carry-Look-Ahead n 2 2log 2 n jetzt klein und flach mit einem Schaltwerk aber extrem langsam 29/43
30 Entwurf Addierwerk: Schritt 0 Schritt 0 verstehen der Aufgabe Wunsch Summanden bitweise eingeben Summe bitweise erhalten klar geht nur von rechts nach links Was muss man sich merken? klar nur den aktuellen Übertrag also 1 Bit 30/43
31 Entwurf Addierwerk: Schritt 1 Schritt 1 Spezifikation des Verhaltens Entscheidung Beschreibung durch Mealy-Automat Eingabealphabet Σ = {00, 01, 10, 11} Ausgabealphabet = {0, 1} Zustandsmenge Q = {0, 1} 01/1 10/1 00/0 11/ /1 01/0 10/0 11/1 31/43
32 Entwurf Addierwerk: Schritt 2 Schritt 2 Wahl der Codierung: Eingaben, Zuständen, Ausgaben klar im Allgemeinen (fast) jede Freiheit hier kanonische Codierung naheliegend q Q Codierung Codierung von Q w Σ Codierung Codierung von Σ w Codierung Codierung von /43
33 Entwurf Addierwerk: Schritt 3 Schritt 3 Wertetabelle Eingaben, Zustand, neuer Zustand, Ausgaben naheliegend Eingaben heißen x, y alter Zustand heißt c alt neuer Zustand heißt c neu Ausgabe heißt s c alt x y c neu s /43
34 Entwurf Addierwerk: Schritt 4 Schritt 4 Wahl der Flip-Flop-Typen Entscheidung JK-Flip-Flops Anmerkung nicht viele überzeugende Gründe weil es besonders viele Freiheiten erlaubt weil der Zustandswechsel nichts nahelegt weil es oft benutzt wird 34/43
35 Enturf Addierwerk: Schritt 5 Schritt 5 Ergänzung der Wertetabelle um Flip-Flop-Ansteuerung c alt x y c neu s J K Ansteuertabelle JK-Flip-Flop Q alt Q neu J K /43
36 Entwurf Addierwerk: Schritt 6 Schritt 6 Entwurf passender boolescher Funktionen c alt x y c neu s J K J(c alt,x,y) = x y K(c alt,x,y) = x y s(c alt,x,y) = c alt x y c alt 0 1 x y /43
37 Entwurf Addierwerk: Schritt 7 Schritt 7 Entwurf passender Schaltnetze c alt x y = 1 = 1 s J(c alt,x,y) = x y K(c alt,x,y) = x y s(c alt,x,y) = c alt x y & J 1 & K 1 37/43
38 Entwurf Addierwerk: Schritt 8 Schritt 8 Entwurf des vollständigen Schaltwerks x y T = 1 & = 1 s J Q T 1 & K Q Beobachung Eingabe (0, 0) im letzten Takt wichtig Initialisierung? Eingabe (0, 0) 38/43
39 Unser Addierwerk: Serien-Addierer Fazit addiert beliebig lange Betragszahlen ist sehr klein und flach ist sehr leicht zu initialisieren ist extrem langsam Warum ist das Schaltwerk so langsam? klar und bekannt wegen der Überträge Müssen Überträge so lange dauern? bekannt im Allgemeinen nicht (siehe Addierer) aber Bei bit-weiser Eingabe schon! 39/43
40 Über unsere Modelle Wir wissen schon Überträge werden nur manchmal lange weitergereicht. Kann man ein Schaltwerk bauen, dass nur manchmal langsam ist? Problem unsere Automaten können das zunächst nicht Beobachtung bei Mealy- und Moore-Automat bestimmt Länge der Eingabe die Anzahl der Rechentakte darum Modifikation des Automatenmodells neu Erlaube leere Eingabe ε und signalisiere Ende der Rechnung durch Rechenende-Zeichen Beobachtung Das ist fundamental neu für uns. Rechenzeit kann von der Eingabe abhängen (nicht nur von der Eingabelänge). 40/43
41 Auf dem Weg zum besseren Addierwerk Wie wollen wir vorgehen? Beobachtung Eingaben müssen sofort ganz zur Verfügung stehen sonst kann man nicht schneller sein also Eingabealphabet Σ = {0,1} 2n Eingabe x n 1 x n 2 x 1 x 0 y n 1 y n 2 y 1 y 0 {0,1} 2n interpretieren als x n 1 x n 2 x 0 + y n 1 y n 2 y 0 bekannte Idee zur Lösung Ersetze x und y durch x und y mit x +y = x +y so lange, bis y = 0 gilt. 41/43
42 Eine gute Idee verallgemeinern Erinnerung Wir kennen das schon vom Halbaddierer... x s HA y c mit x +y = 2c +s = (c0) 2 +s klar Das funktioniert auch für alle n Stellen parallel. y 3 x 3 y 2 x 2 y 1 x 1 y 0 x 0 HA HA HA HA c 3 s 3 c 2 s 2 c 1 s 1 c 0 s 0 x 3 x 2 x 1 x 0 = s 3 s 2 s 1 s 0 Üy 3 y 2 y 1 y 0 = c 3 c 2 c 1 c 0 0 Fortschritt? in y hinten neue 0 also nach n Takten y = 0 42/43
43 Noch offene Fragen Was ist mit dem Ü? klar potenziell kann in jedem Takt vorne ein Überlauf entstehen Also bis zu n Überläufe speichern? zum Glück nein Wir wissen höchstens 1 Überlauf insgesamt Wann ist die Rechnung fertig? klar Rechnung fertig y = 0 also done d = y 0 y 1 y n 1 = n 1 jetzt unsere Ideen zusammensetzen y i i=0 43/43
Rechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik WS 2013/14 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 20. November 2013 1/48 1 Sequenzielle
MehrRechnerstrukturen. Michael Engel und Peter Marwedel. Sommer TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik Sommer 2014 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 15. Mai 2014 1/50 1 Boolesche Funktionen
MehrRechnerstrukturen, Teil 1
Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 17/18 Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1- www.cs.tu-.de Übersicht 1. Organisatorisches
MehrTeil IV. Schaltwerke
Teil IV Schaltwerke 1 Teil IV.1 Flip Flops 2 Bistabile Kippstufe Ziel: Speichere Ausgabe einer Schaltung. Ansatz: Leite Ausgabe wieder als Eingabe in die Schaltung. x t & Q Q = x + P t + t t t y t & P
MehrKapitel 4 Schaltungen mit Delays (Schaltwerke) Literatur: Oberschelp/Vossen, Kapitel 4. Kapitel 4: Schaltungen mit Delays Seite 1
Kapitel 4 Schaltungen mit Delays (Schaltwerke) Literatur: Oberschelp/Vossen, Kapitel 4 Kapitel 4: Schaltungen mit Delays Seite 1 Schaltungen mit Delays Inhaltsverzeichnis 4.1 Einführung 4.2 Addierwerke
MehrRechnerstrukturen. Michael Engel und Peter Marwedel SS TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik SS 2013 Hinweis: Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 25. April 2013 1 Boolesche
MehrRechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik WS 2013/14 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 30. Oktober 2013 1/35 1 Boolesche
Mehr2.6 Verdeutlichung verwendeter Begriffe
2.6 Verdeutlichung verwendeter Begriffe endlich/finit: die Mengen der Zustände und der Ein- bzw. Ausgabezeichen sind endlich synchron: die Ausgabezeichen erscheinen synchron mit dem Einlauf der Eingabezeichen
MehrH MPKP. Beispiel für eine Rechnung. Reduktion H MPKP. Überführungsregeln
H MPKP Konfiguration einer TM als String schreiben: Bandinschrift zwischen den Blank-Zeichen Links von der Kopfposition Zustand einfügen. Beispiel für eine Rechnung ##q ab##xq b##xyq 2 ##xyzq 3 ##xyq 4
MehrIntegrierte Schaltungen
Integrierte Schaltungen Klassen von Chips: SSI (Small Scale Integrated) circuit: 1 bis 10 Gatter MSI (Medium Scale Integrated) circuit: 10 bis 100 Gatter LSI (Large Scale Integrated) circuit: 100 bis 100
MehrVorlesung Rechnerstrukturen Winter 2002/03. 3b. Endliche Automaten. Modellierung und Realisierung von Steuerungen
Rechnerstrukturen 3b. Endliche Automaten Ziele Modellierung und Realisierung von Steuerungen Beispiele Autoelektronik: ABS-System Consumer: Kamera, Waschmaschine, CD-Player, Steuerung technischer Anlagen
MehrGrundbegriffe der Informatik Tutorium 10
Grundbegriffe der Informatik Tutorium 10 Tutorium Nr. 32 Philipp Oppermann 17. Januar 2014 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrEndliche Automaten. Im Hauptseminar Neuronale Netze LMU München, WS 2016/17
Endliche Automaten Im Hauptseminar Neuronale Netze LMU München, WS 2016/17 RS- Flipflop RS-Flipflop Ausgangszustand 0 1 0 1 0 1 Set Reset neuer Zustand 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 Was ist ein endlicher
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 14: Endliche Automaten Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/38 Überblick Erstes Beispiel: ein Getränkeautomat Mealy-Automaten
MehrRechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrGrundbegriffe der Informatik Tutorium 11
Grundbegriffe der Informatik Tutorium 11 Tutorium Nr. 16 Philipp Oppermann 21. Januar 2015 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrHochschule Emden / Leer. Ausarbeitung. Speicherung digitaler Signale
Hochschule Emden / Leer Ausarbeitung Thema: Speicherung digitaler Signale eingereicht von: Jens Fresenborg Inhaltsverzeichnis 1 Speicherung Digitaler Signale 1 2 Asynchrone Speicherelemente 1 2.1 RS-Flip-Flop
MehrÜbung zur Vorlesung Theoretische Information. Minimierungsalgorithmus
Übung zur Vorlesung Theoretische Information Minimierungsalgorithmus Folie Warum Automaten minimieren? Zwei endliche Automaten Automat q q Automat 2 q q Beide akzeptieren die selbe Sprache Welche? q 2
MehrTheoretische Informatik I
heoretische Informatik I Einheit 2 Endliche Automaten & Reguläre Sprachen. Deterministische endliche Automaten 2. Nichtdeterministische Automaten 3. Reguläre Ausdrücke 4. Grammatiken 5. Eigenschaften regulärer
Mehr3 Verarbeitung und Speicherung elementarer Daten
3 Verarbeitung und Speicherung elementarer Daten 3.1 Boolsche Algebra Definition: Eine Boolsche Algebra ist eine Menge B mit den darauf definierten zweistelligen Verknüpfungen (+,*) sowie der einstelligen
MehrGrundlagen der Rechnerarchitektur
Grundlagen der Rechnerarchitektur [CS3100.010] Wintersemester 2014/15 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Kapitel 3 Sequentielle
MehrGrundbegriffe der Informatik Tutorium 33
Tutorium 33 02.02.2017 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Gliederung 1 2 3 Ein ist ein Tupel A = (Z, z 0, X, f, Y, h)
MehrKurz-Skript zur Theoretischen Informatik I
Kurz-Skript zur Theoretischen Informatik I Inhaltsverzeichnis 1 Grundlagen 2 2 Reguläre Ausdrücke 4 3 Endliche Automaten 5 3.1 Vollständige endliche Automaten................................... 6 3.2 ε
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Tutorium 1-10. Sitzung Dennis Felsing dennis.felsing@student.kit.edu http://www.stud.uni-karlsruhe.de/~ubcqr/2010w/tut gbi/ 2011-01-10 Überblick 1 O-Notation Wiederholung Mastertheorem
MehrC. Sequentielle Logik
C. Sequentielle Logik C.1. Einordnung Schaltungen mit innerem Zustand. Nächster Zustand nach jeweils t. Im Prinzip getaktete Schaltungen. Speichernde Schaltungen. Grosser Zustandsraum. Höhere Informatik
MehrBeispiel zum Schaltungsentwurf mithilfe endlicher Automaten Ein Zähler modulo 3 mit Reset
Eckart Modrow Beispiel zum Schaltungsentwurf S. 1 Beispiel zum Schaltungsentwurf mithilfe endlicher Automaten Ein Zähler modulo 3 mit Reset Inhalt: 1. Bezug zum Unterricht 2. Beschreibung durch einen endlichen
MehrRechnerstrukturen WS 2012/13
Rechnerstrukturen WS 2012/13 Boolesche Funktionen und Schaltnetze Rechner-Arithmetik Addition (Wiederholung) Multiplikation Wallace-Tree Subtraktion Addition negativer Zahlen Gleitkommazahlen-Arithmetik
MehrKlausur-Nachbesprechung
Universität der Bundeswehr München Rechnerorganisation I Fakultät für Informatik HT 23 Institut für Technische Informatik Blatt Klausur-Nachbesprechung Aufgabe -: Multiple Choice Geben Sie für die folgenden
MehrTheoretische Informatik I
heoretische Informatik I Einheit 2 Endliche Automaten & Reguläre Sprachen. Deterministische endliche Automaten 2. Nichtdeterministische Automaten 3. Reguläre Ausdrücke 4. Grammatiken 5. Eigenschaften regulärer
MehrGrundlagen der Technische Informatik / Digitaltechnik (GTI/DT)
Klausur zur Vorlesung Grundlagen der Technische Informatik / Digitaltechnik (GTI/DT) Prof. Marco Platzner Fachgebiet Technische Informatik Universität Paderborn 25.3.2 Die Bearbeitungsdauer beträgt für
Mehrc) {abcde, abcfg, bcade, bcafg} d) {ade, afg, bcde, bcfg} c) {abcabc} d) {abcbc, abc, a} c) {aa, ab, ba, bb} d) {{aa}, {ab}, {ba}, {bb}}
2 Endliche Automaten Fragen 1. Was ergibt sich bei {a, bc} {de, fg}? a) {abc, defg} b) {abcde, abcfg} c) {abcde, abcfg, bcade, bcafg} d) {ade, afg, bcde, bcfg} 2. Was ergibt sich bei {abc, a} {bc, λ}?
MehrEinführung in die Informatik
Universität Innsbruck - Institut für Informatik Datenbanken und Informationssysteme Prof. Günther Specht, Eva Zangerle 24. November 28 Einführung in die Informatik Übung 7 Allgemeines Für die Abgabe der
MehrAufgabe 1 Minimieren Sie mit den Gesetzen der Booleschen Algebra 1.1 f a ab ab 1 = + + Aufgabe 2. Aufgabe 3
Logischer Entwurf Digitaler Systeme Seite: 1 Übungsblatt zur Wiederholung und Auffrischung Aufgabe 1 Minimieren Sie mit den Gesetzen der Booleschen Algebra 1.1 f a ab ab 1 = + + 1.2 f ( ) ( ) ( ) 2 = c
MehrArbeitstitel: DV-Infrastruktur
Arbeitstitel: DV-Infrastruktur Überblick über die Lehrveranstaltung Rechnerarchitektur Betriebssysteme Rechnernetze Einf. in die WI 1 - DV-Infrastruktur WS03/04 1 Rechnerarchitektur Einf. in die Technologie
Mehrx x y x y Informatik II Schaltkreise Schaltkreise Schaltkreise Rainer Schrader 3. November 2008
Informatik II Rainer Schrader Zentrum für Angewandte Informatik Köln 3. November 008 1 / 47 / 47 jede Boolesche Funktion lässt mit,, realisieren wir wollen wir uns jetzt in Richtung Elektrotechnik und
MehrEin ROM soll aus mehreren ROMs (vgl. Abbildung rechts: Enable-Leitung EN, Adressleitungen ADDR, Datenleitungen DATA) aufgebaut werden.
VU Technische Grundlagen der Informatik Übung 4: Schaltwerke 183.579, 2015W Übungsgruppen: Mo., 23.11. Mi., 25.11.2015 Aufgabe 1: ROM-Erweiterung Ein 256 64 ROM soll aus mehreren 128 16 ROMs (vgl. Abbildung
MehrDank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Reguläre Ausdrücke als Suchmuster für grep
Dank Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Diese Vorlesungsmaterialien basieren ganz wesentlich auf den Folien zu den Vorlesungen
MehrTeil V. Programmierbare Logische Arrays (PLAs)
Teil V Programmierbare Logische Arrays (PLAs) 1 Aufbau von PLAs Programmierbares Logisches Array (PLA): Programmierbarer Einheitsbaustein aufgebaut als ein Gitter (Array) von Basisbausteinen (Zellen).
MehrProbeklausur Lösungen
Probeklausur Lösungen 1. Aufgabe Der obere Teil in dem creenshot zeigt den Zustandsgraph. Es fehlen jedoch die Eingaben bzw. die Ausgaben. Im unteren Teil des creenshots ist die Übergangstabelle aufgeführt.
MehrTutorium 23 Grundbegriffe der Informatik (10. Sitzung)
Tutorium 23 Grundbegriffe der Informatik (10. Sitzung) Tutor: Felix Stahlberg SOFTWARE DESIGN AND QUALITY GROUP Source: pixelio.de KIT The cooperation of Forschungszentrum Karlsruhe GmbH and Universität
MehrKlausur zur Vorlesung Technische Informatik 1 im WS 06/07 Donnerstag, den von Uhr Uhr, HS 5
Philipps-Universität Marburg Fachbereich Mathematik und Informatik AG Verteilte Systeme http://ds.informatik.uni-marburg.de Prof. Dr. Helmut Dohmann Prof. Dr. Bernd Freisleben Klausur zur Vorlesung Technische
MehrSequentielle Logik. Einführung in die Technische Informatik Falko Dressler, Stefan Podlipnig Universität Innsbruck
Sequentielle Logik Einführung in die Technische Informatik Falko Dressler, Stefan Podlipnig Universität Innsbruck Übersicht Schaltwerke Flip-Flops Entwurf eines Schaltwerks Zähler Realisierung Sequentielle
MehrRechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15
Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 14/15 Prof. Dr Jian-Jia Chen Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1-www.cs.tu-.de Übersicht
MehrRechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15
Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 14/15 Prof. Dr Jian-Jia Chen Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1-www.cs.tu-.de Übersicht
Mehr5.2 Endliche Automaten
5.2 Endliche Automaten 129 5.1.6 Kippstufen Flip-Flops werden auch als bistabile Kippstufen bezeichnet. Bistabil meint, dass beide Kippwerte, also 0 und 1 stabil sind. Diese Bezeichnung legt nahe, dass
MehrEndliche Automaten. Endliche Automaten J. Blömer 1/23
Endliche Automaten Endliche Automaten sind ein Kalkül zur Spezifikation von realen oder abstrakten Maschinen regieren auf äußere Ereignisse (=Eingaben) ändern ihren inneren Zustand produzieren gegebenenfalls
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Wintersemester 2007 / 2008 Prof. Dr. Heribert Vollmer Institut für Theoretische Informatik 29.10.2007 Reguläre Sprachen Ein (deterministischer) endlicher Automat
MehrDuE-Tutorien 4 und 6. Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery. WOCHE 11 AM
DuE-Tutorien 4 und 6 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery WOCHE 11 AM 15.01.2013 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrRechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik WS 2013/14 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 21. Oktober 2013 1/33 1 Boolesche
MehrNachklausur zur Vorlesung Informatik 3 mit einigen Anmerkungen zu Lösungen
Nachklausur zur Vorlesung Informatik 3 mit einigen Anmerkungen zu Lösungen Aufgabe 1 2 3 4 5 6 7 max. Punkte 6 6 7 7 8 8 12 err. Punkte Gesamtpunktzahl: Note: 1 Aufgabe 1 (3+1+1+1 = 6 Punkte) Es seien
MehrLösung zur Klausur. Grundlagen der Theoretischen Informatik im WiSe 2003/2004
Lösung zur Klausur Grundlagen der Theoretischen Informatik im WiSe 2003/2004 1. Geben Sie einen deterministischen endlichen Automaten an, der die Sprache aller Wörter über dem Alphabet {0, 1} akzeptiert,
MehrDie mathematische Seite
Kellerautomaten In der ersten Vorlesung haben wir den endlichen Automaten kennengelernt. Mit diesem werden wir uns in der zweiten Vorlesung noch etwas eingängiger beschäftigen und bspw. Ansätze zur Konstruktion
MehrÜbungen zu Informatik 1
Übungen zu Informatik Technische Grundlagen der Informatik - Übung 9 Ausgabedatum: 2. November 22 Besprechung: Übungsstunden in der Woche ab dem 9. November 22 ) Schaltungen und Schaltnetze Communication
MehrLogik mit Gedächtnis : Sequentielle Logik
Logik mit Gedächtnis : Sequentielle Logik Schaltwerke Grundkomponenten zur Informationspeicherung: Flip-Flops Typische Schaltwerke Entwurf eines Schaltwerks Wintersemester 12/13 1 asynchrone und synchrone
MehrEingebettete Systeme
Einführung in Eingebettete Systeme Vorlesung 7 Bernd Finkbeiner 03/12/2014 finkbeiner@cs.uni-saarland.de Prof. Bernd Finkbeiner, Ph.D. finkbeiner@cs.uni-saarland.de 1 Schaltfunktionen! Schaltfunktion:
MehrReguläre Sprachen. R. Stiebe: Theoretische Informatik für ING-IF und Lehrer,
Reguläre Sprachen Reguläre Sprachen (Typ-3-Sprachen) haben große Bedeutung in Textverarbeitung und Programmierung (z.b. lexikalische Analyse) besitzen für viele Entscheidungsprobleme effiziente Algorithmen
MehrQ R. reset (R) set (S) unzulässig! Unkontrollierte Rückkopplung von Gatterausgängen auf Gattereingänge führt zu logisch "inkonsistentem" Verhalten!
Schaltwerke Schaltwerke 22 Prof. Dr. Rainer Manthey Informatik II Schaltwerke: Übersicht generelles Problem grösserer Schaltnetze: Länge der Laufzeiten wird relevant Notwendigkeit der Zwischenspeicherung
MehrTeil 1: Digitale Logik
Teil : igitale Logik Inhalt: oolesche lgebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grunlagen programmierbare logische austeine Technische Informatik I, SS 2 Sequentielle
MehrEinige Beispiele zur Turingmaschine
Einige Beispiele zur Turingmaschine Beispiel 1: Addition von 1 zu einer Dualzahl Aufgabe: Auf dem Eingabe-Band einer Turingmaschine steht eine Dualzahl (= Binärzahl, bestehend aus 0-en und 1-en, links
MehrALP I Turing-Maschine
ALP I Turing-Maschine Teil I WS 2012/2013 Äquivalenz vieler Berechnungsmodelle Alonzo Church λ-kalkül Kombinatorische Logik Alan Turing Turing-Maschine Mathematische Präzisierung Effektiv Berechenbare
MehrTheoretische Informatik II
Theoretische Informatik II Einheit 4.2 Modelle für Typ-0 & Typ-1 Sprachen 1. Nichtdeterministische Turingmaschinen 2. Äquivalenz zu Typ-0 Sprachen 3. Linear beschränkte Automaten und Typ-1 Sprachen Maschinenmodelle
MehrTheorie der Informatik
Theorie der Informatik 11. Kontextsensitive und Typ-0-Sprachen Malte Helmert Gabriele Röger Universität Basel 7. April 2014 Kontextsensitive und allgemeine Grammatiken Wiederholung: (kontextsensitive)
MehrDigital Design 4 Schaltwerke
4 Schaltwerke Schaltwerk: Ausgabevektor hängt nicht nur von Eingabevektor ab, sondern auch von allen bisherigen Eingaben. A(t n ) = f(e(t n ), E(t n-1 ), E(t n-2 ), E(t n-3 ),... E(t 0 ) dazu sind erforderlich:
MehrGTI ÜBUNG 12 KOMPARATOR UND ADDIERER
1 GTI ÜBUNG 12 KOMPARATOR UND ADDIERER Aufgabe 1 Komparator 2 Beschreibung Entwickeln Sie eine digitale Schaltung, die zwei Bits a und b miteinander vergleicht. Die Schaltung besitzt drei Ausgänge: ist
MehrDIGITALTECHNIK 08 FREQUENZ-ZÄHLER
Seite 1 von 15 DIGITALTECHNIK 08 FREQUENZ-ZÄHLER Inhalt Seite 2 von 15 1 FREQUENZ-ZÄHLER... 3 1.1 ÜBERSICHT... 3 1.2 EINLEITUNG... 4 2 ASYNCHRONZÄHLER... 5 2.1 VORWÄRTSZÄHLER... 5 2.2 RÜCKWÄRTSZÄHLER...
MehrEs gibt drei unterschiedliche Automaten:
Automatentheorie Es gibt drei unterschiedliche Automaten: 1. Deterministische Endliche Automaten (DEA) 2. Nichtdeterministische Endliche Automaten (NEA) 3. Endliche Automaten mit Epsilon-Übergängen (ε-
MehrAutomaten und Formale Sprachen ε-automaten und Minimierung
Automaten und Formale Sprachen ε-automaten und Minimierung Ralf Möller Hamburg Univ. of Technology Literatur Gottfried Vossen, Kurt-Ulrich Witt: Grundkurs Theoretische Informatik, Vieweg Verlag 2 Danksagung
MehrInhaltsverzeichnis. 1 Boolesche Algebra, Schaltalgebra - Begriffsbestimmung 1. 2 Operationssystem der Schaltalgebra 4. 3 Boolesche Funktionen 6
Inhaltsverzeichnis 1 Boolesche Algebra, Schaltalgebra - Begriffsbestimmung 1 2 Operationssystem der Schaltalgebra 4 3 Boolesche Funktionen 6 4 Boolesche Funktionen kombinatorischer Schaltungen 8 4.1 Begriffsbestimmung
MehrDuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 11 am 28.01.2011 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in
MehrWorterkennung in Texten speziell im Compilerbau 20. April Frank Heitmann 2/64
Grenzen regulärer Sprachen? Formale Grundlagen der Informatik 1 Kapitel 4 Über reguläre Sprachen hinaus und Pumping Lemma Frank Heitmann heitmann@informatik.uni-hamburg.de Wir haben mittlerweile einiges
MehrDarstellung von negativen binären Zahlen
Darstellung von negativen binären Zahlen Beobachtung für eine beliebige Binärzahl B, z.b. B=110010: B + NOT(B) ---------------------------------------------- = B + NOT(B) 1 + (Carry) ----------------------------------------------
MehrFrank Heitmann 2/47. 1 Ein PDA beginnt im Startzustand z 0 und mit im Keller. 2 Ist der Automat
Formale Grundlagen der Informatik 1 Kapitel 5 Über reguläre Sprachen hinaus und (Teil 2) Frank Heitmann heitmann@informatik.uni-hamburg.de 21. April 2015 Der Kellerautomat - Formal Definition (Kellerautomat
Mehr5.4 Endliche Automaten
5.4 Endliche Automaten Ein endlicher Automat ist ein mathematisches Modell eines Systems mit Ein- und Ausgaben. Ein solches System befindet sich immer in einem internen Zustand. Beispiele Ein Register
MehrSuche nach einem solchen Kreis. Endlichkeitstest. Vereinigung und Durchschnitt. Abschlusseigenschaften
Endlichkeitstest Eingabe: DFA/NFA M. Frage: Ist die von M akzeptierte Sprache endlich? Nahe liegende Beobachtung: In einem DFA/NFA, der eine unendliche Sprache akzeptiert, muss es einen Kreis geben, der
MehrRekursiv aufzählbare Sprachen
Kapitel 4 Rekursiv aufzählbare Sprachen 4.1 Grammatiken und die Chomsky-Hierarchie Durch Zulassung komplexer Ableitungsregeln können mit Grammatiken größere Klassen als die kontextfreien Sprachen beschrieben
MehrVersuch: D1 Gatter und Flipflops
Versuch: D1 Gatter und Flipflops Vorbemerkung Es ist nicht beabsichtigt, daß Sie einfach eine vorgegebene Versuchsanordnung abarbeiten. Sie sollen die hier angewendeten Zusammenhänge erkennen und verstehen.
MehrTeil 3: Endliche Automaten. (Kapitel T4 u. T5.3)
Teil 3: Endliche Automaten (Kapitel T4 u. T5.3) Begriffe Rechnerstrukturen Schaltnetz (ohne Rückkopplungen/ Speicher) andere gängige Begriffe Schaltkreis [T] circuit combinational circuit Schaltwerk (mit
MehrEinführung in die Informatik Turing Machines
Einführung in die Informatik Turing Machines Eine abstrakte Maschine zur Präzisierung des Algorithmenbegriffs Wolfram Burgard Cyrill Stachniss 1/14 Motivation und Einleitung Bisher haben wir verschiedene
MehrDigitaltechnik II SS 2007
Digitaltechnik II SS 27 9. Vorlesung Klaus Kasper Inhalt Realisierung digitaler Systeme Nutzung isplever Automaten Moore-Automat Mealy-Automat Beispiel Übung Massenspeicher Digitaltechnik 2 2 Realisierung
MehrElektrische Logiksysteme mit Rückführung
Elektrische Logiksysteme mit Rückführung Christoph Mahnke 22.06.2006 1 Trigger 1.1 RS-Trigger Ein RS-Trigger oder Flip-Flop ist ein elektronisches Bauelement, welches 2 stabile Zustände einnehmen und diese
MehrRechnerarithmetik. Vorlesung im Sommersemester Eberhard Zehendner. FSU Jena. Thema: Addierschaltungen
Rechnerarithmetik Vorlesung im Sommersemester 2008 Eberhard Zehendner FSU Jena Thema: Addierschaltungen Eberhard Zehendner (FSU Jena) Rechnerarithmetik Addierschaltungen 1 / 19 Addierer für UInt 2 (l)
MehrVorbereitung zum Versuch
Vorbereitung zum Versuch Schaltlogik Armin Burgmeier (1347488) Gruppe 15 6. Januar 2008 1 Gatter aus diskreten Bauelementen Es sollen logische Bausteine (Gatter) aus bekannten, elektrischen Bauteilen aufgebaut
MehrMultiplikationschip. Multiplikation. Beitrag zu "Werkstattunterricht Multiplikation" Allgemeine Didaktik - Seminar SS95. Oberwiesenstr.
Informationsblatt für die Lehrkraft Multiplikation Multiplikationschip Beitrag zu "Werkstattunterricht Multiplikation" Allgemeine Didaktik - Seminar SS95 Autor: Ernesto Ruggiano Oberwiesenstr. 42 85 Zürich
MehrSequentielle Schaltungen (1)
equentielle chaltungen () equentielle chaltung: chaltung, deren sowohl von den momentan anliegenden als auch von früheren Eingangsbelegungen abhängen. Wesentliche Elemente einer PU wie egister, Zähler
MehrAutomaten und formale Sprachen Klausurvorbereitung
Automaten und formale Sprachen Klausurvorbereitung Rami Swailem Mathematik Naturwissenschaften und Informatik FH-Gießen-Friedberg Inhaltsverzeichnis 1 Definitionen 2 2 Altklausur Jäger 2006 8 1 1 Definitionen
MehrTheoretische Grundlagen der Informatik. Vorlesung am 02. November INSTITUT FÜR THEORETISCHE INFORMATIK
Theoretische Grundlagen der Informatik Vorlesung am 2. November 27 2..27 Dorothea Wagner - Theoretische Grundlagen der Informatik KIT Die Forschungsuniversität in der Vorlesung am 2. November 27 Helmholtz-Gemeinschaft
MehrTuringmaschinen Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen
Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2011/12 Schematische Darstellung einer Turing-Maschine: Kopf kann sich nach links und
MehrDeterminisierung von endlichen Automaten
Thomas Hanneforth Institut für Linguistik Universität Potsdam May 14, 2014 Thomas Hanneforth (Universität Potsdam) May 14, 2014 1 / 21 Outline 1 Einführung 2 Beispiel 3 Ein verbesserter Determinisierungsalgorithmus
MehrGrundlagen der Informatik. Prof. Dr. Stefan Enderle NTA Isny
Grundlagen der Informatik Prof. Dr. Stefan Enderle NTA Isny 1. Automaten und Sprachen 1.1 Endlicher Automat Einen endlichen Automaten stellen wir uns als Black Box vor, die sich aufgrund einer Folge von
MehrKlausur zur Vorlesung Grundbegriffe der Informatik 5. März 2014
Klausur zur Vorlesung Grundbegriffe der Informatik 5. März 2014 Klausurnummer Nachname: Vorname: Matr.-Nr.: Aufgabe 1 2 3 4 5 6 7 max. Punkte 6 8 4 7 5 6 8 tats. Punkte Gesamtpunktzahl: Note: Punkte Aufgabe
MehrAlgorithmen mit konstantem Platzbedarf: Die Klasse REG
Algorithmen mit konstantem Platzbedarf: Die Klasse REG Sommerakademie Rot an der Rot AG 1 Wieviel Platz brauchen Algorithmen wirklich? Daniel Alm Institut für Numerische Simulation Universität Bonn August
MehrOutline Logik Speicher Synthese Signale/Variablen Packages Generische Designs. Basics. Marc Reichenbach
Basics Marc Reichenbach Informatik 3 / Rechnerarchitektur Universität Erlangen Nürnberg 06/14 1 / 45 Gliederung Kombinatorische Logik Speicher (Latch, DFF, Register) Synthese Signale/Variablen Packages
Mehr1 Endliche deterministische Automaten. Informatik I: Einführung in die Programmierung 7. Automaten: Akzeptoren & Transduktoren. Vorweg...
Informatik I: Einführung in die Programmierung 7. : Akzeptoren Albert-Ludwigs-Universität Freiburg Bernhard Nebel 30. Oktober 20 30. Oktober 20 3 / 30 Vorweg... Was steckt in dem Würfel? Vor kurzem war
MehrEndlicher Automat (EA)
Endlicher Automat (EA) 1 Motivation: Automaten für die Modellierung, Spezifikation und Verifikation verwenden! Definition Ein Endlicher Automat A = (S,I,Σ,T,F) besteht aus Menge von Zuständen S (normalerweise
MehrFORMALE SYSTEME. 3. Vorlesung: Endliche Automaten. TU Dresden, 17. Oktober Markus Krötzsch
FORMALE SYSTEME 3. Vorlesung: Endliche Automaten Markus Krötzsch TU Dresden, 17. Oktober 2016 Rückblick Markus Krötzsch, 17. Oktober 2016 Formale Systeme Folie 2 von 31 Wiederholung Mit Grammatiken können
MehrPraktikum Digitaltechnik
dig Datum : 1.06.2009 A) Vorbereitungsaufgaben 1) Was unterscheidet sequentielle und kombinatorische Schaltungen? Kombinatorische ~ Sequentielle ~ Ausgänge sind nur vom Zustand der Eingangsgrößen abhängig
MehrDigitaltechnik II SS 2007
Digitaltechnik II SS 27 3. Vorlesung Klaus Kasper Inhalt MasterSlave FlipFlop Zustandsdiagram FlipFlop Zoo Flankensteuerung JKFlipFlop Zyklische Folgeschaltung Digitaltechnik 2 2 MasterSlave FlipFlop Diskutieren
MehrEine Logikschaltung zur Addition zweier Zahlen
Eine Logikschaltung zur Addition zweier Zahlen Grundlegender Ansatz für die Umsetzung arithmetischer Operationen als elektronische Schaltung ist die Darstellung von Zahlen im Binärsystem. Eine Logikschaltung
Mehr8. Turingmaschinen und kontextsensitive Sprachen
8. Turingmaschinen und kontextsensitive Sprachen Turingmaschinen (TM) von A. Turing vorgeschlagen, um den Begriff der Berechenbarkeit formal zu präzisieren. Intuitiv: statt des Stacks bei Kellerautomaten
Mehr