null
US
Sign In
Sign Up for Free
Sign Up
We have detected that Javascript is not enabled in your browser. The dynamic nature of our site means that Javascript must be enabled to function properly. Please read our
terms and conditions
for more information.
Next up
Copy and Edit
You need to log in to complete this action!
Register for Free
468184
TOiZO
Description
Mind Map on TOiZO, created by akaterin on 07/01/2014.
Mind Map by
akaterin
, updated more than 1 year ago
More
Less
Created by
akaterin
over 10 years ago
158
0
0
Resource summary
TOiZO
1. Maszyna Turinga
Akceptuje język - jeżeli maszyna akceptuje dane słowo wtw gdy należy do języka
Rozstrzyga - akceptuje, lub explicite odrzuca
Enumerator
Głowica się nie cofa
Jezyk L jet akceptowalny przez pewną MT wtw gdy istnieje wyliczajacy ją enumerator
Dowód E=>MT
Annotations:
for y e L(E): if x = y then accept reject
Dowód MT => E
Annotations:
for k = 1 ... niesk for x e Sigma<=k if M(x) acc w k krokach then wylicz x
Dove tailing
2. Klasy języków rozstrzygalnych
R - istnieje MT rozstrzygająca
RE - istnieje MT akceptująca
coRE dopełnienie jezyka e RE
R - RE n coRE
Właśności -> wykład 2
3. Uniwersalna Maszyna Turinga
Odwzorowanie MT w alfabecie
H Język wszystkich możliwych reprezentacji MT
Język z RE
Twierdzenie o rekursji
Annotations:
Każda MT może być zmodyfikowana tak, by powstała M' akceptująca lub rozstrzygająca ten sam język i mająca dostęp do <M'>
Redukcja
funcja obliczalna - q0x |- qyf(x)
Redukcja typu many-one
A<=B : xeA => f(x) eB
A<=B i B<=C => A<=C
A<=B i BeR => AeR
A<=B i AnieR => B nieR
Własność języków z RE(alfa) - podzbiór RE
Balfa - {<M> | L(M)e alfa}
Twierdzenie Rice'a
Annotations:
Jeżeli alfa!=zb pustego i alfa!=RE yo Balfa rozstrzygalny
RE Trudny - dla każdego B z RE B<=A
RE Zupełny - RE Trudny + należy do RE
Show full summary
Hide full summary
Want to create your own
Mind Maps
for
free
with GoConqr?
Learn more
.
Similar
Atoms and Reactions
siobhan.quirk
Characters in Lord of the Flies
lowri_luxton
SAT Sample Essay - Failure/ Success
nedtuohy
Religious Language
michellelung2008
Animal Farm
010534
Maths
xcathyx99
Sociology Unit 2: Education
PSYCHGIRL
Science Revision - Year 10
Caitlin Kumala
Literary Devices
vanillalove
Examen II Salesforce Developer
Youssef Ahmani
What is Marketing?
Stephanie Natasha
Browse Library