Autor |
Wiadomość
|
Samuraj
|
Wysłany: Sob 20:16, 30 Sty 2010 Temat postu: |
|
|
Administrator
Dołączył: 21 Lis 2007
Posty: 199
Przeczytał: 0 tematów
Pomógł: 6 razy Ostrzeżeń: 0/5 Skąd: Żary
|
to jest chyba ten opis jak maszyna turinga przechodzi z jednego stanu do 2
Post został pochwalony 0 razy
|
|
Powrót do góry |
|
 |
|
 |
Iwona "żabka"
|
Wysłany: Sob 21:27, 30 Sty 2010 Temat postu: |
|
|
Dołączył: 27 Lis 2007
Posty: 105
Przeczytał: 0 tematów
Pomógł: 12 razy Ostrzeżeń: 0/5 Skąd: Głogów
|
najpierw jest def definicji funkcji obliczalnej pozniej uwaga a pozniej ta definicja
zaczyna sie niech dana bedzie maszyna .... niech ponadto rozkazy programu P beda uporzadkowane ........... i pod koniec jest : jest nazywana funkcja przejscia maszyny M przy zalozeniu ze P zawiera m rozkazow ... itd
Post został pochwalony 0 razy
|
|
Powrót do góry |
|
 |
Samuraj
|
Wysłany: Nie 15:11, 31 Sty 2010 Temat postu: |
|
|
Administrator
Dołączył: 21 Lis 2007
Posty: 199
Przeczytał: 0 tematów
Pomógł: 6 razy Ostrzeżeń: 0/5 Skąd: Żary
|
a moglby ktos wyjasnic pojecia z tw poli'ego ba ja cos w mych notatkach nie moge znalesc;/
Post został pochwalony 0 razy
|
|
Powrót do góry |
|
 |
marzenka_u
|
Wysłany: Nie 15:25, 31 Sty 2010 Temat postu: |
|
|
Dołączył: 22 Lis 2007
Posty: 96
Przeczytał: 0 tematów
Pomógł: 3 razy Ostrzeżeń: 0/5 Skąd: Lubin
|
za tw. Schura są wyjaśnienia oznaczeń
Post został pochwalony 0 razy
|
|
Powrót do góry |
|
 |
turbo
|
Wysłany: Nie 16:31, 31 Sty 2010 Temat postu: |
|
|
Dołączył: 06 Gru 2007
Posty: 18
Przeczytał: 0 tematów
Pomógł: 3 razy Ostrzeżeń: 0/5
|
Dzięki:)
Post został pochwalony 0 razy
|
|
Powrót do góry |
|
 |
Samuraj
|
Wysłany: Sob 13:41, 13 Lut 2010 Temat postu: |
|
|
Administrator
Dołączył: 21 Lis 2007
Posty: 199
Przeczytał: 0 tematów
Pomógł: 6 razy Ostrzeżeń: 0/5 Skąd: Żary
|
jeśli ktoś mialby chęc o czy moglby mi napsiac tw ramseya (czy jak on tam sie zwie bo u mnie w zeszycie cos rozczytac sie nie moge ) i ładnie zdefiniować język rozstrzygalny ?
Post został pochwalony 0 razy
|
|
Powrót do góry |
|
 |
Iwona "żabka"
|
Wysłany: Sob 15:08, 13 Lut 2010 Temat postu: |
|
|
Dołączył: 27 Lis 2007
Posty: 105
Przeczytał: 0 tematów
Pomógł: 12 razy Ostrzeżeń: 0/5 Skąd: Głogów
|
Tw Ramseya
Nieh dane beda liczby r,t nalezace do N oraz q1,...qt nalezace do N.
Wowczas istnieje liczba naturalna n taka, że:
dla kazdego X ( |X|>=n i (x po r) = A1u...uAt) => ( sitnieje i nalezace do [t] istnieje Y zawarte w X |Y|>= qi i ( Y po n) zawiera sie w Ai)]
u- oznacza sume a zawiera sie to jest takie podwojne zawiera sie
Niech dana bedzie maszyna Turinga M=(A,Q,L,P) ze znanym A0, n, q0 i zbiorem stanów akceptujących. Zbiorem rozpoznawalnym przez M nazywamy
L(M)={(S1,...,Sn) nalężacych do (A0*)^n: (S1,...,Sn) jest akceptowane przez M}
W szczególności dla n=1 zbior rozpoznawalny przez M nazywamy tez jezykiem rozpoznawalnym przez M.
Jezykiem(zbiorem) rozstrzygalnym nazywamy jezyk(zbior) ktory jest rozpoznawalny przez pewna maszyne Turinga zatrzymujaca sie dla wszystkich danych.
ciezko te znaczki zapisac tak na forum mam nadzieje ze bedziesz wiedzial o co chodzi
Post został pochwalony 1 raz
Ostatnio zmieniony przez Iwona "żabka" dnia Sob 17:20, 13 Lut 2010, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
 |
Iwona "żabka"
|
Wysłany: Sob 15:10, 13 Lut 2010 Temat postu: |
|
|
Dołączył: 27 Lis 2007
Posty: 105
Przeczytał: 0 tematów
Pomógł: 12 razy Ostrzeżeń: 0/5 Skąd: Głogów
|
Z tego co wiem Benia nie miala do wybory jak my dowodow tylko miala jeden z wielomianow szachowych dowod z 6 miala zupelnie inny niz my a z Turinga miala same te najdluzsze definicje ( bo Benia pisala sama egzamin w innym terminie)
Post został pochwalony 0 razy
Ostatnio zmieniony przez Iwona "żabka" dnia Sob 15:11, 13 Lut 2010, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
 |
|