Molekuláris számítások formális modelljei tételjegyzék
1999
- Adleman eljárása
- A SAT megoldása
- Párosító rendszerek; definíció, példa
- Párosító rendszerek; összevetés a reguláris nyelvekkel
- Párosító rendszerek; összevetés a rekurzívan felsorolható nyelvekkel
- Beszúró--törlő rendszerek; definíció,
(3,2,3,0), (1,2,1,1) súlyok
- Beszúró--törlő rendszerek;
(2,1,2,0), (1,2,2,0) súlyok
- Korlátozott beszúró--törlő rendszerek
- omega H rendszerek
- mH rendszerek; definíció, összevetés a reguláris nyelvekkel
- mH rendszerek; összevetés a rekurzívan felsorolható nyelvekkel
- pcH rendszerek
- fcH rendszerek
- Univerzális H rendszerek
- Kémcsőrendszerek
Vissza a kezdőlapra.
Utolsó módosítás:
2000.01.11 14:21
A megjegyzéseket, hibajelentéseket, jobbítási javaslatokat
szívesen várja
kacsa,
az oldal szerzője.