Week 10 Flashcards
What are the 4 operations on DNA?
Synthesis
Separation
Gel electrophoresis
Polymerase chain reaction
What is synthesis?
Strand may be synthesized by a machine that is supplied with the required sequence of basis.
What is separation?
Strands may be separated by a machine that is supplied with a short sequence of bases that they contain.
What is Gel Electrophoresis?
Strands may be sorted by size using gel electrophoresis.
What is PCR?
PCR quickly amplifies DNA by making copies of a specific region that lies between two known sequences. Note that this target sequence (which may be up to around 3k bases long) may be unknown ahead of time.
What is the Hamilton Path problem
Start at node 1 to node 5, visiting each node while following the available edges. (directional) NP.
How did the first DNA computation solve the HPP?
Encoding
Computing
Decoding
What is encoding in DNA computation?
Each vertex is encoded as short sequences of DNA. (i.e. v1 is encoded as 2 sequences of V1 V1).
Each edge is assigned a 20 nucleotide sequence of DNA made from 2 10-nucleotide sequences that are the complements of the vertices connected.
How do we COMPUTE the HPP?
To compute the HPP, simply mix the DNA pieces together in a flask, so performing massively parallel random search using strands of DNA. Use gel electrophoresis to identify sequences of length 6. Use PCR to amplify sequences from V1 to V5
Why use DNA computing?
It uses a billion times less energy than silicon computers
It uses a trillion times less space than a silicon computers
It has the ability to self-assemble
It is easily available and cheap.
Living organisms can be used to run programs.
What is the Calculus of Communicating systems?
an inactive process 0
an action followed by a process a.P
an identifier naming a process A
a choice of two processes P1+P2
a composition of two processes P1|P2
a renaming of one action as another P[b/a]
a restriction removing an action P\a
What is the Gamma language?
Concurrent computation should be expressed as the global result of successive applications of local independent atomic reactions.
Gamma programs are expressed as multisets with transformation rules that alter their components and structure.
What is the Chemical Abstract machine?
The CHAM uses the gamma language as the basis of a semantic framework.
multisets = chemical solution
execution rules = chemical reactions
Advantages of CHAM
Parallelism
What are the components of the CHAM?
Solutions
Reaction rules
Laws