RT Kapitel 1 Berechenbare Funktionen und Entscheidbare Prädikate
Fragen zur Vorlesung 'Recursion Theory' an der RWTH Aachen Kapitel 1 Berechenbare Funktionen und Entscheidbare Prädikate
Fragen zur Vorlesung 'Recursion Theory' an der RWTH Aachen Kapitel 1 Berechenbare Funktionen und Entscheidbare Prädikate
Kartei Details
| Karten | 99 |
|---|---|
| Sprache | Deutsch |
| Kategorie | Informatik |
| Stufe | Universität |
| Erstellt / Aktualisiert | 26.02.2017 / 24.07.2020 |
| Lizenzierung | Keine Angabe |
| Weblink |
https://card2brain.ch/box/20170226_ait_chapter_2_peertopeer_systems_2
|
| Einbinden |
<iframe src="https://card2brain.ch/box/20170226_ait_chapter_2_peertopeer_systems_2/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>
|
Liste sie auf!
[syntax.GOTOProgramme, 3]
1. Variablen
2. Anweisungen
3. Programme
Was ist die Definition?
[variablen.syntax.GOTOProgramme]
VAR := {V0,V1,V2,…}
Liste sie auf?
[anweisungen.syntax.GOTOProgramme, 4]
1. Nullanweisung
2. Nachfolgeranweisung
3. Transferanweisung
4. Sprunganweisung
Was ist die Definition?
[null.anweisungen.syntax.GOTOProgramme]
Vn ← 0 für n in N
Was ist die Definition?
[nachfolger.anweisungen.syntax.GOTOProgramme]
Vn ← Vn+1 für n in N
Was ist die Definition?
[transfer.anweisungen.syntax.GOTOProgramme]
Vn ← Vm für m,n in N
Was ist die Definition?
[sprung.anweisungen.syntax.GOTOProgramme]
IF Vm=Vn GOTO q für m,n,q in N // Ohne IF wenn m=n=0
Was ist die Definition?
[programme.syntax.GOTOProgramme, 2]
1. P := (Z0,…,Zl-1) // Ein Tupel von Anweisungen
2. PROG := {P}
