Molekuláris számítások formális modelljei tételjegyzék

1999

  1. Adleman eljárása
  2. A SAT megoldása
  3. Párosító rendszerek; definíció, példa
  4. Párosító rendszerek; összevetés a reguláris nyelvekkel
  5. Párosító rendszerek; összevetés a rekurzívan felsorolható nyelvekkel
  6. Beszúró--törlő rendszerek; definíció, (3,2,3,0), (1,2,1,1) súlyok
  7. Beszúró--törlő rendszerek; (2,1,2,0), (1,2,2,0) súlyok
  8. Korlátozott beszúró--törlő rendszerek
  9. omega H rendszerek
  10. mH rendszerek; definíció, összevetés a reguláris nyelvekkel
  11. mH rendszerek; összevetés a rekurzívan felsorolható nyelvekkel
  12. pcH rendszerek
  13. fcH rendszerek
  14. Univerzális H rendszerek
  15. Kémcsőrendszerek

BACK 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.